2 papers
cs.SE2026
On Reasoning-Centric LLM-based Automated Theorem Proving
Yican Sun, Chengwei Shi, Hangzhou Lyu +1
Automated theorem proving is fundamental to formal methods, and the recent trend is to integrate large language models (LLMs) and proof assistants to form effective proof agents. W…
cs.PL2025
Equality Saturation Guided by Large Language Models
Wentao Peng, Ruyi Ji, Yingfei Xiong
One critical issue with large language models (LLMs) is their inability to guarantee correctness. Although this problem can be addressed by applying LLMs to formal rewrite systems,…