TY  - RPRT
TI  - Faithful Autoformalization via Roundtrip Verification and Repair
AU  - Daneshvar Amrollahi
AU  - Jerry Lopez
AU  - Clark Barrett
PY  - 2026
UR  - https://arxiv.org/abs/2604.25031
ID  - 2604.25031
ER  -