Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience Paper • 2512.17260 • Published 10 days ago • 48
WebExplorer: Explore and Evolve for Training Long-Horizon Web Agents Paper • 2509.06501 • Published Sep 8 • 79
Enigmata Collection Resources for the Enigmata Project: https://seed-enigmata.github.io. • 5 items • Updated Aug 13 • 3
Seed Diffusion: A Large-Scale Diffusion Language Model with High-Speed Inference Paper • 2508.02193 • Published Aug 4 • 133
Is Extending Modality The Right Path Towards Omni-Modality? Paper • 2506.01872 • Published Jun 2 • 23
Enigmata Collection Resources for the Enigmata Project: https://seed-enigmata.github.io. • 5 items • Updated Aug 13 • 3
TimeArena: Shaping Efficient Multitasking Language Agents in a Time-Aware Simulation Paper • 2402.05733 • Published Feb 8, 2024
SelfGoal: Your Language Agents Already Know How to Achieve High-level Goals Paper • 2406.04784 • Published Jun 7, 2024 • 2
DAPO: An Open-Source LLM Reinforcement Learning System at Scale Paper • 2503.14476 • Published Mar 18 • 144
Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learning Paper • 2504.13914 • Published Apr 10 • 4
Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles Paper • 2505.19914 • Published May 26 • 45