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
1 day ago
Transforming Science with Large Language Models: A Survey on AI-assisted Scientific Discovery, Experimentation, Content Generation, and Evaluation
yizhilll
authored
a paper
1 day ago
DocMMIR: A Framework for Document Multi-modal Information Retrieval
yizhilll
authored
a paper
1 day 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
•
92
•
1
Veri-Code/ReForm-Python2Dafny-Dataset
Viewer
•
Updated
Jul 25, 2025
•
17.5k
•
147
•
2