Patricio Gallardo Candela

Identifiers

• name variant Patricio Gallardo Candela 0.60 · backfill

Papers (1)

1. Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization cs.AI · 2026 · author #2

Mentions

• 2606.31002 #2 · arxiv_oai · confidence 0.70 Patricio Gallardo Candela

Frequent Coauthors

• Ke Zhang 1 shared papers
• Maziar Raissi 1 shared papers
• Sudhir Murthy 1 shared papers
• Yi Xie 1 shared papers
• Zhi Wang 1 shared papers