1 citations · 1 across the 1 of their papers we have counts for
5 papers
Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample Creation
Shiven Sinha, Shashwat Goel, Ponnurangam Kumaraguru +3
There is growing excitement about the potential of Language Models (LMs) to accelerate scientific discovery. Falsifying hypotheses is key to scientific progress, as it allows claim…
Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry
Shiven Sinha, Ameya Prabhu, Ponnurangam Kumaraguru +2
Proving geometric theorems constitutes a hallmark of visual reasoning combining both intuitive and logical skills. Therefore, automated theorem proving of Olympiad-level geometry p…
Engineering End-to-End Remote Labs using IoT-based Retrofitting
K. S. Viswanadh, Akshit Gureja, Nagesh Walchatwar +8
Remote labs are a groundbreaking development in the education industry, providing students with access to laboratory education anytime, anywhere. However, most remote labs are cost…
Television Discourse Decoded: Comprehensive Multimodal Analytics at Scale
Anmol Agarwal, Pratyush Priyadarshi, Shiven Sinha +4
In this paper, we tackle the complex task of analyzing televised debates, with a focus on a prime time news debate show from India. Previous methods, which often relied solely on t…
Random Representations Outperform Online Continually Learned Representations
Ameya Prabhu, Shiven Sinha, Ponnurangam Kumaraguru +3
Continual learning has primarily focused on the issue of catastrophic forgetting and the associated stability-plasticity tradeoffs. However, little attention has been paid to the e…