Sebastian Mateus

I build and break intelligent systems.

ML engineer with 8+ years shipping production AI, currently a Senior AI/ML Engineer at Nequi (Grupo Bancolombia), where I pre-train foundation models on customer transaction sequences. Off the clock, the center of gravity is research: agent security and red teaming, LLM evaluation, and mathematical reasoning, mostly played out in the open through competitive ML. Kaggle Competitions Expert, ranked 1,094 of 209,674.

0Years shipping production ML
0Kaggle global rank, of 209,674
0Competitions · 3 medals · 7 running now
0Engineers on the team I founded

WHOAMI

Engineer by trade,
researcher by trajectory.

I spent eight years learning how ML systems fail in production (drift, silent data bugs, ungrounded generations) and building the pipelines, evals, and observability that catch it. That engineering discipline is now my research method: every open question I work on gets a documented brief, a scoring model analysis, an experiment ledger, and a reproducible pipeline.

Today that method points at the questions I find hardest and most consequential: how agentic systems break (red teaming, multi-step tool attacks), how to measure them honestly (LLM-as-judge, offline evals wired into CI), and how they reason (single-primitive normal forms for mathematics, program induction). Most of it plays out on Kaggle, where the leaderboard keeps me honest.

Also: TEDx speaker on AI, international hackathon winner (Baubap ML Hackathon, 1st place), trilingual (ES · EN · PT), and mentor to 13+ engineers.

about.py
class SebastianMateus:
    role      = "ML Engineer → AI Researcher"
    base      = "Bucaramanga, CO · remote (UTC-5)"
    research  = ["agent security", "LLM evaluation",
                 "mathematical reasoning"]
    stack     = ["Python", "PyTorch", "LangGraph", "SQL",
                 "dbt", "BigQuery", "Docker", "Terraform"]
    oss       = ["eml-translator", "barrio-mapper", "realh"]
    languages = ["es", "en", "pt"]
    kaggle    = "Expert · rank 1094 / 209674"
    ships     = True

RESEARCH

What I'm investigating

Independent research run like production engineering: every line of work below has a public artifact, a reproducible pipeline, and an experiment ledger behind it.

AGENT SECURITY · OPENAI × GOOGLE × IEEEACTIVE

Multi-step tool attacks on LLM agents

Algorithmic red teaming: writing attack algorithms that surface reproducible multi-step failures in tool-using agents (GPT-OSS, Gemma) under public and private guardrails, inside a deterministic, replay-validated sandbox. Built a free-tier evaluation harness that estimates true per-model scores without spending scarce submissions, separating learning from scoring.

red teamingagent safetytool useevaluation
Competition ↗
ABSTRACT REASONING · ARC PRIZEACTIVE

Program induction at the frontier

ARC is the benchmark built to resist memorization: novel reasoning from a handful of examples. Finished 175th of 1,455 in ARC Prize 2025 while leading the competitive ML team I founded at Factored, and I'm currently entered in both ARC-AGI-2 and ARC-AGI-3 for the 2026 prize.

ARC-AGIprogram synthesisfew-shot reasoning
ARC Prize 2025 ↗ ARC Prize 2026 ↗ Write-up ↗
MATHEMATICAL REASONING · ARXIV:2603.21852OPEN SOURCE

Single-primitive math for AI: the EML operator

Independent Python implementation of Odrzywołek's exp-minus-log primitive, the NAND gate of continuous mathematics, released as the eml-translator library. On top of it, an agent research POC: a 21-problem benchmark (100% solved), seven EML tools exposed via Claude's tool-use API, and an 8-subagent A/B investigation of four Riemann-Hypothesis-equivalent criteria. The POC also reports where the tools don't pay: on calculus and algebra the agents route around EML to sympy.

symbolic mathtool-use agentsbenchmarks
Library ↗ Research repo ↗
SCIENTIFIC ML · IMAGE FORENSICSTOP 8%

Detecting forgery in biomedical research images

Copy-move forgery detection and segmentation in scientific figures, a direct attack on research fraud. Bronze medal, 128th of 1,564 teams in the Recod.ai/LUC challenge, working from a public baseline I rebuilt around a different segmentation head. Related scientific ML work includes exoplanet signal recovery (NeurIPS Ariel Data Challenge, 184/860) and ECG digitization from paper printouts (PhysioNet, 250/1,424).

computer visionsegmentationresearch integrity
Competition ↗ Write-up ↗
BIOLOGICAL ML · CZ BIOHUBACTIVE

Tracking every cell in a developing embryo

Detection and tracking of zebrafish embryo cells through 3D space and time. Reverse-engineered the official metric into an offline scorer that runs without images, enabling fast local iteration; current focus is cell division detection, the largest unclaimed scoring lever.

computer vision3D trackingdevelopmental biology
Competition ↗
3D SEGMENTATION · VESUVIUS CHALLENGEOWN METHOD

Reading a scroll that cannot be unrolled

Detecting papyrus surfaces inside CT scans of carbonized Herculaneum scrolls. I built a 3D hysteresis fusion: high-confidence voxels seed morphological propagation inside a permissive two-model union mask. Of everything I've submitted, this is the one whose private score beat its public score, which is the only real evidence a method generalizes rather than fits the leaderboard.

3D segmentationmorphological propagationarchaeology
Competition ↗ Write-up ↗
METHOD

Every project above is run as a research program, not a leaderboard sprint: a written competition brief, a first-principles analysis of the scoring model, baselines with provenance, an experiment ledger, and submission pipelines that never spend a run to learn what a free evaluation can tell me.

CAREER

Professional experience

Eight years from analytics to production ML to leading teams: the engineering backbone behind the research.

Nov 2025 – Present

Nequi (Grupo Bancolombia) · Colombia, remote

Senior AI/ML Engineer

  • Own the data and deployment infrastructure for production ML at a leading LatAm neobank, on AWS and Databricks: reliable pipelines, feature engineering, and data quality across the credit risk and origination model stack in a regulated financial environment.
  • Built a foundation model from scratch, pre-trained on the bank's full customer base of transaction and behavioral event sequences: a shared representation layer that lifts origination-model performance and consolidates multiple ML products into one reusable backbone.
  • Design, deploy, and monitor models end to end across LLM/RAG systems, gradient boosting, and graph-based models, owning the lifecycle from experimentation through CI/CD and production monitoring.
AWSDatabricksfoundation modelscredit riskLLM / RAGCI/CD
Jan 2025 – Jan 2026

Factored · Palo Alto, remote

Competitive ML Team Lead & Founder

  • Founded the competitive ML practice and grew it 1 → 13 engineers in 10 months.
  • Five international challenges entered, top 20% in all, spanning abstract reasoning, scientific imaging, and forecasting.
leadershipARC Prizecompetitive ML
Jun 2024 – Jan 2026

Factored · Palo Alto, remote

Machine Learning Engineer (L2 → L3)

  • Architected a high-scale ingestion platform (Dockerized Scrapy + AWS Batch + event-driven Lambdas) normalizing hundreds of sources into a universal schema, cutting ingestion time 40%.
  • Built the MLOps pipeline for a GenAI city-guide product: hybrid RAG (dense + BM25) with cross-encoder reranking, LLM-as-judge evaluation (faithfulness, Recall@5), and Terraform for 100% dev/prod parity.
  • Implemented data/concept drift detection with CloudWatch + Langfuse tracing (latency, token cost, error rates); +15% Precision@5 via champion–challenger retraining cycles.
  • Shipped recommender systems for user-behavior modeling and GenAI content generation at scale.
RAGLangChainLangfuseAWSTerraformrecommenders
Jul 2023 – Apr 2024

Intouch CX · Winnipeg, remote

Senior Data Scientist

  • Applied transformer/NLP models (classification, embeddings) over large raw datasets to drive stakeholder decisions; led demand-prediction projects behind workforce planning.
NLPtransformersforecasting
2018 – 2023

Earlier roles · Robin Food, Immersion Design, Vision Puntual (co-founder), Metric Analytics

  • NLP pipeline classifying 10K customer comments/month; clustering of ~1M customers powering personalized retention (Robin Food).
  • Co-founded a data science practice: churn prediction, dynamic pricing, and CV-based defect detection for retail (Vision Puntual).
  • Stock-market behavior models managing portfolios of millions of COP; led a data science team (Metric Analytics).
NLPclusteringpricingteam lead

COMPETITIVE ML

The leaderboard record

Competition is my favorite forcing function: a frozen metric, a hard deadline, and no partial credit for good intentions. Twenty-seven entered, seven running right now.

Read this before the numbers. Both medals came from public notebooks I ran, not methods I invented — the silver was a verbatim copy, similarity 1.000. All 19 finished competitions are classified in a public provenance ledger: 5 substantially original, 5 derived, 6 verbatim copies, 3 teammate-authored, every upstream author named. It was built by diffing my final submissions against the notebooks they came from.

Where the method is mine

Running a strong public notebook is legal on Kaggle and teaches you very little. These are the entries where the approach was my own, which is the only part of a leaderboard worth showing.

  • Vesuvius Challenge ↗ 3D hysteresis mask fusion: confident voxels seed morphological propagation inside a two-model union mask. Private score beat public.
  • NVIDIA Nemotron ↗ Merged several LoRA adapters into a single rank-32 adapter with truncated SVD, the Eckart–Young optimal low-rank approximation.
  • CAFA 6 ↗ Built the Gene Ontology DAG and applied topological max-propagation so predictions satisfy the true-path rule by construction.
  • NeuroGolf 2026 ↗ 400 hand-optimized per-task ONNX graphs, scoring 4,178 → 7,277 over three months of iteration.
  • Santa 2025 ↗ STRtree-indexed parallel packing search, assembled from three credited public ideas into a faster combined solver.

Each links to a full technical write-up. Every competition I finish gets one, with the method as actually submitted and credit to any public work it built on.

Competitions Expert

Ranked 1,094 of 209,674 Kaggle competitors, with a silver and two bronze medals, and nine top 20% finishes. Twenty-seven competitions entered across tabular, vision, NLP, audio, optimization, and simulation tracks.

1 silver2 bronzetop 0.5%

Seven live competitions

Agent security, embryo cell tracking, Pokémon TCG battle agents, knee abnormality detection, the Kaggriculture challenge, and both ARC-AGI-2 and ARC-AGI-3, each run with a written brief, an offline scorer, and an experiment ledger.

active nowresearch grade

Baubap AI Hackathon · 1st place

Won the neural networks category of the Mexican fintech's international hackathon in CDMX: fraud detection over 1K+ tabular features at 90%+ accuracy.

CDMX 2023fraud detection

Writing

I write about data science, AI, and the scientific method on Medium, and I gave a TEDx talk on how AI reshapes the way we solve problems.

MediumTEDxES · EN · PT

TOOLKIT

Technical depth by domain

AI / GenAI

LLM systemsRAGagentic workflowsMCP LangChain / LangGraphLLM-as-judgeLangfuse prompt engineeringrecommendersNLPPyTorchscikit-learn

MLOps & Infrastructure

MLflowVertex AISageMakerDatabricks drift detectionchampion–challengerDocker TerraformAWS · GCP · AzureCI/CD

Data Engineering

BigQuerydbtAirflowSpark / PySpark Delta LakeScrapyETL / ELT designPostgreSQL · MongoDB

Programming

Python (expert)SQL (expert)ScalaR FastAPIpytestLinux / BashGit

CONTACT

Let's talk about hard problems.

If you're building (or breaking) intelligent systems and want to compare notes, the fastest way to reach me is LinkedIn.