conftrace_

program consistency

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

symbolic executor (1) neural-symbolic solver (1) expression prediction (1) encoder decoder (1) equation generation (1) neural-symbolic reasoning (1) math word problem (1) program generation (1) auxiliary task (1) symbolic reasoning (1)

Papers

Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks ACL 2021