Shizhe Diao

Un nuevo método mejora los modelos de lenguaje de código a través de casos de prueba efectivos y aprendizaje de preferencias.

Un marco para mejorar la demostración de teoremas usando Lean4 y modelos de lenguaje.

Un método para reducir modelos de lenguaje sin sacrificar efectividad a través de poda y destilación.

Esta investigación presenta un nuevo método para que los LLMs resuelvan problemas de grafos usando código.

Los investigadores mejoran los modelos de lenguaje para razonamiento matemático complejo.