Stanford AI Lean Club

community

https://aiforlean.org/

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

eshaanb new activity 1 day ago

StanfordAILean/c-py-dataset:Upload 107 C/Python-to-Lean4 formalizations

eshaanb new activity 1 day ago

StanfordAILean/c-py-dataset:Add dataset README

eshaanb published a dataset 9 days ago

StanfordAILean/c-py-dataset

View all activity

models 0

None public yet

datasets 2

StanfordAILean/c-py-dataset

Viewer • Updated 1 day ago • 107 • 26

StanfordAILean/veribench-training-data

Viewer • Updated Feb 28 • 1.67k • 23