Neural Solver Synthesis

IDEALLab 's Collections

updated May 13

Official artifacts for Neural Solver Synthesis: SDS data, solver checkpoints, revision bundles, and JSSP transfer artifacts.

Upvote

IDEALLab/OpenR1-SDS-10k-seed101

Viewer • Updated May 13 • 10k • 9

Note SDS training dataset (seed 101).
IDEALLab/OpenR1-SDS-10k-seed202

Viewer • Updated May 13 • 10k • 8

Note SDS training dataset (seed 202).
IDEALLab/OpenR1-SDS-10k-seed303

Viewer • Updated May 13 • 10k • 8

Note SDS training dataset (seed 303).
IDEALLab/ShinkaEvolve-SDS-1000-v2-seed101

Viewer • Updated May 13 • 1k • 128

Note Refreshed neutral-prompt Shinka comparison dataset (seed 101).
IDEALLab/ShinkaEvolve-SDS-1000-v2-seed202

Viewer • Updated May 13 • 1k • 6

Note Refreshed neutral-prompt Shinka comparison dataset (seed 202).
IDEALLab/ShinkaEvolve-SDS-1000-v2-seed303

Viewer • Updated May 13 • 1k • 7

Note Refreshed neutral-prompt Shinka comparison dataset (seed 303).
IDEALLab/OpenR1-SDS-Base-Generations-seed101

Viewer • Updated May 13 • 64k • 13

Note Raw Base model SDS generations (seed 101).
IDEALLab/OpenR1-SDS-Base-Generations-seed202

Viewer • Updated May 13 • 64k • 15

Note Raw Base model SDS generations (seed 202).
IDEALLab/OpenR1-SDS-Base-Generations-seed303

Viewer • Updated May 13 • 64k • 17

Note Raw Base model SDS generations (seed 303).
IDEALLab/OpenR1-SDS-Universal-Search-seed101

Preview • Updated May 13 • 22

Note Universal search artifact bundle over Base-generated SDS solvers (seed 101).
IDEALLab/OpenR1-SDS-Universal-Search-seed202

Preview • Updated May 13 • 24

Note Universal search artifact bundle over Base-generated SDS solvers (seed 202).
IDEALLab/OpenR1-SDS-Universal-Search-seed303

Preview • Updated May 13 • 14

Note Universal search artifact bundle over Base-generated SDS solvers (seed 303).
IDEALLab/OpenR1-JSSP-ContractV4-10k-seed101

Viewer • Updated May 13 • 10k • 7

Note JSSP ContractV4 training dataset (seed 101).
IDEALLab/OpenR1-JSSP-ContractV4-10k-seed202

Viewer • Updated May 13 • 10k • 5

Note JSSP ContractV4 training dataset (seed 202).
IDEALLab/OpenR1-JSSP-ContractV4-10k-seed303

Viewer • Updated May 13 • 10k • 5

Note JSSP ContractV4 training dataset (seed 303).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Hero-seed101

Reinforcement Learning • 15B • Updated May 13 • 3

Note Main SDS Hero checkpoint (seed 101).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Hero-seed202

Reinforcement Learning • 15B • Updated May 13 • 2

Note Main SDS Hero checkpoint (seed 202).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Hero-seed303

Reinforcement Learning • 15B • Updated May 13 • 1

Note Main SDS Hero checkpoint (seed 303).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Oracle-seed101

Reinforcement Learning • 15B • Updated May 13 • 2

Note Original SDS oracle ablation checkpoint (seed 101).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Oracle-seed202

Reinforcement Learning • 15B • Updated May 13 • 3

Note Original SDS oracle ablation checkpoint (seed 202).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Oracle-seed303

Reinforcement Learning • 15B • Updated May 13 • 1

Note Original SDS oracle ablation checkpoint (seed 303).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Diversity-seed101

Reinforcement Learning • 15B • Updated May 13 • 2

Note Original SDS diversity ablation checkpoint (seed 101).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Diversity-seed202

Reinforcement Learning • 15B • Updated May 13 • 2

Note Original SDS diversity ablation checkpoint (seed 202).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Diversity-seed303

Reinforcement Learning • 15B • Updated May 13 • 1

Note Original SDS diversity ablation checkpoint (seed 303).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Prompt-seed101

Reinforcement Learning • 15B • Updated May 13 • 2

Note Original SDS prompt ablation checkpoint (seed 101).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Prompt-seed202

Reinforcement Learning • 15B • Updated May 13 • 2

Note Original SDS prompt ablation checkpoint (seed 202).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-Prompt-seed303

Reinforcement Learning • 15B • Updated May 13 • 2

Note Original SDS prompt ablation checkpoint (seed 303).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Minimalist-seed101

Reinforcement Learning • 15B • Updated May 13 • 3

Note Original SDS minimalist checkpoint (seed 101).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Minimalist-seed202

Reinforcement Learning • 15B • Updated May 13 • 3

Note Original SDS minimalist checkpoint (seed 202).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Minimalist-seed303

Reinforcement Learning • 15B • Updated May 13 • 2

Note Original SDS minimalist checkpoint (seed 303).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-SoftGate-seed101

Text Generation • 15B • Updated May 13 • 3

Note Revision-era SDS soft-gate ablation checkpoint (seed 101).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-SoftGate-seed202

Text Generation • 15B • Updated May 13 • 2

Note Revision-era SDS soft-gate ablation checkpoint (seed 202).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-SoftGate-seed303

Text Generation • 15B • Updated May 13 • 3

Note Revision-era SDS soft-gate ablation checkpoint (seed 303).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-RewardNormalization-seed101

Text Generation • 15B • Updated May 13 • 5

Note Revision-era SDS reward-normalization ablation checkpoint (seed 101).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-RewardNormalization-seed202

Text Generation • 15B • Updated May 13 • 3

Note Revision-era SDS reward-normalization ablation checkpoint (seed 202).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-SDS-Ablation-RewardNormalization-seed303

Text Generation • 15B • Updated May 13 • 3

Note Revision-era SDS reward-normalization ablation checkpoint (seed 303).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-JSSP-Hero-V4-seed101

Text Generation • 15B • Updated May 13 • 3

Note JSSP Hero V4 transfer checkpoint (seed 101).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-JSSP-Hero-V4-seed202

Text Generation • 15B • Updated May 13 • 2

Note JSSP Hero V4 transfer checkpoint (seed 202).
IDEALLab/Qwen2.5-Coder-14B-Instruct-GRPO-JSSP-Hero-V4-seed303

Text Generation • 15B • Updated May 13 • 2

Note JSSP Hero V4 transfer checkpoint (seed 303).
IDEALLab/OpenR1-SDS-SoftGate-Eval-v1-seed101

Viewer • Updated May 13 • 3 • 19

Note Revision-era SDS soft-gate evaluation bundle (seed 101).
IDEALLab/OpenR1-SDS-SoftGate-Eval-v1-seed202

Viewer • Updated May 13 • 3 • 7

Note Revision-era SDS soft-gate evaluation bundle (seed 202).
IDEALLab/OpenR1-SDS-SoftGate-Eval-v1-seed303

Viewer • Updated May 13 • 3 • 8

Note Revision-era SDS soft-gate evaluation bundle (seed 303).
IDEALLab/OpenR1-SDS-RewardNormalization-Eval-v1-seed101

Viewer • Updated May 13 • 3 • 11

Note Revision-era SDS reward-normalization evaluation bundle (seed 101).
IDEALLab/OpenR1-SDS-RewardNormalization-Eval-v1-seed202

Viewer • Updated May 13 • 3 • 8

Note Revision-era SDS reward-normalization evaluation bundle (seed 202).
IDEALLab/OpenR1-SDS-RewardNormalization-Eval-v1-seed303

Viewer • Updated May 13 • 3 • 6

Note Revision-era SDS reward-normalization evaluation bundle (seed 303).
IDEALLab/OpenR1-SDS-BaselineEvidence-Eval-v1

Viewer • Updated May 13 • 26 • 40

Note Frozen-solver, hand-written SA, timing, and baseline-evidence bundle.
IDEALLab/OpenR1-SDS-FeasibilitySparsity-Logs-v1

Preview • Updated May 13 • 11

Note Raw feasibility-sparsity and generation-trace logs.
IDEALLab/OpenR1-JSSP-V4-Rebuttal-Eval-v1

Updated May 13 • 10

Note Three-seed JSSP V4 evaluation and aggregate rebuttal bundle.

Upvote