Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Maxine Xin
maxRyeery
Follow
AI & ML interests
None yet
Recent Activity
authored
a paper
about 23 hours ago
VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
updated
a dataset
2 days ago
maxRyeery/VeriSoftBench
published
a dataset
2 days ago
maxRyeery/VeriSoftBench
View all activity
Organizations
None yet
maxRyeery
's datasets
1
Sort: Recently updated
maxRyeery/VeriSoftBench
Viewer
•
Updated
2 days ago
•
500
•
8