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

Benchify/realpbt

updated a dataset about 2 months ago

Benchify/BuddenBench

published a dataset about 2 months ago

Benchify/BuddenBench

View all activity

Organizations

Articles 1

Article

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

Papers 9

arxiv:2511.01124

arxiv:2403.05663

arxiv:2311.08859

arxiv:2311.08855

models 0

None public yet

datasets 0

None public yet