TY  - RPRT
TI  - SemantEq: Faithful Bidirectional Equivalence of Formal Statements
AU  - Xinrui Li
AU  - Pawan Sasanka Ammanamanchi
AU  - Siddharth Bhat
AU  - Rianna Jamdar
AU  - Yongxi Lin
AU  - Stella Biderman
PY  - 2026
UR  - https://arxiv.org/abs/2610.32919
ID  - 2610.32919
ER  -