conftrace_

multi-step deduction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

downstream transfer (1) symbolic logic (1) synthetic corpus (1) large language model (1) program-generated sample (1) synthetic training data (1) synthetic data generation (1) logical reasoning (1) benchmark evaluation (1)

Papers

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus NeurIPS 2024