Riyaz Ahuja

According to our database, Riyaz Ahuja authored at least 1 paper in 2025.

Collaborative distances:

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

2025

ImProver: Agent-Based Automated Proof Optimization.

Riyaz Ahuja, Jeremy Avigad, Prasad Tetali, Sean Welleck

Proceedings of the Thirteenth International Conference on Learning Representations, 2025