Hugging Face's logo
Akash Singirikonda's picture

Akash Singirikonda

akash-si
5 2 1
kostis-init's profile picture
ยท

AI & ML interests

None yet

Recent Activity

upvoted a paper 4 days 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

Brown University's profile picture VeritasAI - Akash's profile picture FLASH at GT's profile picture