Hugging Face's logo
Ran Xin's picture
1

Ran Xin

RanXinByteDance
·

AI & ML interests

None yet

Recent Activity

new activity 24 days ago
bytedance-research/BFS-Prover:Code/Data Release
updated a model about 2 months ago
bytedance-research/BFS-Prover
published a model about 2 months ago
bytedance-research/BFS-Prover
View all activity

Organizations

ByteDance's profile picture bytedance-research's profile picture

RanXinByteDance's activity

New activity in bytedance-research/BFS-Prover 24 days ago

Code/Data Release

2
#1 opened 25 days ago by
milangritta