2 papers
cs.CL2026
Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving
Vincent Li, Tim Knappe, Yule Fu +2
Large language models have demonstrated remarkable capabilities in natural language processing tasks requiring multi-step logical reasoning capabilities, such as automated theorem…
cs.SE2025
On the Effectiveness of Large Language Models in Writing Alloy Formulas
Yang Hong, Shan Jiang, Yulei Fu +1
Declarative specifications have a vital role to play in developing safe and dependable software systems. Writing specifications correctly, however, remains particularly challenging…