repoGitHubTrust 82 · PrimaryPublished yesterdayLive · 9h ago
sileod/reasoning-core
Procedural data generators suite for synthetic pretraining and formal reasoning
Lineage graph
Paper → model → repo connections mined from source citations (Tier-1 exact match).
Implements
paperVerifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem ProposingpaperBridging the Gap Between Latent and Explicit Reasoning with Looped TransformerspaperGenerative Skill Composition for LLM AgentspaperGraph-Native Reinforcement Learning Enables Traceable Scientific Hypothesis Generation through Conceptual Recombination
Related to
Implements (incoming)
Related across the graph
paperVerifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem ProposingpaperG-RRM: Guiding Symbolic Solvers with Recurrent Reasoning ModelscompanyNorthwind AIpaperGenerative Skill Composition for LLM AgentspaperTUDUM: A Turkish-Thinking Reasoning Pipeline for Qwen3.5-27BpaperBridging the Gap Between Latent and Explicit Reasoning with Looped TransformerspaperGraph-Native Reinforcement Learning Enables Traceable Scientific Hypothesis Generation through Conceptual Recombination