Benchify

AI & ML interests

None defined yet.

Recent Activity

maxvonhippel  updated a dataset 1 day ago

Benchify/BuddenBench

maxvonhippel  published a dataset 1 day ago

Benchify/BuddenBench

maxvonhippel  authored a paper 3 days ago

Verification and Attack Synthesis for Network Protocols

View all activity

Team members 2