conftrace_

theorem knowledge

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

geometry problem (1) axiomatic knowledge (1) rule-based parsing (1) interpretable reasoning (1) formal language (1) geometry problem solving (1) symbolic reasoning (1)

Papers

Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning ACL 2021