chenyili818/BFS-Prover
Text Generation
•
2B
•
Updated
•
5
Chenyi Li
chenyili818
AI & ML interests
None yet
Recent Activity
published
a model
22 days ago
chenyili818/BFS-Prover
updated
a model
22 days ago
chenyili818/BFS-Prover
updated
a model
about 2 months ago
chenyili818/ft
Organizations
None yet