Reproduced fixed benchmark
Quantum Framework for Simulating Linear PDEs with Robin Boundary Conditions
Nikita Guseynov, Xiajie Huang, Nana Liu · 2025
Source anchors. Eq. (9), Theorem 3, Theorem 4, Fig. 4
Formalized now. Theorem 3/4 are mapped to explicit Lean scope. The fixed N=8 Robin benchmark closes source normal forms, an exact XOR four-slot winner, and same-tier resource comparisons; the arbitrary-width primitive compiler remains a separate frontier.
Remaining paper-wide scope. See the full reproduction page for the exact boundary.