Spaces:
Running
Running
Article: the source is tagged v0.14.3
Browse files
2026-10-19-spert3-seventy-tests.html
CHANGED
|
@@ -53,7 +53,7 @@
|
|
| 53 |
<li>The dataset, every row with its proof: <a href="https://huggingface.co/datasets/zero-trust-physics/zero-trust-physics-reactor-spert3-twin">zero-trust-physics/zero-trust-physics-reactor-spert3-twin</a></li>
|
| 54 |
<li>The task, with a program as the checker: <a href="https://huggingface.co/datasets/zero-trust-physics/zero-trust-physics-environments">Environments</a> (<code>figure-spert3-twin-hot-standby-peak-power</code>)</li>
|
| 55 |
<li>The record: IDO-17281, <a href="https://doi.org/10.2172/4792676">doi.org/10.2172/4792676</a></li>
|
| 56 |
-
<li>The engine's source, at the version served: <a href="https://github.com/johnkruze/zero-trust-physics-engine">github.com/johnkruze/zero-trust-physics-engine</a> (v0.14.3
|
| 57 |
<li>Check a proof with no engine: <a href="https://github.com/johnkruze/zero-trust-physics">github.com/johnkruze/zero-trust-physics</a></li>
|
| 58 |
<li>The paper: <a href="https://doi.org/10.5281/zenodo.23305697">doi.org/10.5281/zenodo.23305697</a></li>
|
| 59 |
<li>John Kruze, CEO, Protocol Company: <a href="mailto:kruze@zerotrustphysics.com">kruze@zerotrustphysics.com</a></li>
|
|
|
|
| 53 |
<li>The dataset, every row with its proof: <a href="https://huggingface.co/datasets/zero-trust-physics/zero-trust-physics-reactor-spert3-twin">zero-trust-physics/zero-trust-physics-reactor-spert3-twin</a></li>
|
| 54 |
<li>The task, with a program as the checker: <a href="https://huggingface.co/datasets/zero-trust-physics/zero-trust-physics-environments">Environments</a> (<code>figure-spert3-twin-hot-standby-peak-power</code>)</li>
|
| 55 |
<li>The record: IDO-17281, <a href="https://doi.org/10.2172/4792676">doi.org/10.2172/4792676</a></li>
|
| 56 |
+
<li>The engine's source, at the version served: <a href="https://github.com/johnkruze/zero-trust-physics-engine">github.com/johnkruze/zero-trust-physics-engine</a> (v0.14.3)</li>
|
| 57 |
<li>Check a proof with no engine: <a href="https://github.com/johnkruze/zero-trust-physics">github.com/johnkruze/zero-trust-physics</a></li>
|
| 58 |
<li>The paper: <a href="https://doi.org/10.5281/zenodo.23305697">doi.org/10.5281/zenodo.23305697</a></li>
|
| 59 |
<li>John Kruze, CEO, Protocol Company: <a href="mailto:kruze@zerotrustphysics.com">kruze@zerotrustphysics.com</a></li>
|