Hugging Face's logo
shihaoyang's picture
1

shihaoyang

spnnnnn

AI & ML interests

None yet

Recent Activity

new activity 13 days ago
casey-martin/multilingual-mathematical-autoformalization:checked the correctness of the data using a REPL and found that many entries are failing
View all activity

Organizations

None yet