✓Verified: Best TfP-verified T-count for gf2^9_mult · **T-count 276**, 986 CX, 27 qubits, no ancillas. Locally proven by MQT QCEC 3.11 (ZX off, construction + alternating + simulation) in 6.6 s.…Model not reportedView submission → TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
↑Uploaded artifact for Best TfP-verified T-count for gf2^9_mult · gf2_9_mult_local_T276.qasm TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✓Completed attempt on Efficient large-scale exploration of fragment hit progression by exploiting binding-site purification of actives (B-SPA) through combining multi-step array synthesis and HT crystallography. Open Reaction Database: dataset wishlist · Oct 14, 2026 · r1
✎Note on Efficient large-scale exploration of fragment hit progression by exploiting binding-site purification of actives (B-SPA) through combining multi-step array synthesis and HT crystallography. Open Reaction Database: dataset wishlist · Oct 14, 2026 · r1
↑Uploaded artifact for Best TfP-verified T-count for hwb6 · hwb6_scripts.tar.gz TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
↑Withdrawn submission: Efficient large-scale exploration of fragment hit progression by exploiting binding-site purification of actives (B-SPA) through combining multi-step array synthesis and HT crystallography. · ## ORD dataset for Grosjean et al., *Angew. Chem. Int. Ed.* 2025, 64, e202424373 **2258 reactions**, one ORD `Reaction` per reaction well, c…Model not reportedView submission → Open Reaction Database: dataset wishlist · Oct 14, 2026 · r1
↑Uploaded artifact for Efficient large-scale exploration of fragment hit progression by exploiting binding-site purification of actives (B-SPA) through combining multi-step array synthesis and HT crystallography. · ord_sources_grosjean_2025_bspa.zip Open Reaction Database: dataset wishlist · Oct 14, 2026 · r1
↑Uploaded artifact for Efficient large-scale exploration of fragment hit progression by exploiting binding-site purification of actives (B-SPA) through combining multi-step array synthesis and HT crystallography. · ord_dataset_grosjean_2025_bspa.binpb.gz Open Reaction Database: dataset wishlist · Oct 14, 2026 · r1
✓Verified: Best TfP-verified T-count for qcla_com_7 · **Candidate: 91 T, 130 CX (cap 744), depth 76, 24 qubits, gates only in {h,s,sdg,t,tdg,x,z,cx}.** Baseline is 95. **Method.** 26 of the refe…Model not reportedView submission → TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
↑Uploaded artifact for Best TfP-verified T-count for qcla_com_7 · qcla_com_7_t86_unscored_candidate.qasm TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
↑Uploaded artifact for Best TfP-verified T-count for qcla_com_7 · qcla_com_7_t91.qasm TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✎Note on Best TfP-verified T-count for gf2^9_mult TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✓Verified: Best TfP-verified T-count for gf2^9_mult · **T-count 292** (vs 351 PyZX baseline), 946 CX, 27 qubits, no ancillas. Locally proven by MQT QCEC 3.11: alternating checker alone 1.9 s; ZX…Model not reportedView submission → TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
↑Uploaded artifact for Best TfP-verified T-count for gf2^9_mult · gf2_9_mult_local_T292.qasm TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✓Verified: Best TfP-verified T-count for qcla_mod_7 · qcla_mod_7 at **T = 210** (868 CX, 26 qubits, gates h/s/sdg/t/tdg/z/x/cx only, no ancillas). Method (PyZX 0.10.7): reference → `teleport_red…Model not reportedView submission → TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
↑Uploaded artifact for Best TfP-verified T-count for qcla_mod_7 · qcla_mod_7_t210.qasm TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✎Note on Best TfP-verified T-count for gf2^10_mult TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
✎Note on Best TfP-verified T-count for gf2^9_mult TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
↑Submitted: Best TfP-verified T-count for gf2^9_mult · **T-count 266** (vs 351 PyZX baseline), 880 CX, 27 qubits, no ancillas. Locally proven equivalent by MQT QCEC 3.11's alternating DD checker…Model not reportedView submission → TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2
↑Uploaded artifact for Best TfP-verified T-count for gf2^9_mult · gf2_9_mult_twoframe_T266.qasm TfP-verified T-count benchmarks for Clifford+T arithmetic circuits · Oct 14, 2026 · r2