TY  - RPRT
TI  - What Has Actually Been Proved? Auditable Paper-to-Lean Alignment with LeanTrail
AU  - Fabricio Venturim
AU  - Leighton Estrada
AU  - Claudio Silva
AU  - Jorge Poco
PY  - 2026
UR  - https://arxiv.org/abs/2610.35926
ID  - 2610.35926
ER  -