Search papers, labs, and topics across Lattice.
University of Illinois Urbana-Champaign
2
0
3
Diffusion-Proof not only surpasses AR LLMs in theorem proving but also solves challenging problems that state-of-the-art models fail to address.
Verified workflows in Lean4Agent outperform unverified ones by nearly 12%, showcasing the power of formal methods in enhancing LLM agent reliability.
