@misc{indiciae2fe0238743e1,
  title = {SemantEq: Faithful Bidirectional Equivalence of Formal Statements},
  author = {Xinrui Li and Pawan Sasanka Ammanamanchi and Siddharth Bhat and Rianna Jamdar and Yongxi Lin and Stella Biderman},
  year = {2026},
  url = {https://arxiv.org/abs/2610.32919},
  note = {Source identifier: 2610.32919}
}