% references_part07a.bib — Part VII-a (theory half), Agent G, 2026-11-03. Every entry resolved by a single live lookup
% (Crossref / DataCite / arXiv); see references_verification_part07a.csv. Generated by literature_synthesis/agent_G/make_bib_part07a.py.

@inproceedings{czerwinski2019petri,
  author = {Czerwiński, Wojciech and Lasota, Sławomir and Lazić, Ranko and Leroux, Jérôme and Mazowiecki, Filip},
  title = {{The reachability problem for Petri nets is not elementary}},
  year = {2019},
  doi = {10.1145/3313276.3316369},
  booktitle = {Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing},
  pages = {24-33},
  publisher = {ACM}
}

@inproceedings{czerwinski2021ackermann,
  author = {Czerwinski, Wojciech and Orlikowski, Lukasz},
  title = {{Reachability in Vector Addition Systems is Ackermann-complete}},
  year = {2022},
  doi = {10.1109/FOCS52979.2021.00120},
  booktitle = {2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS)},
  pages = {1229-1240},
  publisher = {IEEE}
}

@inproceedings{leroux2021notprimitive,
  author = {Leroux, Jerome},
  title = {{The Reachability Problem for Petri Nets is Not Primitive Recursive}},
  year = {2022},
  doi = {10.1109/FOCS52979.2021.00121},
  booktitle = {2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS)},
  pages = {1241-1252},
  publisher = {IEEE}
}

@article{wang2024llmtesting,
  author = {Wang, Junjie and Huang, Yuchao and Chen, Chunyang and Liu, Zhe and Wang, Song and Wang, Qing},
  title = {{Software Testing With Large Language Models: Survey, Landscape, and Vision}},
  year = {2024},
  doi = {10.1109/tse.2024.3368208},
  journal = {IEEE Transactions on Software Engineering},
  volume = {50},
  number = {4},
  pages = {911-936}
}

@article{zhang2022mltesting,
  author = {Zhang, Jie M. and Harman, Mark and Ma, Lei and Liu, Yang},
  title = {{Machine Learning Testing: Survey, Landscapes and Horizons}},
  year = {2022},
  doi = {10.1109/tse.2019.2962027},
  journal = {IEEE Transactions on Software Engineering},
  volume = {48},
  number = {1},
  pages = {1-36}
}

@article{cui2026genaiwork,
  author = {Cui, Kevin Zheyuan and Demirer, Mert and Jaffe, Sonia and Musolff, Leon and Peng, Sida and Salz, Tobias},
  title = {{The Effects of Generative AI on High-Skilled Work: Evidence from Three Field Experiments with Software Developers}},
  year = {2026},
  doi = {10.1287/mnsc.2025.00535},
  journal = {Management Science}
}

@article{li2024llift,
  author = {Li, Haonan and Hao, Yu and Zhai, Yizhuo and Qian, Zhiyun},
  title = {{Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach}},
  year = {2024},
  doi = {10.1145/3649828},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {8},
  number = {OOPSLA1},
  pages = {474-499}
}

@article{yang2024whitefox,
  author = {Yang, Chenyuan and Deng, Yinlin and Lu, Runyu and Yao, Jiayi and Liu, Jiawei and Jabbarvand, Reyhaneh and Zhang, Lingming},
  title = {{WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models}},
  year = {2024},
  doi = {10.1145/3689736},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {8},
  number = {OOPSLA2},
  pages = {709-735}
}

@inproceedings{baghdadi2019tiramisu,
  author = {Baghdadi, Riyadh and Ray, Jessica and Romdhane, Malek Ben and Sozzo, Emanuele Del and Akkas, Abdurrahman and Zhang, Yunming and Suriana, Patricia and Kamil, Shoaib and Amarasinghe, Saman},
  title = {{Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code}},
  year = {2019},
  doi = {10.1109/cgo.2019.8661197},
  booktitle = {2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)},
  pages = {193-205},
  publisher = {IEEE}
}

@article{wang2018mlcompiler,
  author = {Wang, Zheng and O'Boyle, Michael},
  title = {{Machine Learning in Compiler Optimization}},
  year = {2018},
  doi = {10.1109/jproc.2018.2817118},
  journal = {Proceedings of the IEEE},
  volume = {106},
  number = {11},
  pages = {1879-1901}
}

@article{ashouri2018autotuning,
  author = {Ashouri, Amir H. and Killian, William and Cavazos, John and Palermo, Gianluca and Silvano, Cristina},
  title = {{A Survey on Compiler Autotuning using Machine Learning}},
  year = {2018},
  doi = {10.1145/3197978},
  journal = {ACM Computing Surveys},
  volume = {51},
  number = {5},
  pages = {1-42}
}

@inproceedings{cummins2025llmcompiler,
  author = {Cummins, Chris and Seeker, Volker and Grubisic, Dejan and Roziere, Baptiste and Gehring, Jonas and Synnaeve, Gabriel and Leather, Hugh},
  title = {{LLM Compiler: Foundation Language Models for Compiler Optimization}},
  year = {2025},
  doi = {10.1145/3708493.3712691},
  booktitle = {Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction},
  pages = {141-153},
  publisher = {ACM}
}

@article{munley2024llm4vv,
  author = {Munley, Christian and Jarmusch, Aaron and Chandrasekaran, Sunita},
  title = {{LLM4VV: Developing LLM-driven testsuite for compiler validation}},
  year = {2024},
  doi = {10.1016/j.future.2024.05.034},
  journal = {Future Generation Computer Systems},
  volume = {160},
  pages = {1-13}
}

@incollection{barbosa2022cvc5,
  author = {Barbosa, Haniel and Barrett, Clark and Brain, Martin and Kremer, Gereon and Lachnitt, Hanna and Mann, Makai and Mohamed, Abdalrhman and Mohamed, Mudathir and Niemetz, Aina and Nötzli, Andres and Ozdemir, Alex and Preiner, Mathias and Reynolds, Andrew and Sheng, Ying and Tinelli, Cesare and Zohar, Yoni},
  title = {{cvc5: A Versatile and Industrial-Strength SMT Solver}},
  year = {2022},
  doi = {10.1007/978-3-030-99524-9\_24},
  booktitle = {Lecture Notes in Computer Science},
  pages = {415-442},
  publisher = {Springer International Publishing}
}

@incollection{beyer2024svcomp,
  author = {Beyer, Dirk},
  title = {{State of the Art in Software Verification and Witness Validation: SV-COMP 2024}},
  year = {2024},
  doi = {10.1007/978-3-031-57256-2\_15},
  booktitle = {Lecture Notes in Computer Science},
  pages = {299-329},
  publisher = {Springer Nature Switzerland}
}

@incollection{katz2019marabou,
  author = {Katz, Guy and Huang, Derek A. and Ibeling, Duligur and Julian, Kyle and Lazarus, Christopher and Lim, Rachel and Shah, Parth and Thakoor, Shantanu and Wu, Haoze and Zeljić, Aleksandar and Dill, David L. and Kochenderfer, Mykel J. and Barrett, Clark},
  title = {{The Marabou Framework for Verification and Analysis of Deep Neural Networks}},
  year = {2019},
  doi = {10.1007/978-3-030-25540-4\_26},
  booktitle = {Lecture Notes in Computer Science},
  pages = {443-452},
  publisher = {Springer International Publishing}
}

@article{singh2019deeppoly,
  author = {Singh, Gagandeep and Gehr, Timon and Püschel, Markus and Vechev, Martin},
  title = {{An abstract domain for certifying neural networks}},
  year = {2019},
  doi = {10.1145/3290354},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {3},
  number = {POPL},
  pages = {1-30}
}

@inproceedings{permenev2020verx,
  author = {Permenev, Anton and Dimitrov, Dimitar and Tsankov, Petar and Drachsler-Cohen, Dana and Vechev, Martin},
  title = {{VerX: Safety Verification of Smart Contracts}},
  year = {2020},
  doi = {10.1109/sp40000.2020.00024},
  booktitle = {2020 IEEE Symposium on Security and Privacy (SP)},
  pages = {1661-1677},
  publisher = {IEEE}
}

@article{willsey2021egg,
  author = {Willsey, Max and Nandi, Chandrakana and Wang, Yisu Remy and Flatt, Oliver and Tatlock, Zachary and Panchekha, Pavel},
  title = {{egg: Fast and extensible equality saturation}},
  year = {2021},
  doi = {10.1145/3434304},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {5},
  number = {POPL},
  pages = {1-29}
}

@inproceedings{kalra2018zeus,
  author = {Kalra, Sukrit and Goel, Seep and Dhawan, Mohan and Sharma, Subodh},
  title = {{ZEUS: Analyzing Safety of Smart Contracts}},
  year = {2018},
  doi = {10.14722/ndss.2018.23082},
  booktitle = {Proceedings 2018 Network and Distributed System Security Symposium},
  publisher = {Internet Society}
}

@incollection{papadakis2019mutation,
  title = {{Mutation Testing Advances: An Analysis and Survey}},
  year = {2019},
  doi = {10.1016/bs.adcom.2018.03.015},
  booktitle = {Advances in Computers},
  pages = {275-378},
  publisher = {Elsevier}
}

@article{abualigah2021aoa,
  author = {Abualigah, Laith and Diabat, Ali and Mirjalili, Seyedali and Abd Elaziz, Mohamed and Gandomi, Amir H.},
  title = {{The Arithmetic Optimization Algorithm}},
  year = {2021},
  doi = {10.1016/j.cma.2020.113609},
  journal = {Computer Methods in Applied Mechanics and Engineering},
  volume = {376},
  pages = {113609}
}

@article{abualigah2021aquila,
  author = {Abualigah, Laith and Yousri, Dalia and Abd Elaziz, Mohamed and Ewees, Ahmed A. and Al-qaness, Mohammed A.A. and Gandomi, Amir H.},
  title = {{Aquila Optimizer: A novel meta-heuristic optimization algorithm}},
  year = {2021},
  doi = {10.1016/j.cie.2021.107250},
  journal = {Computers \& Industrial Engineering},
  volume = {157},
  pages = {107250}
}

@book{biere2021handbook,
  author = {Biere, Armin and Heule, Marijn and van Maaren, Hans and Walsh, Toby},
  title = {{Handbook of Satisfiability}},
  year = {2021},
  doi = {10.3233/faia336},
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and Applications}
}

@book{li2019kolmogorov,
  author = {Li, Ming and Vitányi, Paul},
  title = {{An Introduction to Kolmogorov Complexity and Its Applications}},
  year = {2019},
  doi = {10.1007/978-3-030-11298-1},
  publisher = {Springer International Publishing},
  series = {Texts in Computer Science}
}

@article{sorensen2013metaphor,
  author = {Sörensen, Kenneth},
  title = {{Metaheuristics---the metaphor exposed}},
  year = {2013},
  doi = {10.1111/itor.12001},
  journal = {International Transactions in Operational Research},
  volume = {22},
  number = {1},
  pages = {3-18}
}

@article{aranha2021metaphor,
  author = {Aranha, Claus and Camacho Villalón, Christian L. and Campelo, Felipe and Dorigo, Marco and Ruiz, Rubén and Sevaux, Marc and Sörensen, Kenneth and Stützle, Thomas},
  title = {{Metaphor-based metaheuristics, a call for action: the elephant in the room}},
  year = {2021},
  doi = {10.1007/s11721-021-00202-9},
  journal = {Swarm Intelligence},
  volume = {16},
  number = {1},
  pages = {1-6}
}

@article{camachovillalon2022exposing,
  author = {Camacho-Villalón, Christian L. and Dorigo, Marco and Stützle, Thomas},
  title = {{Exposing the grey wolf, moth-flame, whale, firefly, bat, and antlion algorithms: six misleading optimization techniques inspired by<i>bestial</i>metaphors}},
  year = {2022},
  doi = {10.1111/itor.13176},
  journal = {International Transactions in Operational Research},
  volume = {30},
  number = {6},
  pages = {2945-2971}
}

@article{mitzenmacher2022predictions,
  author = {Mitzenmacher, Michael and Vassilvitskii, Sergei},
  title = {{Algorithms with predictions}},
  year = {2022},
  doi = {10.1145/3528087},
  journal = {Communications of the ACM},
  volume = {65},
  number = {7},
  pages = {33-35}
}

@article{mankowitz2023alphadev,
  author = {Mankowitz, Daniel J. and Michi, Andrea and Zhernov, Anton and Gelmi, Marco and Selvi, Marco and Paduraru, Cosmin and Leurent, Edouard and Iqbal, Shariq and Lespiau, Jean-Baptiste and Ahern, Alex and Köppe, Thomas and Millikin, Kevin and Gaffney, Stephen and Elster, Sophie and Broshear, Jackson and Gamble, Chris and Milan, Kieran and Tung, Robert and Hwang, Minjae and Cemgil, Taylan and Barekatain, Mohammadamin and Li, Yujia and Mandhane, Amol and Hubert, Thomas and Schrittwieser, Julian and Hassabis, Demis and Kohli, Pushmeet and Riedmiller, Martin and Vinyals, Oriol and Silver, David},
  title = {{Faster sorting algorithms discovered using deep reinforcement learning}},
  year = {2023},
  doi = {10.1038/s41586-023-06004-9},
  journal = {Nature},
  volume = {618},
  number = {7964},
  pages = {257-263}
}

@inproceedings{lopes2021alive2,
  author = {Lopes, Nuno P. and Lee, Juneyoung and Hur, Chung-Kil and Liu, Zhengyang and Regehr, John},
  title = {{Alive2: bounded translation validation for LLVM}},
  year = {2021},
  doi = {10.1145/3453483.3454030},
  booktitle = {Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation},
  pages = {65-79},
  publisher = {ACM}
}

@inproceedings{yang2011csmith,
  author = {Yang, Xuejun and Chen, Yang and Eide, Eric and Regehr, John},
  title = {{Finding and understanding bugs in C compilers}},
  year = {2011},
  doi = {10.1145/1993498.1993532},
  booktitle = {Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation},
  pages = {283-294},
  publisher = {ACM}
}

@inproceedings{xia2024fuzz4all,
  author = {Xia, Chunqiu Steven and Paltenghi, Matteo and Le Tian, Jia and Pradel, Michael and Zhang, Lingming},
  title = {{Fuzz4All: Universal Fuzzing with Large Language Models}},
  year = {2024},
  doi = {10.1145/3597503.3639121},
  booktitle = {Proceedings of the IEEE/ACM 46th International Conference on Software Engineering},
  pages = {1-13},
  publisher = {ACM}
}

@inproceedings{xia2023apr,
  author = {Xia, Chunqiu Steven and Wei, Yuxiang and Zhang, Lingming},
  title = {{Automated Program Repair in the Era of Large Pre-trained Language Models}},
  year = {2023},
  doi = {10.1109/ICSE48619.2023.00129},
  booktitle = {2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)},
  pages = {1482-1494},
  publisher = {IEEE}
}

@inproceedings{kang2023fewshottesters,
  author = {Kang, Sungmin and Yoon, Juyeon and Yoo, Shin},
  title = {{Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction}},
  year = {2023},
  doi = {10.1109/icse48619.2023.00194},
  booktitle = {2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)},
  pages = {2312-2323},
  publisher = {IEEE}
}

@inproceedings{lattuada2024verus,
  author = {Lattuada, Andrea and Hance, Travis and Bosamiya, Jay and Brun, Matthias and Cho, Chanhee and LeBlanc, Hayley and Srinivasan, Pranav and Achermann, Reto and Chajed, Tej and Hawblitzel, Chris and Howell, Jon and Lorch, Jacob R. and Padon, Oded and Parno, Bryan},
  title = {{Verus: A Practical Foundation for Systems Verification}},
  year = {2024},
  doi = {10.1145/3694715.3695952},
  booktitle = {Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles},
  pages = {438-454},
  publisher = {ACM}
}

@article{brix2023vnncomp,
  author = {Brix, Christopher and Müller, Mark Niklas and Bak, Stanley and Johnson, Taylor T. and Liu, Changliu},
  title = {{First three years of the international verification of neural networks competition (VNN-COMP)}},
  year = {2023},
  doi = {10.1007/s10009-023-00703-4},
  journal = {International Journal on Software Tools for Technology Transfer},
  volume = {25},
  number = {3},
  pages = {329-339}
}

@incollection{katz2017reluplex,
  author = {Katz, Guy and Barrett, Clark and Dill, David L. and Julian, Kyle and Kochenderfer, Mykel J.},
  title = {{Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks}},
  year = {2017},
  doi = {10.1007/978-3-319-63387-9\_5},
  booktitle = {Lecture Notes in Computer Science},
  pages = {97-117},
  publisher = {Springer International Publishing}
}

@book{cygan2015parameterized,
  author = {Cygan, Marek and Fomin, Fedor V. and Kowalik, Łukasz and Lokshtanov, Daniel and Marx, Dániel and Pilipczuk, Marcin and Pilipczuk, Michał and Saurabh, Saket},
  title = {{Parameterized Algorithms}},
  year = {2015},
  doi = {10.1007/978-3-319-21275-3},
  publisher = {Springer International Publishing}
}

@inproceedings{vassilevskawilliams2019finegrained,
  author = {WILLIAMS, VIRGINIA VASSILEVSKA},
  title = {{On some fine-grained questions in algorithms and complexity}},
  year = {2019},
  doi = {10.1142/9789813272880\_0188},
  booktitle = {Proceedings of the International Congress of Mathematicians (ICM 2018)},
  pages = {3447-3487},
  publisher = {WORLD SCIENTIFIC}
}

@article{lykouris2021caching,
  author = {Lykouris, Thodoris and Vassilvitskii, Sergei},
  title = {{Competitive Caching with Machine Learned Advice}},
  year = {2021},
  doi = {10.1145/3447579},
  journal = {Journal of the ACM},
  volume = {68},
  number = {4},
  pages = {1-25}
}

@article{chen2018metamorphicsurvey,
  author = {Chen, Tsong Yueh and Kuo, Fei-Ching and Liu, Huai and Poon, Pak-Lok and Towey, Dave and Tse, T. H. and Zhou, Zhi Quan},
  title = {{Metamorphic Testing}},
  year = {2018},
  doi = {10.1145/3143561},
  journal = {ACM Computing Surveys},
  volume = {51},
  number = {1},
  pages = {1-27}
}

@inproceedings{perry2023insecure,
  author = {Perry, Neil and Srivastava, Megha and Kumar, Deepak and Boneh, Dan},
  title = {{Do Users Write More Insecure Code with AI Assistants?}},
  year = {2023},
  doi = {10.1145/3576915.3623157},
  booktitle = {Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security},
  pages = {2785-2799},
  publisher = {ACM}
}

@inproceedings{ragankelley2013halide,
  author = {Ragan-Kelley, Jonathan and Barnes, Connelly and Adams, Andrew and Paris, Sylvain and Durand, Frédo and Amarasinghe, Saman},
  title = {{Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines}},
  year = {2013},
  doi = {10.1145/2491956.2462176},
  booktitle = {Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  pages = {519-530},
  publisher = {ACM}
}

@article{merrill2023parallelism,
  author = {Merrill, William and Sabharwal, Ashish},
  title = {{The Parallelism Tradeoff: Limitations of Log-Precision Transformers}},
  year = {2023},
  doi = {10.1162/tacl\_a\_00562},
  journal = {Transactions of the Association for Computational Linguistics},
  volume = {11},
  pages = {531-545}
}

@article{strobl2024survey,
  author = {Strobl, Lena and Merrill, William and Weiss, Gail and Chiang, David and Angluin, Dana},
  title = {{What Formal Languages Can Transformers Express? A Survey}},
  year = {2024},
  doi = {10.1162/tacl\_a\_00663},
  journal = {Transactions of the Association for Computational Linguistics},
  volume = {12},
  pages = {543-561}
}

@article{willsey2026eggcacm,
  author = {Willsey, Max and Nandi, Chandrakana and Wang, Yisu Remy and Flatt, Oliver and Tatlock, Zachary and Panchekha, Pavel},
  title = {{egg: Fast and Extensible Equality Saturation}},
  year = {2026},
  doi = {10.1145/3815481},
  journal = {Communications of the ACM},
  volume = {69},
  number = {8},
  pages = {105-113}
}

@article{lynch2026ioautomata,
  author = {Lynch, Nancy A. and Tuttle, Mark R.},
  title = {{An Introduction to Input/Output Automata}},
  year = {2026},
  doi = {10.1145/3788687},
  journal = {Formal Aspects of Computing},
  volume = {38},
  number = {3},
  pages = {1-22}
}

@inproceedings{bernstein2022negative,
  author = {Bernstein, Aaron and Nanongkai, Danupon and Wulff-Nilsen, Christian},
  title = {{Negative-Weight Single-Source Shortest Paths in Near-linear Time}},
  year = {2022},
  doi = {10.1109/focs54457.2022.00063},
  booktitle = {2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS)},
  pages = {600-611},
  publisher = {IEEE}
}

@inproceedings{duan2025sorting,
  author = {Duan, Ran and Mao, Jiayi and Mao, Xiao and Shu, Xinkai and Yin, Longhui},
  title = {{Breaking the Sorting Barrier for Directed Single-Source Shortest Paths}},
  year = {2025},
  doi = {10.1145/3717823.3718179},
  booktitle = {Proceedings of the 57th Annual ACM Symposium on Theory of Computing},
  pages = {36-44},
  publisher = {ACM}
}

@inproceedings{williams2025sqrtspace,
  author = {Williams, R. Ryan},
  title = {{Simulating Time with Square-Root Space}},
  year = {2025},
  doi = {10.1145/3717823.3718225},
  booktitle = {Proceedings of the 57th Annual ACM Symposium on Theory of Computing},
  pages = {13-23},
  publisher = {ACM}
}

@inproceedings{farachcolton2024openaddressing,
  author = {Farach-Colton, Martín and Krapivin, Andrew and Kuszmaul, William},
  title = {{Optimal Bounds for Open Addressing Without Reordering}},
  year = {2024},
  doi = {10.1109/focs61266.2024.00045},
  booktitle = {2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS)},
  pages = {594-605},
  publisher = {IEEE}
}

@inproceedings{jakubuv2023mizar,
  author = {Jakubův, Jan and Chvalovský, Karel and Goertzel, Zarathustra and Kaliszyk, Cezary and Olšák, Mirek and Piotrowski, Bartosz and Schulz, Stephan and Suda, Martin and Urban, Josef},
  title = {{MizAR 60 for Mizar 50}},
  booktitle = {LIPIcs, Volume 268, ITP 2023},
  year = {2023},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  doi = {10.4230/lipics.itp.2023.19}
}

@inproceedings{chen2025apiss,
  author = {Chen, Tianyu and Wang, Zeyu and Li, Lin and Li, Ding and Li, Zongyang and Chang, Xiaoning and Bian, Pan and Liang, Guangtai and Wang, Qianxiang and Xie, Tao},
  title = {{Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories}},
  booktitle = {LIPIcs, Volume 333, ECOOP 2025},
  year = {2025},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  doi = {10.4230/lipics.ecoop.2025.6}
}

@inproceedings{pham2025kdtree,
  author = {Pham, Tuyen and Wagner, Hubert},
  title = {{Fast Kd-Trees for the Kullback-Leibler Divergence and Other Decomposable Bregman Divergences}},
  booktitle = {LIPIcs, Volume 349, WADS 2025},
  year = {2025},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  doi = {10.4230/lipics.wads.2025.45}
}

@inproceedings{langedal2024mis,
  author = {Langedal, Kenneth and Hespe, Demian and Sanders, Peter},
  title = {{Targeted Branching for the Maximum Independent Set Problem Using Graph Neural Networks}},
  booktitle = {LIPIcs, Volume 301, SEA 2024},
  year = {2024},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  doi = {10.4230/lipics.sea.2024.20}
}

@inproceedings{naqvi2026bigger,
  author = {Naqvi, Syed Fakhar Abbas and Anwar, Hina},
  title = {{Bigger Is Not Always Better: Performance and Sustainability Trade-Offs in LLMs for Python Bug-Fixing Tasks}},
  booktitle = {LIPIcs, Volume 394, ESEM 2026},
  year = {2026},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  doi = {10.4230/lipics.esem.2026.34}
}

@inproceedings{klampfl2024asp,
  author = {Klampfl, Lorenz and Wotawa, Franz},
  title = {{Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems}},
  booktitle = {OASIcs, Volume 125, DX 2024},
  year = {2024},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  doi = {10.4230/oasics.dx.2024.10}
}

@inproceedings{gasparlopes2025vuln,
  author = {Gaspar Lopes, Diogo and Espinha Gasiba, Tiago and Amburi, Sathwik and Pinto-Albuquerque, Maria},
  title = {{Can Open Large Language Models Catch Vulnerabilities?}},
  booktitle = {OASIcs, Volume 133, ICPEC 2025},
  year = {2025},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  doi = {10.4230/oasics.icpec.2025.4}
}

@inproceedings{awadid2025robust,
  author = {Awadid, Afef and Robert, Boris},
  title = {{On Assessing ML Model Robustness: A Methodological Framework (Academic Track)}},
  booktitle = {OASIcs, Volume 126, SAIA 2024},
  year = {2025},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  doi = {10.4230/oasics.saia.2024.1}
}

@misc{becker2025metr,
  author = {Joel Becker and Nate Rush and Elizabeth Barnes and David Rein},
  title = {{Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity}},
  year = {2025},
  eprint = {2507.09089},
  archiveprefix = {arXiv},
  note = {arXiv preprint arXiv:2507.09089 (not peer-reviewed)},
  url = {https://arxiv.org/abs/2507.09089}
}

@misc{yang2023leandojo,
  author = {Kaiyu Yang and Aidan M. Swope and Alex Gu and Rahul Chalamala and Peiyang Song and Shixing Yu and Saad Godil and Ryan Prenger and Anima Anandkumar},
  title = {{LeanDojo: Theorem Proving with Retrieval-Augmented Language Models}},
  year = {2023},
  eprint = {2306.15626},
  archiveprefix = {arXiv},
  note = {arXiv preprint arXiv:2306.15626 (not peer-reviewed)},
  url = {https://arxiv.org/abs/2306.15626}
}

@misc{xin2024deepseekprover,
  author = {Huajian Xin and Daya Guo and Zhihong Shao and Zhizhou Ren and Qihao Zhu and Bo Liu and Chong Ruan and Wenda Li and Xiaodan Liang},
  title = {{DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data}},
  year = {2024},
  eprint = {2405.14333},
  archiveprefix = {arXiv},
  note = {arXiv preprint arXiv:2405.14333 (not peer-reviewed)},
  url = {https://arxiv.org/abs/2405.14333}
}

@misc{yang2024sweagent,
  author = {John Yang and Carlos E. Jimenez and Alexander Wettig and Kilian Lieret and Shunyu Yao and Karthik Narasimhan and Ofir Press},
  title = {{SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering}},
  year = {2024},
  eprint = {2405.15793},
  archiveprefix = {arXiv},
  note = {arXiv preprint arXiv:2405.15793 (not peer-reviewed)},
  url = {https://arxiv.org/abs/2405.15793}
}

@misc{novikov2025alphaevolve,
  author = {Alexander Novikov and Ngân Vũ and Marvin Eisenberger and Emilien Dupont and Po-Sen Huang and Adam Zsolt Wagner and Sergey Shirobokov and Borislav Kozlovskii and Francisco J. R. Ruiz and Abbas Mehrabian and M. Pawan Kumar and Abigail See and Swarat Chaudhuri and George Holland and Alex Davies and Sebastian Nowozin and Pushmeet Kohli and Matej Balog},
  title = {{AlphaEvolve: A coding agent for scientific and algorithmic discovery}},
  year = {2025},
  eprint = {2506.13131},
  archiveprefix = {arXiv},
  note = {arXiv preprint arXiv:2506.13131 (not peer-reviewed)},
  url = {https://arxiv.org/abs/2506.13131}
}