Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
1
1
Tomáš Javůrek
TomasJavurek
Follow
mtkinit's profile picture
1 follower
·
2 following
Tomas.Javurek
AI & ML interests
None yet
Recent Activity
updated
a model
32 minutes ago
TomasJavurek/stepwise_eq_sft_model_v1_lt
updated
a model
about 4 hours ago
TomasJavurek/stepwise_eq_sft_model_konst_v3
published
a model
about 6 hours ago
TomasJavurek/stepwise_eq_sft_model_konst_v3
View all activity
Organizations
TomasJavurek
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
updated
a model
32 minutes ago
TomasJavurek/stepwise_eq_sft_model_v1_lt
Updated
32 minutes ago
updated
a model
about 4 hours ago
TomasJavurek/stepwise_eq_sft_model_konst_v3
Updated
about 2 hours ago
published
a model
about 6 hours ago
TomasJavurek/stepwise_eq_sft_model_konst_v3
Updated
about 2 hours ago
published
a model
about 12 hours ago
TomasJavurek/stepwise_eq_sft_model_v1_lt
Updated
32 minutes ago
updated
a model
about 24 hours ago
TomasJavurek/stepwise_eq_sft_model
Updated
about 16 hours ago
updated
a model
1 day ago
TomasJavurek/stepwise_eq_sft_model_konst_ep2
Updated
1 day ago
published
a model
1 day ago
TomasJavurek/stepwise_eq_sft_model_konst_ep2
Updated
1 day ago
updated
a model
2 days ago
kinit/equational-reasoning-stepwise-konst
Text Generation
•
Updated
2 days ago
•
13
published
a model
2 days ago
kinit/equational-reasoning-stepwise-konst
Text Generation
•
Updated
2 days ago
•
13
updated
a model
4 days ago
TomasJavurek/stepwise_eq_sft_model_konst
Updated
4 days ago
published
a model
5 days ago
TomasJavurek/stepwise_eq_sft_model_konst
Updated
4 days ago
updated
a model
about 1 month ago
kinit/equational-reasoning-distance-to-goal
0.1B
•
Updated
Mar 13
•
3
published
a model
about 1 month ago
kinit/equational-reasoning-distance-to-goal
0.1B
•
Updated
Mar 13
•
3
updated
a model
about 1 month ago
kinit/equational-reasoning-stepwise
8B
•
Updated
Mar 13
•
11
published
a model
about 1 month ago
kinit/equational-reasoning-stepwise
8B
•
Updated
Mar 13
•
11
updated
a model
about 1 month ago
TomasJavurek/stepwise_eq_sft_model_v1
Updated
Mar 12
published
2 models
about 1 month ago
TomasJavurek/stepwise_eq_sft_model_v1
Updated
Mar 12
TomasJavurek/stepwise_eq_sft_model
Updated
about 16 hours ago
updated
2 models
about 2 months ago
kinit/equational-reasoning-sft-rl
Text Generation
•
Updated
Feb 19
•
99
TomasJavurek/checkpoints
Updated
Feb 17
Load more