Sign inGet started
Dataset · Hugging Face

cjc0013/laplacian-matching-theorem-frontier-v16

Laplacian Matching Theorem Frontier v16: A Sharp One-KE Bound Produced by the Ouroboros AI Research System, under human direction. Continuation of v15 This is the immutable v16 continuation of cjc0013/laplacian-matching-theorem-frontier-v15, pinned at revision fc3d7290908806cf06f04a27edf34477402f50c2. The v15 repository is preserved unchanged. V15 isolated a difficult graph-local Hall-core envelope and left its larger-core extension open. V16 does not silently… See the full description on the dataset page: https://huggingface.co/datasets/cjc0013/laplacian-matching-theorem-frontier-v16.

Author / organizationcjc0013
Downloads217 (as reported by Hugging Face)
Likes2
Created30 July 2026
Last updated at source21 September 2026
graph-theoryspectral-graph-theorymathematicsmathematical-certificatestheorem-provingsymbolic-computationai-generated
Embed this entry
<iframe src="https://silytics.si/embed/item/a4549058-d65f-4c04-af99-8a9bf6079526" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 4 days

217 now (+3 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

More from cjc0013

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 19 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.