Neural Solver Synthesis
Official artifacts for Neural Solver Synthesis: SDS data, solver checkpoints, revision bundles, and JSSP transfer artifacts.
Viewer • Updated • 10k • 21Note SDS training dataset (seed 101).
IDEALLab/OpenR1-SDS-10k-seed202
Viewer • Updated • 10k • 20Note SDS training dataset (seed 202).
IDEALLab/OpenR1-SDS-10k-seed303
Viewer • Updated • 10k • 21Note SDS training dataset (seed 303).
IDEALLab/ShinkaEvolve-SDS-1000-v2-seed101
Viewer • Updated • 1k • 20Note Refreshed neutral-prompt Shinka comparison dataset (seed 101).
IDEALLab/ShinkaEvolve-SDS-1000-v2-seed202
Viewer • Updated • 1k • 19Note Refreshed neutral-prompt Shinka comparison dataset (seed 202).
IDEALLab/ShinkaEvolve-SDS-1000-v2-seed303
Viewer • Updated • 1k • 20Note Refreshed neutral-prompt Shinka comparison dataset (seed 303).
IDEALLab/OpenR1-SDS-Base-Generations-seed101
Viewer • Updated • 64k • 21Note Raw Base model SDS generations (seed 101).
IDEALLab/OpenR1-SDS-Base-Generations-seed202
Viewer • Updated • 64k • 22Note Raw Base model SDS generations (seed 202).
IDEALLab/OpenR1-SDS-Base-Generations-seed303
Viewer • Updated • 64k • 21Note Raw Base model SDS generations (seed 303).
IDEALLab/OpenR1-SDS-Universal-Search-seed101
Preview • Updated • 20Note Universal search artifact bundle over Base-generated SDS solvers (seed 101).
IDEALLab/OpenR1-SDS-Universal-Search-seed202
Preview • Updated • 22Note Universal search artifact bundle over Base-generated SDS solvers (seed 202).
IDEALLab/OpenR1-SDS-Universal-Search-seed303
Preview • Updated • 21Note Universal search artifact bundle over Base-generated SDS solvers (seed 303).
IDEALLab/OpenR1-JSSP-ContractV4-10k-seed101
Viewer • Updated • 10k • 21Note JSSP ContractV4 training dataset (seed 101).
IDEALLab/OpenR1-JSSP-ContractV4-10k-seed202
Viewer • Updated • 10k • 21Note JSSP ContractV4 training dataset (seed 202).
IDEALLab/OpenR1-JSSP-ContractV4-10k-seed303
Viewer • Updated • 10k • 23Note JSSP ContractV4 training dataset (seed 303).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Hero-seed101
Reinforcement Learning • 15B • Updated • 15Note Main SDS Hero checkpoint (seed 101).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Hero-seed202
Reinforcement Learning • 15B • Updated • 13Note Main SDS Hero checkpoint (seed 202).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Hero-seed303
Reinforcement Learning • 15B • Updated • 11Note Main SDS Hero checkpoint (seed 303).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Oracle-seed101
Reinforcement Learning • 15B • Updated • 14Note Original SDS oracle ablation checkpoint (seed 101).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Oracle-seed202
Reinforcement Learning • 15B • Updated • 13Note Original SDS oracle ablation checkpoint (seed 202).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Oracle-seed303
Reinforcement Learning • 15B • Updated • 14Note Original SDS oracle ablation checkpoint (seed 303).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Diversity-seed101
Reinforcement Learning • 15B • Updated • 12Note Original SDS diversity ablation checkpoint (seed 101).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Diversity-seed202
Reinforcement Learning • 15B • Updated • 15Note Original SDS diversity ablation checkpoint (seed 202).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Diversity-seed303
Reinforcement Learning • 15B • Updated • 10Note Original SDS diversity ablation checkpoint (seed 303).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Prompt-seed101
Reinforcement Learning • 15B • Updated • 14Note Original SDS prompt ablation checkpoint (seed 101).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Prompt-seed202
Reinforcement Learning • 15B • Updated • 15Note Original SDS prompt ablation checkpoint (seed 202).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Prompt-seed303
Reinforcement Learning • 15B • Updated • 14Note Original SDS prompt ablation checkpoint (seed 303).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Minimalist-seed101
Reinforcement Learning • 15B • Updated • 14Note Original SDS minimalist checkpoint (seed 101).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Minimalist-seed202
Reinforcement Learning • 15B • Updated • 15Note Original SDS minimalist checkpoint (seed 202).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Minimalist-seed303
Reinforcement Learning • 15B • Updated • 15Note Original SDS minimalist checkpoint (seed 303).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-SoftGate-seed101
Text Generation • 15B • Updated • 15Note Revision-era SDS soft-gate ablation checkpoint (seed 101).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-SoftGate-seed202
Text Generation • 15B • Updated • 15Note Revision-era SDS soft-gate ablation checkpoint (seed 202).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-SoftGate-seed303
Text Generation • 15B • Updated • 14Note Revision-era SDS soft-gate ablation checkpoint (seed 303).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-RewardNormalization-seed101
Text Generation • 15B • Updated • 15Note Revision-era SDS reward-normalization ablation checkpoint (seed 101).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-RewardNormalization-seed202
Text Generation • 15B • Updated • 14Note Revision-era SDS reward-normalization ablation checkpoint (seed 202).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-RewardNormalization-seed303
Text Generation • 15B • Updated • 15Note Revision-era SDS reward-normalization ablation checkpoint (seed 303).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-JSSP-Hero-V4-seed101
Text Generation • 15B • Updated • 15Note JSSP Hero V4 transfer checkpoint (seed 101).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-JSSP-Hero-V4-seed202
Text Generation • 15B • Updated • 16Note JSSP Hero V4 transfer checkpoint (seed 202).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-JSSP-Hero-V4-seed303
Text Generation • 15B • Updated • 13Note JSSP Hero V4 transfer checkpoint (seed 303).
IDEALLab/OpenR1-SDS-SoftGate-Eval-v1-seed101
Viewer • Updated • 3 • 18Note Revision-era SDS soft-gate evaluation bundle (seed 101).
IDEALLab/OpenR1-SDS-SoftGate-Eval-v1-seed202
Viewer • Updated • 3 • 20Note Revision-era SDS soft-gate evaluation bundle (seed 202).
IDEALLab/OpenR1-SDS-SoftGate-Eval-v1-seed303
Viewer • Updated • 3 • 19Note Revision-era SDS soft-gate evaluation bundle (seed 303).
IDEALLab/OpenR1-SDS-RewardNormalization-Eval-v1-seed101
Viewer • Updated • 3 • 19Note Revision-era SDS reward-normalization evaluation bundle (seed 101).
IDEALLab/OpenR1-SDS-RewardNormalization-Eval-v1-seed202
Viewer • Updated • 3 • 22Note Revision-era SDS reward-normalization evaluation bundle (seed 202).
IDEALLab/OpenR1-SDS-RewardNormalization-Eval-v1-seed303
Viewer • Updated • 3 • 19Note Revision-era SDS reward-normalization evaluation bundle (seed 303).
IDEALLab/OpenR1-SDS-BaselineEvidence-Eval-v1
Viewer • Updated • 26 • 23Note Frozen-solver, hand-written SA, timing, and baseline-evidence bundle.
IDEALLab/OpenR1-SDS-FeasibilitySparsity-Logs-v1
Preview • Updated • 20Note Raw feasibility-sparsity and generation-trace logs.
IDEALLab/OpenR1-JSSP-V4-Rebuttal-Eval-v1
Updated • 19Note Three-seed JSSP V4 evaluation and aggregate rebuttal bundle.