Shiven Sinha's picture

2 1

Shiven Sinha

shivensinha4

·

AI & ML interests

None yet

Recent Activity

authored a paper 15 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 15 days ago

Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample Creation

liked a dataset 15 days ago

bethgelab/REFUTE

View all activity

Organizations

None yet

shivensinha4's activity

upvoted a paper 15 days ago

Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample Creation

Paper • 2502.19414 • Published 15 days ago • 18

upvoted a paper about 1 month ago

Great Models Think Alike and this Undermines AI Oversight

Paper • 2502.04313 • Published Feb 6 • 31