Nagy Gabor

nagygabor's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a dataset 1 day ago

nagygabor/Z3-Verified-Reasoning-Graphs

Viewer • Updated 1 day ago • 5k • 38

published a dataset 3 days ago

nagygabor/Z3-Verified-Reasoning-Graphs

Viewer • Updated 1 day ago • 5k • 38