callensxavier
/

runux-wars-quantum-ltn-512q

quantum-computing

logic-tensor-networks

formal-verification

Model card Files Files and versions

runux-wars-quantum-ltn-512q

82.2 kB

Ctrl+K

Ctrl+K

1 contributor

History: 23 commits

callensxavier's picture

Upload FRENCH_STYLE_AI_INNOVATION.md with huggingface_hub

25bd579 verified 3 months ago

.gitattributes

1.52 kB
initial commit 3 months ago
COMPARATIVE_ANALYSIS.md

4.03 kB
Upload COMPARATIVE_ANALYSIS.md with huggingface_hub 3 months ago
CONTRIBUTION_PROPOSAL.md

1.29 kB
Upload CONTRIBUTION_PROPOSAL.md with huggingface_hub 3 months ago
FRENCH_STYLE_AI_INNOVATION.md

4.84 kB
Upload FRENCH_STYLE_AI_INNOVATION.md with huggingface_hub 3 months ago
PAPER_DRAFT.md

8.68 kB
Upload PAPER_DRAFT.md with huggingface_hub 3 months ago
README.md

2.89 kB
Upload README.md with huggingface_hub 3 months ago
autoresearch_rust_compiler.py

5.15 kB
Upload autoresearch_rust_compiler.py with huggingface_hub 3 months ago
bench_ea_spin_glass.py

5.96 kB
Upload bench_ea_spin_glass.py with huggingface_hub 3 months ago
ltn_constraints.py

2.2 kB
Upload ltn_constraints.py with huggingface_hub 3 months ago
neuro_symbolic_verifier.py

8.7 kB
Upload neuro_symbolic_verifier.py with huggingface_hub 3 months ago
polarquant.py

2.44 kB
Upload polarquant.py with huggingface_hub 3 months ago
quantum_ltn_paper.tex

12.9 kB
Upload quantum_ltn_paper.tex with huggingface_hub 3 months ago
scheduler.py

1.64 kB
Upload scheduler.py with huggingface_hub 3 months ago
simulator.py

8.59 kB
Upload simulator.py with huggingface_hub 3 months ago
tpu_llm_bench.py

5.57 kB
Upload tpu_llm_bench.py with huggingface_hub 3 months ago
upload.py

5.79 kB
Upload upload.py with huggingface_hub 3 months ago