Shiven Sinha

shivensinha4's activity

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

authored 2 papers 11 days ago

Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry

Paper • 2404.06405 • Published Apr 9, 2024 • 2

Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample Creation

Paper • 2502.19414 • Published 12 days ago • 18

liked a dataset 11 days ago

bethgelab/REFUTE

Viewer • Updated 10 days ago • 324 • 36 • 3

upvoted a paper 11 days ago

Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample Creation

Paper • 2502.19414 • Published 12 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