Tomáš Javůrek's picture

Tomáš Javůrek

TomasJavurek

·

Tomas.Javurek

AI & ML interests

None yet

Recent Activity

updated a model 1 day ago

TomasJavurek/stepwise_eq_sft_model_konst

published a model 2 days ago

TomasJavurek/stepwise_eq_sft_model_konst

updated a model about 1 month ago

kinit/equational-reasoning-distance-to-goal

View all activity

Organizations

TomasJavurek 's models 4

TomasJavurek/stepwise_eq_sft_model_konst

Updated 1 day ago

TomasJavurek/stepwise_eq_sft_model_v1

TomasJavurek/stepwise_eq_sft_model

TomasJavurek/checkpoints