Seed2.1 Model Card: Agentic Intelligence for Productivity
Team report · I contributed the financial-agent and Lean 4 proving capabilities
~/publications
From structured prediction and NER, through math reasoning and RL fine-tuning, to Lean 4 theorem proving and LLM agents. Also on Google Scholar.
Team report · I contributed the financial-agent and Lean 4 proving capabilities
Team report · contributors listed alphabetically, incl. Allan Jie
ByteDance Seed AI4Math · alphabetical author order
ByteDance Seed AI4Math · alphabetical author order
No papers match — try another filter.
* equal contribution · long author lists are abbreviated — click the count to expand