Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
Paper • 2606.31002 • Published • 4
Ke Zhang
grenadeComing
·
AI & ML interests
None yet
Recent Activity
upvoted a paper about 13 hours ago
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization submitted a paper about 13 hours ago
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization authored a paper about 16 hours ago
Same Simulation, Different Evidence: Where Retrieved Tool Output Costs LLM Agents AccuracyOrganizations
None yet
upvoted a paper about 13 hours ago