Gaurav Parekh

According to our database, Gaurav Parekh authored at least 3 papers between 2007 and 2026.

Collaborative distances:

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

2026

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning.

Kranthi Kommuru, Kunal Khanvilkar, Gaurav Parekh

CoRR, April, 2026

2007

Scene Matching between a Map and a Hand Drawn Sketch Using Spatial Relations.

Gaurav Parekh, Marjorie Skubic, Ozy Sjahputera, James M. Keller

Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

Learning the Fuzzy Connectives of a Multilayer Network Using Particle Swarm Optimization.

Gaurav Parekh, James M. Keller

Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, 2007