AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness
Paper • 2610.05367 • Published • 2
Akash Singirikonda
akash-si
AI & ML interests
None yet
Recent Activity
upvoted a paper about 16 hours ago
AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness authored a paper 12 months ago
Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and
Satisfaction Problems in MiniZinc new activity 12 months ago
skadio/text2zinc:Clearer problem statement for nlp4lp_17Organizations
