FormalScience: Autoformalización Escalable de la Ciencia con Humanos en el Bucle mediante Generación de Código Agente en Lean
Autoformalización escalable de la ciencia combinando humanos y generación de código en Lean. Descubre cómo automatizar demostraciones formales.