Showing cs.LGShow all
3 papers · 1 filter
cs.LG2026
Theory-Scale Auto-Formalization of Logics for Computer Science
Yuming Feng, Frederick Pu, One An +5
Auto-formalization is critical for scalable formal verification, but existing progress largely focuses on isolated statements, while theory-scale auto-formalization, which coherent…
cs.LG2025
LLM Library Learning Fails: A LEGO-Prover Case Study
Ian Berlot-Attwell, Frank Rudzicz, Xujie Si
Recent advancements in the coding, reasoning, and tool-using abilities of LLMs have spurred interest in library learning (i.e., online learning through the creation, storage, and r…
cs.LG2024
Library Learning Doesn't: The Curious Case of the Single-Use "Library"
Ian Berlot-Attwell, Frank Rudzicz, Xujie Si
Advances in Large Language Models (LLMs) have spurred a wave of LLM library learning systems for mathematical reasoning. These systems aim to learn a reusable library of tools, suc…