conftrace_

deductive additivity

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

natural language proof (1) single-step reasoning contrast (1) premise embedding (1) planning heuristics (1) deductive reasoning (1) semantic embedding (1) automated planning (1) embedding space (1)

Papers

Deductive Additivity for Planning of Natural Language Proofs ACL 2023