@misc{indiciae424f6ae2f8c2,
  title = {SymStep: Symbolic Step Verification for Logical Reasoning},
  author = {Aida Usmanova and Rui Gao and Dilshod Azizov and Ricardo Usbeck and Zangir Iklassov},
  year = {2026},
  url = {https://arxiv.org/abs/2607.23055},
  note = {Source identifier: 2607.23055}
}