Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Veri-Code
community
Activity Feed
Request to join this org
Follow
10
AI & ML interests
None defined yet.
Recent Activity
yizhilll
updated
a collection
3 days ago
Re:Form
SiniShell1
new
activity
4 days ago
Veri-Code/ReForm-SFT-0.5B:
Improve model card for Re:Form: add metadata, links, and usage example
SiniShell1
new
activity
4 days ago
Veri-Code/ReForm-SFT-1.5B:
Add comprehensive model card including paper, code, and usage with relevant tags
View all activity
Team members
4
Veri-Code
's datasets
2
Sort: Recently updated
Veri-Code/ReForm-DafnyComp-Benchmark
Viewer
•
Updated
4 days ago
•
300
•
47
Veri-Code/ReForm-Python2Dafny-Dataset
Viewer
•
Updated
4 days ago
•
17.5k
•
49