Boolformer: Symbolic Regression of Logic Functions with Transformers Paper • 2309.12207 • Published Sep 21, 2023 • 11
MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models Paper • 2309.12284 • Published Sep 21, 2023 • 18
Generative AI for Math: Part I -- MathPile: A Billion-Token-Scale Pretraining Corpus for Math Paper • 2312.17120 • Published Dec 28, 2023 • 25
MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical Reasoning Paper • 2310.03731 • Published Oct 5, 2023 • 29
Diversity of Thought Improves Reasoning Abilities of Large Language Models Paper • 2310.07088 • Published Oct 11, 2023 • 5
Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Models Paper • 2310.04406 • Published Oct 6, 2023 • 8
MindMap: Knowledge Graph Prompting Sparks Graph of Thoughts in Large Language Models Paper • 2308.09729 • Published Aug 17, 2023 • 5
Enhancing Reasoning Capabilities of Large Language Models: A Graph-Based Verification Approach Paper • 2308.09267 • Published Aug 18, 2023 • 2
Knowledge Solver: Teaching LLMs to Search for Domain Knowledge from Knowledge Graphs Paper • 2309.03118 • Published Sep 6, 2023 • 2
Symbolic Knowledge Distillation: from General Language Models to Commonsense Models Paper • 2110.07178 • Published Oct 14, 2021 • 1
LLM Guided Inductive Inference for Solving Compositional Problems Paper • 2309.11688 • Published Sep 20, 2023 • 1
Natural Logic-guided Autoregressive Multi-hop Document Retrieval for Fact Verification Paper • 2212.05276 • Published Dec 10, 2022 • 1
MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning Paper • 2309.05653 • Published Sep 11, 2023 • 10
WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct Paper • 2308.09583 • Published Aug 18, 2023 • 7