ido Pinto's picture

4 15

ido Pinto

idopinto

·

idopinto

AI & ML interests

None yet

Recent Activity

updated a dataset about 2 months ago

idopinto/brittle-dafnybench-per-def

published a dataset about 2 months ago

idopinto/brittle-dafnybench-per-def

updated a dataset 2 months ago

idopinto/brittle-dafnybench

View all activity

Organizations

None yet

idopinto 's datasets 5

idopinto/brittle-dafnybench-per-def

Viewer • Updated Sep 30 • 13

idopinto/brittle-dafnybench

Viewer • Updated Sep 14 • 226 • 13

idopinto/filtered-dafnybench

Viewer • Updated Aug 18 • 497 • 19

idopinto/dafnybench-only-unverified

Viewer • Updated Aug 17 • 559 • 18

idopinto/clover-bench-gen

Viewer • Updated Jul 28 • 60 • 10