TY  - RPRT
TI  - StepProof: Step-by-step verification of natural language mathematical proofs
AU  - Xiaolin Hu
AU  - Qinghua Zhou
AU  - Bogdan Grechuk
AU  - Ivan Y. Tyukin
PY  - 2025
UR  - https://arxiv.org/abs/2506.10558
ID  - 2506.10558
ER  -