Seed Prover 1.5
Seed-Prover 1.5 is ByteDance Seed’s formal theorem-proving model for Lean, trained with agentic RL and test-time scaling to solve most undergraduate and many graduate-level competition problems.
- Type
- Text
- Weights
- Closed
More from ByteDance
13
-
118 DL
Depth Anything 3
Image
Depth Anything 3 is a spatial reconstruction model that predicts consistent geometry from arbitrary visual in…
-
Doubao Pro (1.5 Pro)
Text
Doubao 1.5 Pro (ByteDance) is a sparse-MoE flagship built for strong reasoning, coding, and multimodality. It…
-
Doubao Realtime Voice
Audio
Doubao Realtime Voice is ByteDance’s low-latency voice interface for the Doubao models—streaming speech-to-te…
-
Doubao-1.5-Pro
Text
AI model by ByteDance
-
952 DL
InfiniteYou
Image
Identity-preserving photo recrafting model packaged as an adapter on top of a FLUX.1-dev base.
-
Lance
Multimodal
Lance is ByteDance’s open-source 3B active-parameter unified multimodal model for image and video understandi…
-
2k DL
LatentSync-1.6
License openrail++ · 199,929 downloads · by ByteDance
-
OmniScient Model
Text
OmniScient Model (OSM) is an open-ended visual recognition approach that predicts free-form class labels for…
About ByteDance
1
ByteDance is a multinational technology company known for its content platforms, including TikTok and Douyin.