Carmen Esteban
I research hard problems and build what I discover. Proof complexity, artificial life, diffusion inference. Every paper becomes code. Every theorem becomes a system.
Projects
diffuse-cpp
3.3x faster than llama.cpp. Supports LLaDA-8B and Dream-7B. Built on GGML.
adnIA
158,000+ CENDOJ rulings. Legal strategy, document drafting, MASC analysis.
IAFiscal
50+ AEAT models automated. OCR accounting. VeriFactu compliant.
ThrombIA
15+ validated clinical scores. Evidence-based recommendations. Full audit trail.
GeoSignal
Multi-source OSINT correlation: FIRMS, AIS, ADS-B, RSS, market data. Predictive alerts.
KORE HQ
SSO (Google, Azure AD), Git integration, compliance audit, LLM-powered workflows.
KORE Tools
Security scanning, complexity analysis, knowledge base, and project memory in one extension.
TORC Tools
SAT preprocessing via cohomological obstructions. Portfolio constraint feasibility with formal verification.
ORIGINMAP
Demonstrating how apparent structure disappears under proper null models.