AI.info

Patricio Gallardo Candela

Explore Patricio Gallardo Candela on AI.info.

• Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization