1 citations · 1 across the 3 of their papers we have counts for
4 papers
AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness
Prithwish Jana, Viet Bach Hoang, Logan Luna +9
Proof auto-formalization translates natural-language (NL) theorems and proofs into a formal language (FL) such as Lean, enabling mechanical verification. Despite rapid progress, re…
Optimization and Constraint Modeling using LLMs with a Retrieval Augmented Generation Process
Prateek Roy, Akash Singirikonda
Both optimization modeling and constraint modeling are non-trivial problems requiring deep domain expertise and proficiency in modeling formalism languages. Despite their importanc…
Text2Model: Modeling Copilots for Text-to-Model Translation
Serdar Kadioglu, Karthik Uppuluri, Akash Singirikonda
There is growing interest in leveraging large language models (LLMs) for text-to-model translation and optimization tasks. This paper aims to advance this line of research by intro…
Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinc
Akash Singirikonda, Serdar Kadioglu, Karthik Uppuluri
There is growing interest in utilizing large language models (LLMs) as co-pilots for combinatorial optimization and constraint programming tasks across various problems. This paper…