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

Benchify/realpbt

updated a dataset 2 months ago

Benchify/BuddenBench

published a dataset 2 months ago

Benchify/BuddenBench

View all activity

Organizations

published an article 2 months ago

Article

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

Jan 28