sileod/reasoning_core
Procedural symbolic reasoning data generators suite for synthetic pretraining
This tool helps AI researchers and developers create synthetic datasets for training and evaluating large language models (LLMs). It generates textual examples of complex symbolic and algorithmic reasoning tasks, such as formal logic, mathematics, and planning problems. You can use these generated datasets to improve an LLM's ability to handle intricate reasoning challenges.
Use this if you need to generate large, diverse datasets of symbolic reasoning tasks to pre-train or fine-tune language models.
Not ideal if you are looking for real-world, natural language datasets or if your project doesn't involve training language models on formal reasoning tasks.
Stars
34
Forks
2
Language
Python
License
MIT
Category
Last pushed
Mar 12, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/llm-tools/sileod/reasoning_core"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
open-thought/reasoning-gym
[NeurIPS 2025 Spotlight] Reasoning Environments for Reinforcement Learning with Verifiable Rewards
Hmbown/Hegelion
Dialectical reasoning architecture for LLMs (Thesis → Antithesis → Synthesis)
LLM360/Reasoning360
A repo for open research on building large reasoning models
TsinghuaC3I/Awesome-RL-for-LRMs
A Survey of Reinforcement Learning for Large Reasoning Models
bowang-lab/BioReason
BioReason: Incentivizing Multimodal Biological Reasoning within a DNA-LLM Model | NeurIPS '25