Piotr Kuterba
zussini
·
AI & ML interests
theoretical physics, math, ai
Recent Activity
updated a dataset 3 days ago
zussini/FACBench published a dataset 6 days ago
zussini/FACBench new activity about 1 month ago
PAug/ProofNetVerif:Diagnostic note: shadowed characteristic parameter in Herstein|exercise_5_1_8 (test row 243)Organizations
