TY  - RPRT
TI  - SymStep: Symbolic Step Verification for Logical Reasoning
AU  - Aida Usmanova
AU  - Rui Gao
AU  - Dilshod Azizov
AU  - Ricardo Usbeck
AU  - Zangir Iklassov
PY  - 2026
UR  - https://arxiv.org/abs/2607.23055
ID  - 2607.23055
ER  -