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.
This repository belongs to englund on Hugging Face.
CoolFace never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.