Manooshree Patel

According to our database, Manooshree Patel authored at least 5 papers between 2023 and 2026.

Collaborative distances:

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

2026

LeanTutor: Towards a Verified AI Mathematical Proof Tutor.

Manooshree Patel, Rayna Bhattacharyya, Thomas Lu, Arnav Mehta, Niels Voss, Narges Norouzi, Gireeja Ranade

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs.

Manooshree Patel, Rayna Bhattacharyya, Thomas Lu, Arnav Mehta, Niels Voss, Narges Norouzi, Gireeja Ranade

CoRR, June, 2025

Broadening Participation in CS Research with Scalable Undergraduate Research Mini-Projects.

Bridget Agyare, Manooshree Patel, Alicia Matsumoto, Gireeja Ranade

Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 2, 2025

2023

Student Feedback on Opt-in, Inclusive, Course-Integrated Study Groups.

Bridget Agyare, Alicia Matsumoto, Manooshree Patel, Gireeja Ranade

Proceedings of the IEEE Frontiers in Education Conference, 2023

GlotBot: Hybrid Language Translator for Secondary Level Mathematics Classrooms.

Manooshree Patel, Swapneel Chalageri

Proceedings of the 22nd Annual ACM Interaction Design and Children Conference, 2023