Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

Veri-Code

community
Activity Feed Request to join this org

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

Jie Fu's profile pictureYan Chuanhao's profile pictureYizhi Li's profile pictureXuhan Huang's profile picture

Veri-Code 's datasets 2

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
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs