Libros

Papers

  • Preprint arXiv (cs.LG, cs.AI, eess.SY) · 2026

    An Omitted Mode Is a Rare Rule: The Sampling-Verification Danger Law in Continuous Code World Models

    Javier Aguilar Martín

    Si un modelo del mundo sintetizado se deja fuera un modo de fallo raro, el muestreo casi nunca lo pilla: N ejecuciones de prueba se saltan un evento de probabilidad r exactamente (1-r)^N de las veces. Pasar los tests certifica consistencia con la muestra y nada más.

  • Preprint arXiv (cs.AI, cs.LG) · 2026

    When a Verified World Model Still Loses: Play-Adequacy vs Prediction-Accuracy in LLM-Synthesized Code World Models

    Javier Aguilar Martín

    Un modelo de lenguaje puede escribir las reglas de un juego como código ejecutable, acertar al predecir el siguiente estado y aun así perder. Acertar no es bastar para planificar.

  • Preprint arXiv (math.RA) · 2024

    The Derived Deligne Conjecture

    Javier Aguilar Martín, Constanze Roitzheim

    Las álgebras brace sobre operads dan a las álgebras A∞ derivadas un marco conceptual propio, y con él versiones nuevas y rigurosas de la conjetura de Deligne.

  • Tesis doctoral University of Kent · 2023

    The Derived Deligne Conjecture

    Javier Aguilar Martín

    Tesis doctoral, dirigida por Constanze Roitzheim. El trabajo del que salió el preprint anterior.

Docencia

  • Universidad de las Hespérides 2026–

    Profesor principal

    Álgebra y Geometría — asignatura básica de 6 ECTS de primer curso, compartida por los grados de Matemáticas y Ciencia de Datos y de Matemáticas y Filosofía.

  • King's College London 2020–2025

    Graduate Teaching Assistant

    Matemáticas de grado.

  • University of Kent 2020–2024

    Graduate Teaching Assistant

    Matemáticas de grado, en paralelo al doctorado.

  • KeepCoding Verano 2024

    Profesor de bootcamp

    Métodos estadísticos en R.