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

Benchify/BuddenBench

published a dataset 2 days ago

Benchify/BuddenBench

published an article 4 days ago

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

View all activity

Organizations

maxvonhippel 's models

None public yet