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
about 12 hours ago
TomasJavurek/stepwise_eq_sft_model_konst_ep2
published
a model
about 12 hours ago
TomasJavurek/stepwise_eq_sft_model_konst_ep2
updated
a model
1 day ago
kinit/equational-reasoning-stepwise-konst
View all activity
Organizations
TomasJavurek
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
updated
a model
about 12 hours ago
TomasJavurek/stepwise_eq_sft_model_konst_ep2
Updated
about 6 hours ago
published
a model
about 12 hours ago
TomasJavurek/stepwise_eq_sft_model_konst_ep2
Updated
about 6 hours ago
updated
a model
1 day ago
kinit/equational-reasoning-stepwise-konst
Text Generation
•
Updated
1 day ago
•
9
published
a model
1 day ago
kinit/equational-reasoning-stepwise-konst
Text Generation
•
Updated
1 day ago
•
9
updated
a model
3 days ago
TomasJavurek/stepwise_eq_sft_model_konst
Updated
3 days ago
published
a model
4 days ago
TomasJavurek/stepwise_eq_sft_model_konst
Updated
3 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
a model
about 1 month ago
TomasJavurek/stepwise_eq_sft_model_v1
Updated
Mar 12
updated
a model
about 1 month ago
TomasJavurek/stepwise_eq_sft_model
Updated
Mar 4
published
a model
about 1 month ago
TomasJavurek/stepwise_eq_sft_model
Updated
Mar 4
updated
2 models
about 2 months ago
kinit/equational-reasoning-sft-rl
Text Generation
•
Updated
Feb 19
•
99
TomasJavurek/checkpoints
Updated
Feb 17
published
2 models
2 months ago
TomasJavurek/checkpoints
Updated
Feb 17
kinit/equational-reasoning-sft-rl
Text Generation
•
Updated
Feb 19
•
99
updated
a dataset
7 months ago
TomasJavurek/mnist-augmented
Viewer
•
Updated
Sep 8, 2025
•
63k
•
15
published
a dataset
8 months ago
TomasJavurek/mnist-augmented
Viewer
•
Updated
Sep 8, 2025
•
63k
•
15
Load more