Akash Singirikonda

akash-si

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 10 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_17

View all activity

Organizations

New activity in skadio/text2zinc 12 months ago

Clearer problem statement for nlp4lp_17

#10 opened 12 months ago by

New activity in skadio/text2zinc over 1 year ago

Updating complexorCapacitatedWarehouseLocation

#5 opened over 1 year ago by

Fixing output.json for nlp4lp

#4 opened over 1 year ago by

Replacing problem domains

#2 opened almost 2 years ago by