vix.ing · top · new · best · stats · spec

Sudhir Murthy

  1. Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
    2026/06/30 by Ke Zhang, Patricio Gallardo Candela, Sudhir Murthy +3 · 1 voice
    Computer Science · #cs.AI #cs.CL #cs.LO