Max von Hippel's picture

Max von Hippel PRO

maxvonhippel

·

https://mxvh.pl

AI & ML interests

Formal verification, mathematics, security.

Recent Activity

updated a dataset about 1 month ago

Benchify/BuddenBench

published a dataset about 1 month ago

Benchify/BuddenBench

published an article about 1 month ago

🪐 [Introducing RealPBT: A large-scale dataset of property-based tests](https://huggingface.co/datasets/Benchify/realpbt)

View all activity

Organizations

published an article about 1 month ago

Article

🪐 [Introducing RealPBT: A large-scale dataset of property-based tests](https://huggingface.co/datasets/Benchify/realpbt)

Jan 28