englund/quantum-lean-hard-vvuq-dataset
Quantum Lean Hard VVUQ Dataset Overview This dataset contains challenging Lean 4 verification and repair problems designed to test advanced reasoning capabilities and demonstrate the effectiveness of Physics World Models (PWMs) in formal verification. Problem Categories Type Theory: 3 problems (coercion, dependent types, universes) Tactic Sequences: 3 problems (wrong tactics, incorrect ordering) Proof Strategies: 3 problems (wrong high-level… See the full description on the dataset page: https://huggingface.co/datasets/englund/quantum-lean-hard-vvuq-dataset.
Conversations for this repository live on Hugging Face.
CoolFace shows imported repositories read-only. Posting into someone else’s repository from here would need an authorised integration and the account holder’s consent, so the link goes to the source instead.
Open discussions on Hugging Face