TY  - RPRT
TI  - Evaluating Step-by-Step Reasoning through Symbolic Verification
AU  - Yi-Fan Zhang
AU  - Hanlin Zhang
AU  - Li Erran Li
AU  - Eric Xing
PY  - 2024
UR  - https://arxiv.org/abs/2212.08686
ID  - 2212.08686
ER  -