autoformalization 1formal verification 1large language models 1natural language processing 1software testing 1
From the 1 of 9 linked papers with an AI index.
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Faithful Autoformalization of Natural Language Assertions
Hongyi Liu, Madhusudan Parthasarathy, Adithya Murali
The paper introduces Monty, a framework that uses large language models to automatically translate natural‑language specifications into executable Java assertions, improving precis…
cs.SE2026
Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions
Zhanna Kaufman, Yuriy Brun, Adithya Murali +1
Code comprehension and code review are already critically important software engineering tasks, and the rising use of AI code generation tools is only increasing that importance. G…