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