Nikita Bukhal
tttzof351
ยท
AI & ML interests
None yet
Recent Activity
upvoted a paper 19 days ago
Learning to Repair Lean Proofs from Compiler Feedback liked
a dataset about 1 year ago
Vikhrmodels/russian_math liked
a dataset about 1 year ago
Vikhrmodels/physics_big Organizations
