Shiven Sinha's picture

2 1

Shiven Sinha

shivensinha4

·

AI & ML interests

None yet

Recent Activity

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

Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample Creation

liked a dataset 10 days ago

bethgelab/REFUTE

View all activity

Organizations

None yet

Papers 2

arxiv:2502.19414

arxiv:2404.06405

models

None public yet

datasets

None public yet