1 code implementation • EMNLP 2015 • Minjoon Seo, Hannaneh Hajishirzi, Ali Farhadi, Oren Etzioni, Clint Malcolm
Ranked #2 on Mathematical Question Answering on GeoS
Automated Theorem Proving Mathematical Question Answering +1