Evaluating Step-by-Step Reasoning through Symbolic Verification.

Yifan Zhang, Hanlin Zhang, Li Li, Eric P. Xing

Browse the full NAACL paper archive.