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
yizhilll
authored
a paper
2 days ago
Transforming Science with Large Language Models: A Survey on AI-assisted Scientific Discovery, Experimentation, Content Generation, and Evaluation
yizhilll
authored
a paper
2 days ago
DocMMIR: A Framework for Document Multi-modal Information Retrieval
yizhilll
authored
a paper
2 days ago
Audio Contrastive based Fine-tuning
View all activity
Team members
4
Veri-Code
's datasets
2
Sort: Recently updated
Veri-Code/ReForm-DafnyComp-Benchmark
Viewer
•
Updated
Oct 3, 2025
•
300
•
91
•
1
Veri-Code/ReForm-Python2Dafny-Dataset
Viewer
•
Updated
Jul 25, 2025
•
17.5k
•
142
•
2