Akash Singirikonda

akash-si's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper about 8 hours ago

AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness

Paper • 2610.05367 • Published 4 days ago • 2

authored a paper 12 months ago

Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinc

Paper • 2503.10642 • Published Feb 22, 2025 • 2

New activity in skadio/text2zinc 12 months ago

Clearer problem statement for nlp4lp_17

#10 opened 12 months ago by

akash-si

liked a dataset about 1 year ago

skadio/text2zinc

Viewer • Updated May 13 • 1.78k • 35 • 11

upvoted a paper about 1 year ago

CP-Bench: Evaluating Large Language Models for Constraint Modelling

Paper • 2506.06052 • Published Jun 6, 2025 • 3

New activity in skadio/text2zinc over 1 year ago

Updating complexorCapacitatedWarehouseLocation

#5 opened over 1 year ago by

akash-si

updated a dataset over 1 year ago

skadio/text2zinc

Viewer • Updated May 13 • 1.78k • 35 • 11

New activity in skadio/text2zinc over 1 year ago

Fixing output.json for nlp4lp

1

#4 opened over 1 year ago by

akash-si

Replacing problem domains

2

#2 opened almost 2 years ago by

akash-si