Boolformer: Symbolic Regression of Logic Functions with Transformers
Paper
•
2309.12207
•
Published
•
11
my-math-and-logic-babies
-
-
MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models
Paper • 2309.12284 • Published • 18 -
Generative AI for Math: Part I -- MathPile: A Billion-Token-Scale Pretraining Corpus for Math
Paper • 2312.17120 • Published • 25 -
Natural Language Reasoning, A Survey
Paper • 2303.14725 • Published • 1 -
MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical Reasoning
Paper • 2310.03731 • Published • 29 -
Diversity of Thought Improves Reasoning Abilities of Large Language Models
Paper • 2310.07088 • Published • 5 -
Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Models
Paper • 2310.04406 • Published • 8 -
MindMap: Knowledge Graph Prompting Sparks Graph of Thoughts in Large Language Models
Paper • 2308.09729 • Published • 5 -
Enhancing Reasoning Capabilities of Large Language Models: A Graph-Based Verification Approach
Paper • 2308.09267 • Published • 2 -
LLMs4OL: Large Language Models for Ontology Learning
Paper • 2307.16648 • Published • 3 -
Knowledge Solver: Teaching LLMs to Search for Domain Knowledge from Knowledge Graphs
Paper • 2309.03118 • Published • 2 -
Symbolic Knowledge Distillation: from General Language Models to Commonsense Models
Paper • 2110.07178 • Published • 1 -
Topological structure of complex predictions
Paper • 2207.14358 • Published • 2 -
SteP: Stacked LLM Policies for Web Actions
Paper • 2310.03720 • Published • 7 -
LLM Guided Inductive Inference for Solving Compositional Problems
Paper • 2309.11688 • Published • 1 -
Natural Logic-guided Autoregressive Multi-hop Document Retrieval for Fact Verification
Paper • 2212.05276 • Published • 1 -
MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning
Paper • 2309.05653 • Published • 10 -
WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct
Paper • 2308.09583 • Published • 7 -
GAIR/rst-word-sense-disambiguation-11b
Text2Text Generation • Updated • 35 • 5 -
neuralwork/arxiver
Viewer • Updated • 63.4k • 861 • 355