conftrace_

axiomatic knowledge

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

geometry problem solving (2) theorem knowledge (1) geometry problem (1) textbook analysis (1) rule-based parsing (1) knowledge harvesting (1) interpretable reasoning (1) rule extraction (1) formal language (1) symbolic reasoning (1)

Papers

Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning ACL 2021 From Textbooks to Knowledge: A Case Study in Harvesting Axiomatic Knowledge from Textbooks to Solve Geometry Problems EMNLP 2017