TomasJavurek/stepwise_eq_sft_model_konst_ep2
Updated
Tomáš Javůrek
TomasJavurek
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-konstOrganizations
updated a
model about 12 hours ago
published a
model about 12 hours ago
updated a
model 1 day ago
published a
model 1 day ago
updated a
model 3 days ago
published a
model 4 days ago
updated a
model about 1 month ago
published a
model about 1 month ago
updated a
model about 1 month ago
published a
model about 1 month ago
updated a
model about 1 month ago
published a
model about 1 month ago
updated a
model about 1 month ago
published a
model about 1 month ago
updated 2
models about 2 months ago
published 2
models 2 months ago
updated a
dataset 7 months ago
published a
dataset 8 months ago