TY  - RPRT
TI  - Formal-Informal Mathematical Alignment through and beyond Human Annotations
AU  - Noah Gießing
AU  - Ankit Satpute
AU  - Hamid Rahkooy
AU  - André Greiner-Petter
AU  - Moritz Schubotz
PY  - 2026
DO  - 10.1145/3799682.3839951
UR  - https://arxiv.org/abs/2610.31011
ID  - 2610.31011
ER  -