2 citations · 5 across the 7 of their papers we have counts for
3 papers · 1 filter
Beyond Type-checking: Towards Holistic Evaluation of Formal Specification Generation
Srijith Nair, Aditya Vempaty, Jia Liu +1
When generating verifiable code, natural language requirements are mapped to machine checked code using LLMs and agentic workflows. A crucial component of this pipeline is specific…
Eliciting Specifications: When Does Interactive Clarification Help?
Mowafak Allaham, Aditya Vempaty, Ashish Jagmohan +2
LLMs can generate Lean specifications from task descriptions, but those descriptions are often underspecified or ambiguous and may omit verifier-relevant edge cases, yielding imper…
MathViz-E: A Case-study in Domain-Specialized Tool-Using Agents
Arya Bulusu, Brandon Man, Ashish Jagmohan +3
There has been significant recent interest in harnessing LLMs to control software systems through multi-step reasoning, planning and tool-usage. While some promising results have b…