Skip to content
View axiom-of-choice's full-sized avatar
🎯
Focusing
🎯
Focusing

Block or report axiom-of-choice

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
axiom-of-choice/README.md

Isaac Hernandez

Staff AI Engineer | ML Engineer | Research Engineer | Data Engineer

6+ years experienced AI / Research Engineer building end-to-end AI and data solutions across fintech, healthtech, and e-commerce. Specialized in taking ML models from research to production at scale.

Bachelor of Mathematics, UNAM (GPA: 92/100)


Currently

  • Staff AI Engineer @ VerveMarket. Working directly with the CTO to own AI/Data strategy and infrastructure. Leading hybrid search, a customer-facing autonomous agent that acts on the live catalog and cart, LLM fine-tuning, multimodal image generation pipelines, and evaluation infrastructure (deterministic, statistical, LLM-as-judge) for batch and real-time serving.
  • Previously: Lead AI Engineer @ Contpaqi | Lead R&D @ SoftServe | Sr ML Engineer @ Nubank | Sr Data Engineer @ Citigroup | AI Engineer @ Botco AI | Sr ML Engineer @ BBVA AI Factory

Highlights

  • Hybrid search at VerveMarket driving a 27% add-to-cart conversion lift at ~100K requests/day
  • Real-time underwriting risk models at Nubank (Top LATAM Fintech), 3M+ monthly credit decisions on K8s
  • 4+ PB Data Lake migration at Citigroup (S3, Snowflake, Spark on EKS)
  • Agentic AI platforms for healthcare (SoftServe) and accounting (Contpaqi)
  • RAG pipelines and LLM fine-tuning (GPT, LLaMA) at Botco AI, 1M+ documents indexed
  • Anti-fraud graph ML models at BBVA AI Factory

Tech Stack

Languages: Python, Scala, SQL, Golang, Rust (familiar)
AI/ML & Agents: PyTorch, TensorFlow, HuggingFace, LangGraph, LlamaIndex, CrewAI, MCP, RAG
Serving & Optimization: vLLM, TGI, Ollama, MLX, Apple Neural Engine, quantization (GGUF, MLX), LoRA / QLoRA, Unsloth
Training Data: synthetic dataset generation, distillation, SFT curation, quality gating
Evaluation: LLM-as-judge, significance testing, Arize, LangSmith, OpenTelemetry
Data: Spark, Airflow, Kafka, Hadoop, dbt, Databricks
Cloud: AWS (S3, EKS, SageMaker, Glue, Lambda), GCP (BigQuery, VertexAI), Azure (AZ-900)
Infra: Docker, Kubernetes, FastAPI, PostgreSQL/pgvector, MongoDB, Cassandra, Firebase, Snowflake, Pinecone

Certifications

Open Source

Published work

Project Area What it is
Bespoke-Stratos-ES Dataset / distillation 16K-row Spanish reasoning dataset for SFT, distilled from DeepSeek V4 Flash. Traces are generated natively in Spanish rather than machine-translated, and gated on language dominance and truncation
es-reasoning adapters Fine-tuning LoRA and QLoRA adapters that make Qwen3-4B, Qwen3-1.7B and Gemma-3-4B reason in Spanish, trained on the dataset above and published for MLX, PEFT and GGUF. Measured on a held-out Spanish GSM8K split with paired McNemar tests: Qwen3-4B gains 7.4 accuracy points alongside perfect Spanish (p = 0.0031), Gemma-3-4B gains 27.9 and a thinking mode it did not have, Qwen3-1.7B trades 5.7 points for it and its model card says so
mlx-community Quantization / Code First MLX port of an unsupported architecture (NVIDIA's Nemotron-Parse OCR), with 4/8-bit quantizations published with measured OCR fidelity.
langchain-searchapi · llama-index-tools-searchapi Agent tooling Two standalone PyPI packages bringing multi-engine web search to LangChain and LlamaIndex

Contributions

Links go to the pull requests.

Project Area Status
ANEForge Apple Neural Engine Ongoing contributor
mlx Apple Silicon inference Contributor
mlx-lm Apple Silicon inference Contributor
mlx-vlm Vision-language models Contributor
vLLM GGUF plugin LLM serving Contributor
OpenInference LLM observability Contributor
inspect_ai Model evaluation Contributor
Qwen Code Coding agent Contributor
Harbor Agent framework Contributor
scrapy-playwright Scraping Contributor
LangChain Docs Documentation Contributor
coremltools Apple Neural Engine In review
tokenizers Tokenization / Rust In review
LiteLLM LLM gateway In review
langchain-google LangChain In review
smolagents Agent framework In review
CrewAI Agent framework In review
MCP Servers Agent tooling In review

Featured Projects

Project Description
LLM Chatbot Generative QA with Vector DB (Pinecone) + Streamlit
AI Disease Diagnoser Symptom analysis with LLMs on GCP serverless
GEC System Grammar Error Correction with T5 and OpenAI
CONAGUA ELT Weather data pipeline (Airflow, Docker, S3, BigQuery)
CONAGUA Scala Same pipeline in Scala/Spark

Languages

  • English (C1, TOEFL) | Spanish (Native) | Portuguese (Learning)

Connect


Leetcode Stats

Pinned Loading

  1. LLM-Chatbot LLM-Chatbot Public

    Build a Chatbot in Streamlit to perform Generative QA with indexed documents in a Vector DB as knowledge base

    Jupyter Notebook 6 1

  2. llama-index-tools-searchapi llama-index-tools-searchapi Public

    LlamaIndex tool integration for SearchApi.io — multi-engine web search (Google, News, Shopping, YouTube, Bing, Baidu)

    Python 4 1

  3. ai-disease-diagnoser ai-disease-diagnoser Public

    Small app to generate a diagnostic of a possible disease using LLM and Streamlit app

    Python 1

  4. langchain-searchapi langchain-searchapi Public

    LangChain integration for SearchApi.io — multi-engine search tool and retriever

    Python 1

  5. etl-conagua etl-conagua Public

    ELT Pipeline using Airflow, Docker, S3 and BigQuery to extract weather data from the Conagua API

    Python

  6. GEC-system GEC-system Public

    GEC system developed using T5 and OpenAI models.

    Macaulay2