A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL Paper • 2507.18885 • Published Jul 25, 2025 • 1