conftrace_

single-step reasoning contrast

1 paper

Explore in graph

Also known as

SSRC

Co-occurring keywords · papers mentioning both

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