Eshaan's picture

2

Eshaan

eshaanb

·

AI & ML interests

None yet

Recent Activity

new activity 2 days ago

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

new activity 2 days ago

StanfordAILean/c-py-dataset:Add dataset README

published a dataset 9 days ago

StanfordAILean/c-py-dataset

View all activity

Organizations

New activity in StanfordAILean/c-py-dataset 2 days ago

Upload 107 C/Python-to-Lean4 formalizations

#4 opened 2 days ago by

Add dataset README

#5 opened 2 days ago by