Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
Veri-Code
community
Activity Feed
Request to join this org
Follow
16
AI & ML interests
None defined yet.
Recent Activity
SiniShell1
updated
a dataset
2 days ago
Veri-Code/ReForm-Python2Dafny-Dataset
SiniShell1
updated
a dataset
2 days ago
Veri-Code/ReForm-DafnyComp-Benchmark
SiniShell1
updated
a model
2 days ago
Veri-Code/ReForm-14B-RL-entropy
View all activity
Team members
4
Veri-Code
's datasets
2
Sort: Recently updated
Veri-Code/ReForm-Python2Dafny-Dataset
Viewer
•
Updated
2 days ago
•
17.5k
•
241
•
2
Veri-Code/ReForm-DafnyComp-Benchmark
Viewer
•
Updated
2 days ago
•
300
•
59
•
1