Inteligencia Artificial.

Razonamiento autorrefinado en LLMs: Del test-time compute a la verificación formal

Cómo escalar la inferencia mediante búsqueda en árbol Monte Carlo y retroalimentación iterativa para resolver problemas complejos de ingeniería de sistemas.

Unir redes neuronales con solucionadores SMT para garantizar matemáticamente que las acciones de los agentes cumplan restricciones críticas.