AI.info

Sudhir Murthy

Explore Sudhir Murthy on AI.info.

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