Riyaz Ahuja

According to our database, Riyaz Ahuja authored at least 3 papers between 2025 and 2026.

Collaborative distances:

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

2026

ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization.

Riyaz Ahuja, Tate Rowney, Jeremy Avigad, Sean Welleck

CoRR, May, 2026

DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLs.

Tate Rowney, Riyaz Ahuja, Jeremy Avigad, Sean Welleck

CoRR, February, 2026

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