2 papers
cs.LO2025
Proof Strategy Extraction from LLMs for Enhancing Symbolic Provers
Jian Fang, Yican Sun, Yingfei Xiong
One important approach to software verification is interactive theorem proving. However, writing formal proofs often requires substantial human effort, making proof automation high…
cs.SE2025
Towards Practical Defect-Focused Automated Code Review
Junyi Lu, Lili Jiang, Xiaojia Li +4
The complexity of code reviews has driven efforts to automate review comments, but prior approaches oversimplify this task by treating it as snippet-level code-to-text generation a…