Nagy Gabor
nagygabor
AI & ML interests
None yet
Recent Activity
updated a dataset about 1 month ago
nagygabor/Z3-Verified-Reasoning-Graphs published a dataset about 2 months ago
nagygabor/Z3-Verified-Reasoning-GraphsOrganizations
None yet