Hugging Face's logo
Shiven Sinha's picture
2 1

Shiven Sinha

shivensinha4
UjjwalShekhar's profile picture
·

AI & ML interests

None yet

Recent Activity

authored a paper 11 days ago
Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry
authored a paper 11 days ago
Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample Creation
liked a dataset 11 days ago
bethgelab/REFUTE
View all activity

Organizations

None yet

shivensinha4's activity

liked a dataset 11 days ago