conftrace_

stepwise decoding

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

language model (2) contrastive learning (2) correctness discriminator (1) multi-step reasoning (1) proof generation (1) chain of thought (1) correctness verification (1) chain-of-thought reasoning (1) mathematical reasoning (1) logical reasoning (1)

Papers

Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning IJCNLP 2025 GRACE: Discriminator-Guided Chain-of-Thought Reasoning EMNLP 2023