stan4u/formally-verified-c-core-v1
Updated
Stanley Ngugi
stan4u
·
AI & ML interests
None yet
Recent Activity
published a dataset about 1 hour ago
stan4u/formally-verified-c-core-v1 updated a dataset about 6 hours ago
stan4u/formally-verified-c-core-v1 published a model 8 months ago
stan4u/chess-llama-aicrowdOrganizations
None yet
published a
dataset about 1 hour ago
updated a
dataset about 6 hours ago
published 2
models 8 months ago
updated a
model 8 months ago
updated a
dataset 8 months ago
published 2
datasets 8 months ago