3 papers
cs.PL2026
Proof Interfaces for Exploratory Mathematics
Nishant Kheterpal, Matthew Keenan, Cyrus Omar +1
This paper describes a mathematics interface intended for both educational applications and exploratory mathematics. Both learners and mathematics practitioners often use pen and p…
cs.PL2026
Hazel Prover: A Classroom Proof Assistant for Learning Structural Induction
Matthew Keenan, Nishant Kheterpal, Jean-Baptiste Jeannin +1
Proof assistants offer instant feedback and incremental proof scaffolding to users. Both of these features have long held promise in improving mathematics education in classroom se…
cs.RO2022
Automating Geometric Proofs of Collision Avoidance with Active Corners
Nishant Kheterpal, Elanor Tang, Jean-Baptiste Jeannin
Avoiding collisions between obstacles and vehicles such as cars, robots or aircraft is essential to the development of automation and autonomy. To simplify the problem, many collis…