Sign inGet started
Dataset · Hugging Face

Snapkitty/cpsc-qft-paper

Conservation-Preserving Compilation for a 1+1D Lattice Shadow of φ⁴ 💬 Feedback wanted. Rebuilt the Lean proofs, reproduced the audit, or found an error in the paper? Open a discussion. Part of our flagship releases. Ahmad Ali Parr · SnapKitty Collective · 7 October 2026 · Archived on Zenodo: 10.5281/zenodo.23287576 📄 Read the paper (PDF, 12 pages) · 💻 Code: Snapkitty/cpsc-qft · 🔏 Lean proofs · GitHub Abstract We implement a compilation architecture for… See the full description on the dataset page: https://huggingface.co/datasets/Snapkitty/cpsc-qft-paper.

Author / organizationSnapkitty
License (as declared)gpl-3.0
Downloads152 (as reported by Hugging Face)
Likes0
Created10 October 2026
Last updated at source13 October 2026
research-papersnapkittyquantum-computingquantum-field-theorylatticetransverse-field-isingtrottercompilerformal-verificationlean4qsharpresearch
Embed this entry
<iframe src="https://silytics.si/embed/item/d328acbb-4ee0-401a-b497-46ff48548c53" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

More from Snapkitty

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