Anshula Gandhi

According to our database, Anshula Gandhi authored at least 3 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Automatically Generalizing Proofs and Statements.

Anshula Gandhi, Anand Rao Tadipatri, Timothy Gowers

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2021

Neural-Guided, Bidirectional Program Search for Abstraction and Reasoning.

Simon Alford, Anshula Gandhi, Akshay Rangamani, Andrzej Banburski, Tony Wang, Sylee Dandekar, John Chin, Tomaso A. Poggio, Peter Chin

Proceedings of the Complex Networks & Their Applications X - Volume 1, Proceedings of the Tenth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2021, Madrid, Spain, November 30, 2021

2019

Dynamic Risk Density for Autonomous Navigation in Cluttered Environments without Object Detection.

Alyssa Pierson, Cristian Ioan Vasile, Anshula Gandhi, Wilko Schwarting, Sertac Karaman, Daniela Rus

Proceedings of the International Conference on Robotics and Automation, 2019