Ran Xin

RanXinByteDance's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

New activity in ByteDance-Seed/BFS-Prover-V1-7B 3 months ago

Code/Data Release

🚀 2

2

#1 opened 10 months ago by

milangritta

updated a model 3 months ago

ByteDance-Seed/BFS-Prover-V1-7B

Text Generation • 8B • Updated Oct 14, 2025 • 221 • • 22

New activity in ByteDance-Seed/BFS-Prover-V1-7B 3 months ago

Add GitHub repository link to model card

2

#2 opened 3 months ago by

nielsr

updated 2 models 3 months ago

ByteDance-Seed/BFS-Prover-V2-7B

Text Generation • 8B • Updated Oct 9, 2025 • 404 • 6

ByteDance-Seed/BFS-Prover-V2-32B

Text Generation • 33B • Updated Oct 9, 2025 • 197 • 11

New activity in ByteDance-Seed/BFS-Prover-V2-7B 3 months ago

Update README.md

#1 opened 3 months ago by

zeyu-zheng

New activity in ByteDance-Seed/BFS-Prover-V2-32B 3 months ago

Update README.md

#1 opened 3 months ago by

zeyu-zheng

updated a collection 3 months ago

BFS-Prover

Collection

LLM Step-Provers in Lean4 • 5 items • Updated Oct 7, 2025 • 4

published a model 3 months ago

ByteDance-Seed/BFS-Prover-V2-7B

Text Generation • 8B • Updated Oct 9, 2025 • 404 • 6

updated a collection 3 months ago

BFS-Prover

Collection

LLM Step-Provers in Lean4 • 5 items • Updated Oct 7, 2025 • 4

published a model 3 months ago

ByteDance-Seed/BFS-Prover-V2-32B

Text Generation • 33B • Updated Oct 9, 2025 • 197 • 11

published a model 11 months ago

ByteDance-Seed/BFS-Prover-V1-7B

Text Generation • 8B • Updated Oct 14, 2025 • 221 • • 22

updated 2 models 11 months ago

ByteDance-Seed/BFS-Prover-V1-7B

Text Generation • 8B • Updated Oct 14, 2025 • 221 • • 22

ByteDance-Seed/BFS-Prover-V1-7B

Text Generation • 8B • Updated Oct 14, 2025 • 221 • • 22