ByteDance-Seed / ByteDance-Seed/Seed-Prover
Code Release
Open
- Dominant language
- Lean
- Stars
- 442
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
Hi guys,
Amazing work done by the seed prover team. Is there any chance of releasing the entire code and dataset of the paper?
Contributor guide
No contributing guide indexed for this repository
Research direction
The issue asks whether the project's code and paper dataset can be released, but names no files, entry points, or acceptance criteria. Start by reviewing the repository's current contents and any existing release process; done would require a maintainer-defined scope and an agreed distribution plan for both.
Written by the indexing model from the issue text.
Assessment
- Domain
- data, release
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100