AI & ML interests

Harnessing research for humans & industries.

Recent Activity

TomasJavurek  published a model about 12 hours ago
kinit/equational-reasoning-sft-rl
kamilburda  updated a model 7 days ago
kinit/equational-reasoning-sft
kamilburda  published a model 7 days ago
kinit/equational-reasoning-sft
View all activity