conftrace_

premise embedding

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

deductive additivity (1) natural language proof (1) single-step reasoning contrast (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