3 papers
cs.SE2026
Fault-Class-Matched Test Oracles for Output-Invisible Quantum Transpiler Regressions
Furqan Nasir, Arif Shah, Iftikhar Alam
Test oracles for quantum transpilers typically judge correctness by comparing compiled output against a reference: a statevector, a sampled distribution, or a unitary compared modu…
quant-ph2026
What Output-Equivalence Oracles Miss: An Empirical Study of Equivalence-Invisible Bug Fixes in Quantum Transpilers
Furqan Nasir, Arif Shah, Iftikhar Alam
Quantum compilers face the test oracle problem, judged by an output-equivalence oracle: the compiled circuit must compute the same unitary as the original, modulo global phase and…
cs.ET2026
OntoKG-EQ: A provenance-grounded, competency-question-governed knowledge graph for auditable analyst querying
Furqan Nasir, Muhammad Atif Saeed, Muhammad Ehsan +2
Analysts in emerging equity markets keep answering the same questions. Did fundamentals match the market's response? How does the local currency co-move with returns? Which firms o…