Saha, Rahul

2 publications

NeurIPS 2025 Learning Interestingness in Automated Mathematical Theory Formation George Tsoukalas, Rahul Saha, Amitayush Thakur, Sabrina Reguyal, Swarat Chaudhuri

NeurIPSW 2023 Llmstep: LLM Proofstep Suggestions in Lean Sean Welleck, Rahul Saha