cjc0013/laplacian-matching-theorem-frontier-v18
Laplacian Matching Theorem Frontier v18 This immutable successor to v17 is independently reproduced end to end. It packages the complete computational dependency closure behind the one-Konig-Egervary theorem archive: exact input rows, symbolic checks, Z3, cvc5, Lean 4.32.0, graph-atlas replay, adversarial replay, Hall-polynomial replay, paper source, and SHA-backed expected outputs. Run the pinned workflow with the command in REPRODUCE.md. Reproduction verifies the archive's… See the full description on the dataset page: https://huggingface.co/datasets/cjc0013/laplacian-matching-theorem-frontier-v18.
Laplacian Matching Theorem Frontier v18
This immutable successor to v17 is independently reproduced end to end. It packages the complete computational dependency closure behind the one-Konig-Egervary theorem archive: exact input rows, symbolic checks, Z3, cvc5, Lean 4.32.0, graph-atlas replay, adversarial replay, Hall-polynomial replay, paper source, and SHA-backed expected outputs.
Run the pinned workflow with the command in REPRODUCE.md. Reproduction verifies the archive's computational evidence; it is not an independent proof of the mathematical theorem or priority.
Predecessor: cjc0013/laplacian-matching-theorem-frontier-v17@fbc35ddcfd42645f734e072a0600937de286d43d.