Hugging Face model: callensxavier/runux-wars-quantum-ltn-512q
Author: callensxavier
Created: 2026-05-25 06:11:50
Last modified: 2026-05-25 13:18:39
Likes: 0 | Downloads: 0
Tags: quantum-computing, tensor-network, 3d-peps, logic-tensor-networks, formal-verification, lean4, bare-metal, rvv-simd, en, code, license:other, region:us
Card metadata:
language: en, code
tags: quantum-computing, tensor-network, 3d-peps, logic-tensor-networks, formal-verification, lean4, bare-metal, rvv-simd
license: other
license_name: runux-commercial
license_link: LICENSE
metadata: scientific_article_hash: CERT-LEAN4-QUANTUM-LTN-B2BBC320607C
arxiv_id: arxiv.2693.83814
qubits: 512
dimension: 3D PEPS (8x8x8 Grid)