Hugging Face's logo
simon2011's picture

simon2011

simon2011
21world's profile picture thomwolf's profile picture HaimingW's profile picture
ยท

AI & ML interests

None yet

Recent Activity

published a dataset about 1 month ago
FrenzyMath/state_tactic_pairs
published a model about 1 month ago
FrenzyMath/REAL-Prover
published a model about 1 month ago
FrenzyMath/LeanSearch-PS-faiss
View all activity

Organizations

AI4M's profile picture FrenzyMath's profile picture