Timofey Kiselev
tfshaman
AI & ML interests
None yet
Organizations
tfshaman/error_metamath_sympy_v1
Viewer
•
Updated
•
170k
•
63
tfshaman/wrong_metamath_sympy_v1
Viewer
•
Updated
•
39.3k
•
67
tfshaman/metamath_gsm8k_sympy_v1
Viewer
•
Updated
•
192k
•
55
tfshaman/MetaMath_mistral_predicted_gsm8k
Viewer
•
Updated
•
1.32k
•
56
tfshaman/gsm8k_randomly_sampled250_test
Viewer
•
Updated
•
250
•
108
Viewer
•
Updated
•
50
•
80
Viewer
•
Updated
•
401
•
62
Viewer
•
Updated
•
5k
•
56
tfshaman/metamath_sympy_v1
Viewer
•
Updated
•
186k
•
74
Viewer
•
Updated
•
5.91k
•
145
•
1