conftrace_

expert iteration

8 papers

Explore in graph

Also known as

EXIT

Co-occurring keywords · papers mentioning both

language model (2) theorem proving (2) curriculum learning (2) reward adjustment (1) informal reasoning (1) retrospective ground-truth (1) llms (1) conjecturing (1) saliency-based explanation (1) board game (1)

Papers

Automatic Curriculum Expert Iteration for Reliable LLM Reasoning ICLR 2025 GraphNarrator: Generating Textual Explanations for Graph Neural Networks ACL 2025 Lean-STaR: Learning to Interleave Thinking and Proving ICLR 2025 STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving ICML 2025 Learning Better Representations From Less Data For Propositional Satisfiability NeurIPS 2024 BRExIt: On Opponent Modelling in Expert Iteration IJCAI 2023 Formal Mathematics Statement Curriculum Learning ICLR 2023 Thinking Fast and Slow with Deep Learning and Tree Search NeurIPS 2017