Automated Generation and Grading for Finite State Machine Assignments. - Dhruva Kashyap; Manu Bhat; N. S. Kumar (COMPUTE, 2022)

AtlasD: Automatic Local Symmetry Discovery. - Manu Bhat; Jonghyun Park; Jianke Yang; Nima Dehmamy; Robin Walters 001; Rose Yu (CoRR, 2025)

Discovering Symbolic Differential Equations with Symmetry Invariants. - Jianke Yang; Manu Bhat; Bryan Hu; Yadi Cao; Nima Dehmamy; Robin Walters 001; Rose Yu (CoRR, 2025)