Hugging Face's logo
simon2011's picture

simon2011

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

AI & ML interests

None yet

Recent Activity

published a dataset 29 days ago
FrenzyMath/state_tactic_pairs
published a model 29 days ago
FrenzyMath/REAL-Prover
published a model 29 days ago
FrenzyMath/LeanSearch-PS-faiss
View all activity

Organizations

AI4M's profile picture FrenzyMath's profile picture