cjc0013/laplacian-matching-theorem-frontier-v18 download history

cjc0013/laplacian-matching-theorem-frontier-v18 is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 62 times (4 in the last 7 days), and 212 times in total. It ranks #159,286 among datasets by monthly downloads.

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-atla

Open cjc0013/laplacian-matching-theorem-frontier-v18 on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.