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 25 days ago

Benchify/BuddenBench

published a dataset 25 days ago

Benchify/BuddenBench

published an article 27 days ago

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

View all activity

Organizations

published an article 27 days ago

Article

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

27 days ago