TY  - RPRT
TI  - A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
AU  - Qiyuan Xu
AU  - Renxi Wang
AU  - Peixin Wang
AU  - Haonan Li
AU  - Conrad Watt
PY  - 2025
UR  - https://arxiv.org/abs/2507.18885
ID  - 2507.18885
ER  -