{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T15:15:52Z","timestamp":1780413352642,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","award":["923923"],"award-info":[{"award-number":["923923"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3786150.3788615","type":"proceedings-article","created":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T14:22:46Z","timestamp":1780410166000},"page":"17-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Learning State Separation for Quantum Circuit Synthesis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-1359-545X","authenticated-orcid":false,"given":"Christoph","family":"Stein","sequence":"first","affiliation":[{"name":"Johannes Kepler University, Linz, Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4212-7029","authenticated-orcid":false,"given":"Stefan","family":"Klikovits","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1124-7098","authenticated-orcid":false,"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,2]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"crossref","unstructured":"Scott Aaronson and Daniel Gottesman. 2004. Improved Simulation of Stabilizer Circuits. CoRR quant-ph\/0406196 (2004). http:\/\/arxiv.org\/abs\/quant-ph\/0406196","DOI":"10.1103\/PhysRevA.70.052328"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE60285.2024.00187"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"crossref","unstructured":"Israel\u00a0F Araujo Daniel\u00a0K Park Francesco Petruccione and Adenilton\u00a0J da Silva. 2021. A divide-and-conquer algorithm for quantum state preparation. Scientific reports 11 1 (2021) 6329.","DOI":"10.1038\/s41598-021-85474-1"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"crossref","unstructured":"Richard\u00a0P Feynman. 1982. Simulating physics with computers. International journal of theoretical physics 21 6\/7 (1982) 467\u2013488.","DOI":"10.1007\/BF02650179"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","unstructured":"Felix Gemeinhardt Stefan Klikovits and Manuel Wimmer. 2025. GeQuPI: Quantum Program Improvement with Multi-Objective Genetic Programming. Journal of Systems and Software 219 (2025) 112223. 10.1016\/J.JSS.2024.112223","DOI":"10.1016\/J.JSS.2024.112223"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/3583133.3590696"},{"key":"e_1_3_3_2_8_2","unstructured":"Sara Giordano Kornikar Sen and Miguel\u00a0A Martin-Delgado. 2025. Hybrid Reward-Driven Reinforcement Learning for Efficient Quantum Circuit Synthesis. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2507.16641 (2025)."},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-40825-0"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","unstructured":"Ryszard Horodecki Pawe\u0142 Horodecki Micha\u0142 Horodecki and Karol Horodecki. 2009. Quantum entanglement. Reviews of Modern Physics 81 2 (June 2009) 865\u2013942. 10.1103\/revmodphys.81.865","DOI":"10.1103\/revmodphys.81.865"},{"key":"e_1_3_3_2_11_2","unstructured":"Alexei\u00a0Y. Kitaev. 1996. Quantum measurements and the Abelian Stabilizer Problem. Electron. Colloquium Comput. Complex. TR96-003 (1996). ECCC:TR96-003https:\/\/eccc.weizmann.ac.il\/eccc-reports\/1996\/TR96-003\/index.html"},{"key":"e_1_3_3_2_12_2","unstructured":"David Kremer Victor Villar Hanhee Paik Ivan Duran Ismael Faro and Juan Cruz-Benito. 2024. Practical and efficient quantum circuit synthesis and transpiling with reinforcement learning. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2405.13196 (2024)."},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2003.1299571"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24855-2_65"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"crossref","unstructured":"Seth Lloyd. 1999. Quantum search without entanglement. Physical Review A 61 1 (1999) 010301.","DOI":"10.1103\/PhysRevA.61.010301"},{"key":"e_1_3_3_2_16_2","first-page":"217","volume-title":"Procs. 2nd Int. Symp. AI and Adaptive Systems, CIMAF","author":"Machado Penousal","year":"1999","unstructured":"Penousal Machado and Amilcar Cardoso. 1999. Speeding up genetic programming. In Procs. 2nd Int. Symp. AI and Adaptive Systems, CIMAF , Vol.\u00a099. 217\u2013222."},{"key":"e_1_3_3_2_17_2","volume-title":"Quantum Computation and Quantum Information (10th Anniversary edition)","author":"Nielsen Michael\u00a0A.","year":"2016","unstructured":"Michael\u00a0A. Nielsen and Isaac\u00a0L. Chuang. 2016. Quantum Computation and Quantum Information (10th Anniversary edition). Cambridge University Press. https:\/\/www.cambridge.org\/de\/academic\/subjects\/physics\/quantum-physics-quantum-information-and-quantum-computation\/quantum-computation-and-quantum-information-10th-anniversary-edition?format=HB"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","unstructured":"Anouk Paradis Jasper Dekoninck Benjamin Bichsel and Martin\u00a0T. Vechev. 2024. Synthetiq: Fast and Versatile Quantum Circuit Synthesis. Proc. ACM Program. Lang. 8 OOPSLA1 (2024) 55\u201382. 10.1145\/3649813","DOI":"10.1145\/3649813"},{"key":"e_1_3_3_2_19_2","unstructured":"Antonin Raffin Ashley Hill Adam Gleave Anssi Kanervisto Maximilian Ernestus and Noah Dormann. 2021. Stable-Baselines3: Reliable Reinforcement Learning Implementations. Journal of Machine Learning Research 22 268 (2021) 1\u20138. http:\/\/jmlr.org\/papers\/v22\/20-1364.html"},{"key":"e_1_3_3_2_20_2","unstructured":"John Schulman Filip Wolski Prafulla Dhariwal Alec Radford and Oleg Klimov. 2017. Proximal Policy Optimization Algorithms. CoRR abs\/1707.06347 (2017). arXiv:https:\/\/arXiv.org\/abs\/1707.06347http:\/\/arxiv.org\/abs\/1707.06347"},{"key":"e_1_3_3_2_21_2","unstructured":"Adithya Sireesh Abdulla Alhajri MS Kim and Tobias Haug. 2025. Disentangling quantum autoencoder. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2502.18580 (2025)."},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.1999.785553"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","unstructured":"Christoph Stein and Michael F\u00e4rber. 2025. Incorporating Quantum Advantage in Quantum Circuit Generation through Genetic Programming. CoRR abs\/2501.09682 (2025). arXiv:https:\/\/arXiv.org\/abs\/2501.0968210.48550\/ARXIV.2501.09682","DOI":"10.48550\/ARXIV.2501.09682"},{"key":"e_1_3_3_2_24_2","unstructured":"Pavel Tashev Stefan Petrov Friederike Metz and Marin Bukov. 2024. Reinforcement learning to disentangle multiqubit quantum states from partial observations. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2406.07884 (2024)."},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.00093"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49208-9_8"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-41753-6"}],"event":{"name":"Q-SE '26: IEEE\/ACM International Workshop on Quantum Software Engineering","location":"Rio de Janeiro , Brazil","acronym":"Q-SE '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 7th IEEE\/ACM International Workshop on Quantum Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3786150.3788615","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T14:49:42Z","timestamp":1780411782000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3786150.3788615"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":27,"alternative-id":["10.1145\/3786150.3788615","10.1145\/3786150"],"URL":"https:\/\/doi.org\/10.1145\/3786150.3788615","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-06-02","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}