Stanford AI Lean Club

StanfordAILean's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Articles

eshaanb 

in StanfordAILean/c-py-dataset 1 day ago

Upload 107 C/Python-to-Lean4 formalizations

#4 opened 2 days ago by

brando

Add dataset README

#5 opened 2 days ago by

brando

eshaanb 

published a dataset 9 days ago

StanfordAILean/c-py-dataset

Viewer • Updated 1 day ago • 107 • 26

vatsava 

updated a dataset about 2 months ago

StanfordAILean/veribench-training-data

Viewer • Updated Feb 28 • 1.67k • 23

vatsava 

published a dataset about 2 months ago

StanfordAILean/veribench-training-data

Viewer • Updated Feb 28 • 1.67k • 23