Faithful Auto-formalization for Education (EECS-2026-193)
Arnav Mehta