1% references_part07a.bib — Part VII-a (theory half), Agent G, 2026-11-03. Every entry resolved by a single live lookup2% (Crossref / DataCite / arXiv); see references_verification_part07a.csv. Generated by literature_synthesis/agent_G/make_bib_part07a.py.34@inproceedings{czerwinski2019petri,5 author = {Czerwiński, Wojciech and Lasota, Sławomir and Lazić, Ranko and Leroux, Jérôme and Mazowiecki, Filip},6 title = {{The reachability problem for Petri nets is not elementary}},7 year = {2019},8 doi = {10.1145/3313276.3316369},9 booktitle = {Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing},10 pages = {24-33},11 publisher = {ACM}12}1314@inproceedings{czerwinski2021ackermann,15 author = {Czerwinski, Wojciech and Orlikowski, Lukasz},16 title = {{Reachability in Vector Addition Systems is Ackermann-complete}},17 year = {2022},18 doi = {10.1109/FOCS52979.2021.00120},19 booktitle = {2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS)},20 pages = {1229-1240},21 publisher = {IEEE}22}2324@inproceedings{leroux2021notprimitive,25 author = {Leroux, Jerome},26 title = {{The Reachability Problem for Petri Nets is Not Primitive Recursive}},27 year = {2022},28 doi = {10.1109/FOCS52979.2021.00121},29 booktitle = {2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS)},30 pages = {1241-1252},31 publisher = {IEEE}32}3334@article{wang2024llmtesting,35 author = {Wang, Junjie and Huang, Yuchao and Chen, Chunyang and Liu, Zhe and Wang, Song and Wang, Qing},36 title = {{Software Testing With Large Language Models: Survey, Landscape, and Vision}},37 year = {2024},38 doi = {10.1109/tse.2024.3368208},39 journal = {IEEE Transactions on Software Engineering},40 volume = {50},41 number = {4},42 pages = {911-936}43}4445@article{zhang2022mltesting,46 author = {Zhang, Jie M. and Harman, Mark and Ma, Lei and Liu, Yang},47 title = {{Machine Learning Testing: Survey, Landscapes and Horizons}},48 year = {2022},49 doi = {10.1109/tse.2019.2962027},50 journal = {IEEE Transactions on Software Engineering},51 volume = {48},52 number = {1},53 pages = {1-36}54}5556@article{cui2026genaiwork,57 author = {Cui, Kevin Zheyuan and Demirer, Mert and Jaffe, Sonia and Musolff, Leon and Peng, Sida and Salz, Tobias},58 title = {{The Effects of Generative AI on High-Skilled Work: Evidence from Three Field Experiments with Software Developers}},59 year = {2026},60 doi = {10.1287/mnsc.2025.00535},61 journal = {Management Science}62}6364@article{li2024llift,65 author = {Li, Haonan and Hao, Yu and Zhai, Yizhuo and Qian, Zhiyun},66 title = {{Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach}},67 year = {2024},68 doi = {10.1145/3649828},69 journal = {Proceedings of the ACM on Programming Languages},70 volume = {8},71 number = {OOPSLA1},72 pages = {474-499}73}7475@article{yang2024whitefox,76 author = {Yang, Chenyuan and Deng, Yinlin and Lu, Runyu and Yao, Jiayi and Liu, Jiawei and Jabbarvand, Reyhaneh and Zhang, Lingming},77 title = {{WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models}},78 year = {2024},79 doi = {10.1145/3689736},80 journal = {Proceedings of the ACM on Programming Languages},81 volume = {8},82 number = {OOPSLA2},83 pages = {709-735}84}8586@inproceedings{baghdadi2019tiramisu,87 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},88 title = {{Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code}},89 year = {2019},90 doi = {10.1109/cgo.2019.8661197},91 booktitle = {2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)},92 pages = {193-205},93 publisher = {IEEE}94}9596@article{wang2018mlcompiler,97 author = {Wang, Zheng and O'Boyle, Michael},98 title = {{Machine Learning in Compiler Optimization}},99 year = {2018},100 doi = {10.1109/jproc.2018.2817118},101 journal = {Proceedings of the IEEE},102 volume = {106},103 number = {11},104 pages = {1879-1901}105}106107@article{ashouri2018autotuning,108 author = {Ashouri, Amir H. and Killian, William and Cavazos, John and Palermo, Gianluca and Silvano, Cristina},109 title = {{A Survey on Compiler Autotuning using Machine Learning}},110 year = {2018},111 doi = {10.1145/3197978},112 journal = {ACM Computing Surveys},113 volume = {51},114 number = {5},115 pages = {1-42}116}117118@inproceedings{cummins2025llmcompiler,119 author = {Cummins, Chris and Seeker, Volker and Grubisic, Dejan and Roziere, Baptiste and Gehring, Jonas and Synnaeve, Gabriel and Leather, Hugh},120 title = {{LLM Compiler: Foundation Language Models for Compiler Optimization}},121 year = {2025},122 doi = {10.1145/3708493.3712691},123 booktitle = {Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction},124 pages = {141-153},125 publisher = {ACM}126}127128@article{munley2024llm4vv,129 author = {Munley, Christian and Jarmusch, Aaron and Chandrasekaran, Sunita},130 title = {{LLM4VV: Developing LLM-driven testsuite for compiler validation}},131 year = {2024},132 doi = {10.1016/j.future.2024.05.034},133 journal = {Future Generation Computer Systems},134 volume = {160},135 pages = {1-13}136}137138@incollection{barbosa2022cvc5,139 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},140 title = {{cvc5: A Versatile and Industrial-Strength SMT Solver}},141 year = {2022},142 doi = {10.1007/978-3-030-99524-9\_24},143 booktitle = {Lecture Notes in Computer Science},144 pages = {415-442},145 publisher = {Springer International Publishing}146}147148@incollection{beyer2024svcomp,149 author = {Beyer, Dirk},150 title = {{State of the Art in Software Verification and Witness Validation: SV-COMP 2024}},151 year = {2024},152 doi = {10.1007/978-3-031-57256-2\_15},153 booktitle = {Lecture Notes in Computer Science},154 pages = {299-329},155 publisher = {Springer Nature Switzerland}156}157158@incollection{katz2019marabou,159 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},160 title = {{The Marabou Framework for Verification and Analysis of Deep Neural Networks}},161 year = {2019},162 doi = {10.1007/978-3-030-25540-4\_26},163 booktitle = {Lecture Notes in Computer Science},164 pages = {443-452},165 publisher = {Springer International Publishing}166}167168@article{singh2019deeppoly,169 author = {Singh, Gagandeep and Gehr, Timon and Püschel, Markus and Vechev, Martin},170 title = {{An abstract domain for certifying neural networks}},171 year = {2019},172 doi = {10.1145/3290354},173 journal = {Proceedings of the ACM on Programming Languages},174 volume = {3},175 number = {POPL},176 pages = {1-30}177}178179@inproceedings{permenev2020verx,180 author = {Permenev, Anton and Dimitrov, Dimitar and Tsankov, Petar and Drachsler-Cohen, Dana and Vechev, Martin},181 title = {{VerX: Safety Verification of Smart Contracts}},182 year = {2020},183 doi = {10.1109/sp40000.2020.00024},184 booktitle = {2020 IEEE Symposium on Security and Privacy (SP)},185 pages = {1661-1677},186 publisher = {IEEE}187}188189@article{willsey2021egg,190 author = {Willsey, Max and Nandi, Chandrakana and Wang, Yisu Remy and Flatt, Oliver and Tatlock, Zachary and Panchekha, Pavel},191 title = {{egg: Fast and extensible equality saturation}},192 year = {2021},193 doi = {10.1145/3434304},194 journal = {Proceedings of the ACM on Programming Languages},195 volume = {5},196 number = {POPL},197 pages = {1-29}198}199200@inproceedings{kalra2018zeus,201 author = {Kalra, Sukrit and Goel, Seep and Dhawan, Mohan and Sharma, Subodh},202 title = {{ZEUS: Analyzing Safety of Smart Contracts}},203 year = {2018},204 doi = {10.14722/ndss.2018.23082},205 booktitle = {Proceedings 2018 Network and Distributed System Security Symposium},206 publisher = {Internet Society}207}208209@incollection{papadakis2019mutation,210 title = {{Mutation Testing Advances: An Analysis and Survey}},211 year = {2019},212 doi = {10.1016/bs.adcom.2018.03.015},213 booktitle = {Advances in Computers},214 pages = {275-378},215 publisher = {Elsevier}216}217218@article{abualigah2021aoa,219 author = {Abualigah, Laith and Diabat, Ali and Mirjalili, Seyedali and Abd Elaziz, Mohamed and Gandomi, Amir H.},220 title = {{The Arithmetic Optimization Algorithm}},221 year = {2021},222 doi = {10.1016/j.cma.2020.113609},223 journal = {Computer Methods in Applied Mechanics and Engineering},224 volume = {376},225 pages = {113609}226}227228@article{abualigah2021aquila,229 author = {Abualigah, Laith and Yousri, Dalia and Abd Elaziz, Mohamed and Ewees, Ahmed A. and Al-qaness, Mohammed A.A. and Gandomi, Amir H.},230 title = {{Aquila Optimizer: A novel meta-heuristic optimization algorithm}},231 year = {2021},232 doi = {10.1016/j.cie.2021.107250},233 journal = {Computers \& Industrial Engineering},234 volume = {157},235 pages = {107250}236}237238@book{biere2021handbook,239 author = {Biere, Armin and Heule, Marijn and van Maaren, Hans and Walsh, Toby},240 title = {{Handbook of Satisfiability}},241 year = {2021},242 doi = {10.3233/faia336},243 publisher = {IOS Press},244 series = {Frontiers in Artificial Intelligence and Applications}245}246247@book{li2019kolmogorov,248 author = {Li, Ming and Vitányi, Paul},249 title = {{An Introduction to Kolmogorov Complexity and Its Applications}},250 year = {2019},251 doi = {10.1007/978-3-030-11298-1},252 publisher = {Springer International Publishing},253 series = {Texts in Computer Science}254}255256@article{sorensen2013metaphor,257 author = {Sörensen, Kenneth},258 title = {{Metaheuristics---the metaphor exposed}},259 year = {2013},260 doi = {10.1111/itor.12001},261 journal = {International Transactions in Operational Research},262 volume = {22},263 number = {1},264 pages = {3-18}265}266267@article{aranha2021metaphor,268 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},269 title = {{Metaphor-based metaheuristics, a call for action: the elephant in the room}},270 year = {2021},271 doi = {10.1007/s11721-021-00202-9},272 journal = {Swarm Intelligence},273 volume = {16},274 number = {1},275 pages = {1-6}276}277278@article{camachovillalon2022exposing,279 author = {Camacho-Villalón, Christian L. and Dorigo, Marco and Stützle, Thomas},280 title = {{Exposing the grey wolf, moth-flame, whale, firefly, bat, and antlion algorithms: six misleading optimization techniques inspired by<i>bestial</i>metaphors}},281 year = {2022},282 doi = {10.1111/itor.13176},283 journal = {International Transactions in Operational Research},284 volume = {30},285 number = {6},286 pages = {2945-2971}287}288289@article{mitzenmacher2022predictions,290 author = {Mitzenmacher, Michael and Vassilvitskii, Sergei},291 title = {{Algorithms with predictions}},292 year = {2022},293 doi = {10.1145/3528087},294 journal = {Communications of the ACM},295 volume = {65},296 number = {7},297 pages = {33-35}298}299300@article{mankowitz2023alphadev,301 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},302 title = {{Faster sorting algorithms discovered using deep reinforcement learning}},303 year = {2023},304 doi = {10.1038/s41586-023-06004-9},305 journal = {Nature},306 volume = {618},307 number = {7964},308 pages = {257-263}309}310311@inproceedings{lopes2021alive2,312 author = {Lopes, Nuno P. and Lee, Juneyoung and Hur, Chung-Kil and Liu, Zhengyang and Regehr, John},313 title = {{Alive2: bounded translation validation for LLVM}},314 year = {2021},315 doi = {10.1145/3453483.3454030},316 booktitle = {Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation},317 pages = {65-79},318 publisher = {ACM}319}320321@inproceedings{yang2011csmith,322 author = {Yang, Xuejun and Chen, Yang and Eide, Eric and Regehr, John},323 title = {{Finding and understanding bugs in C compilers}},324 year = {2011},325 doi = {10.1145/1993498.1993532},326 booktitle = {Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation},327 pages = {283-294},328 publisher = {ACM}329}330331@inproceedings{xia2024fuzz4all,332 author = {Xia, Chunqiu Steven and Paltenghi, Matteo and Le Tian, Jia and Pradel, Michael and Zhang, Lingming},333 title = {{Fuzz4All: Universal Fuzzing with Large Language Models}},334 year = {2024},335 doi = {10.1145/3597503.3639121},336 booktitle = {Proceedings of the IEEE/ACM 46th International Conference on Software Engineering},337 pages = {1-13},338 publisher = {ACM}339}340341@inproceedings{xia2023apr,342 author = {Xia, Chunqiu Steven and Wei, Yuxiang and Zhang, Lingming},343 title = {{Automated Program Repair in the Era of Large Pre-trained Language Models}},344 year = {2023},345 doi = {10.1109/ICSE48619.2023.00129},346 booktitle = {2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)},347 pages = {1482-1494},348 publisher = {IEEE}349}350351@inproceedings{kang2023fewshottesters,352 author = {Kang, Sungmin and Yoon, Juyeon and Yoo, Shin},353 title = {{Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction}},354 year = {2023},355 doi = {10.1109/icse48619.2023.00194},356 booktitle = {2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)},357 pages = {2312-2323},358 publisher = {IEEE}359}360361@inproceedings{lattuada2024verus,362 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},363 title = {{Verus: A Practical Foundation for Systems Verification}},364 year = {2024},365 doi = {10.1145/3694715.3695952},366 booktitle = {Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles},367 pages = {438-454},368 publisher = {ACM}369}370371@article{brix2023vnncomp,372 author = {Brix, Christopher and Müller, Mark Niklas and Bak, Stanley and Johnson, Taylor T. and Liu, Changliu},373 title = {{First three years of the international verification of neural networks competition (VNN-COMP)}},374 year = {2023},375 doi = {10.1007/s10009-023-00703-4},376 journal = {International Journal on Software Tools for Technology Transfer},377 volume = {25},378 number = {3},379 pages = {329-339}380}381382@incollection{katz2017reluplex,383 author = {Katz, Guy and Barrett, Clark and Dill, David L. and Julian, Kyle and Kochenderfer, Mykel J.},384 title = {{Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks}},385 year = {2017},386 doi = {10.1007/978-3-319-63387-9\_5},387 booktitle = {Lecture Notes in Computer Science},388 pages = {97-117},389 publisher = {Springer International Publishing}390}391392@book{cygan2015parameterized,393 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},394 title = {{Parameterized Algorithms}},395 year = {2015},396 doi = {10.1007/978-3-319-21275-3},397 publisher = {Springer International Publishing}398}399400@inproceedings{vassilevskawilliams2019finegrained,401 author = {WILLIAMS, VIRGINIA VASSILEVSKA},402 title = {{On some fine-grained questions in algorithms and complexity}},403 year = {2019},404 doi = {10.1142/9789813272880\_0188},405 booktitle = {Proceedings of the International Congress of Mathematicians (ICM 2018)},406 pages = {3447-3487},407 publisher = {WORLD SCIENTIFIC}408}409410@article{lykouris2021caching,411 author = {Lykouris, Thodoris and Vassilvitskii, Sergei},412 title = {{Competitive Caching with Machine Learned Advice}},413 year = {2021},414 doi = {10.1145/3447579},415 journal = {Journal of the ACM},416 volume = {68},417 number = {4},418 pages = {1-25}419}420421@article{chen2018metamorphicsurvey,422 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},423 title = {{Metamorphic Testing}},424 year = {2018},425 doi = {10.1145/3143561},426 journal = {ACM Computing Surveys},427 volume = {51},428 number = {1},429 pages = {1-27}430}431432@inproceedings{perry2023insecure,433 author = {Perry, Neil and Srivastava, Megha and Kumar, Deepak and Boneh, Dan},434 title = {{Do Users Write More Insecure Code with AI Assistants?}},435 year = {2023},436 doi = {10.1145/3576915.3623157},437 booktitle = {Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security},438 pages = {2785-2799},439 publisher = {ACM}440}441442@inproceedings{ragankelley2013halide,443 author = {Ragan-Kelley, Jonathan and Barnes, Connelly and Adams, Andrew and Paris, Sylvain and Durand, Frédo and Amarasinghe, Saman},444 title = {{Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines}},445 year = {2013},446 doi = {10.1145/2491956.2462176},447 booktitle = {Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation},448 pages = {519-530},449 publisher = {ACM}450}451452@article{merrill2023parallelism,453 author = {Merrill, William and Sabharwal, Ashish},454 title = {{The Parallelism Tradeoff: Limitations of Log-Precision Transformers}},455 year = {2023},456 doi = {10.1162/tacl\_a\_00562},457 journal = {Transactions of the Association for Computational Linguistics},458 volume = {11},459 pages = {531-545}460}461462@article{strobl2024survey,463 author = {Strobl, Lena and Merrill, William and Weiss, Gail and Chiang, David and Angluin, Dana},464 title = {{What Formal Languages Can Transformers Express? A Survey}},465 year = {2024},466 doi = {10.1162/tacl\_a\_00663},467 journal = {Transactions of the Association for Computational Linguistics},468 volume = {12},469 pages = {543-561}470}471472@article{willsey2026eggcacm,473 author = {Willsey, Max and Nandi, Chandrakana and Wang, Yisu Remy and Flatt, Oliver and Tatlock, Zachary and Panchekha, Pavel},474 title = {{egg: Fast and Extensible Equality Saturation}},475 year = {2026},476 doi = {10.1145/3815481},477 journal = {Communications of the ACM},478 volume = {69},479 number = {8},480 pages = {105-113}481}482483@article{lynch2026ioautomata,484 author = {Lynch, Nancy A. and Tuttle, Mark R.},485 title = {{An Introduction to Input/Output Automata}},486 year = {2026},487 doi = {10.1145/3788687},488 journal = {Formal Aspects of Computing},489 volume = {38},490 number = {3},491 pages = {1-22}492}493494@inproceedings{bernstein2022negative,495 author = {Bernstein, Aaron and Nanongkai, Danupon and Wulff-Nilsen, Christian},496 title = {{Negative-Weight Single-Source Shortest Paths in Near-linear Time}},497 year = {2022},498 doi = {10.1109/focs54457.2022.00063},499 booktitle = {2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS)},500 pages = {600-611},501 publisher = {IEEE}502}503504@inproceedings{duan2025sorting,505 author = {Duan, Ran and Mao, Jiayi and Mao, Xiao and Shu, Xinkai and Yin, Longhui},506 title = {{Breaking the Sorting Barrier for Directed Single-Source Shortest Paths}},507 year = {2025},508 doi = {10.1145/3717823.3718179},509 booktitle = {Proceedings of the 57th Annual ACM Symposium on Theory of Computing},510 pages = {36-44},511 publisher = {ACM}512}513514@inproceedings{williams2025sqrtspace,515 author = {Williams, R. Ryan},516 title = {{Simulating Time with Square-Root Space}},517 year = {2025},518 doi = {10.1145/3717823.3718225},519 booktitle = {Proceedings of the 57th Annual ACM Symposium on Theory of Computing},520 pages = {13-23},521 publisher = {ACM}522}523524@inproceedings{farachcolton2024openaddressing,525 author = {Farach-Colton, Martín and Krapivin, Andrew and Kuszmaul, William},526 title = {{Optimal Bounds for Open Addressing Without Reordering}},527 year = {2024},528 doi = {10.1109/focs61266.2024.00045},529 booktitle = {2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS)},530 pages = {594-605},531 publisher = {IEEE}532}533534@inproceedings{jakubuv2023mizar,535 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},536 title = {{MizAR 60 for Mizar 50}},537 booktitle = {LIPIcs, Volume 268, ITP 2023},538 year = {2023},539 publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},540 doi = {10.4230/lipics.itp.2023.19}541}542543@inproceedings{chen2025apiss,544 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},545 title = {{Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories}},546 booktitle = {LIPIcs, Volume 333, ECOOP 2025},547 year = {2025},548 publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},549 doi = {10.4230/lipics.ecoop.2025.6}550}551552@inproceedings{pham2025kdtree,553 author = {Pham, Tuyen and Wagner, Hubert},554 title = {{Fast Kd-Trees for the Kullback-Leibler Divergence and Other Decomposable Bregman Divergences}},555 booktitle = {LIPIcs, Volume 349, WADS 2025},556 year = {2025},557 publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},558 doi = {10.4230/lipics.wads.2025.45}559}560561@inproceedings{langedal2024mis,562 author = {Langedal, Kenneth and Hespe, Demian and Sanders, Peter},563 title = {{Targeted Branching for the Maximum Independent Set Problem Using Graph Neural Networks}},564 booktitle = {LIPIcs, Volume 301, SEA 2024},565 year = {2024},566 publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},567 doi = {10.4230/lipics.sea.2024.20}568}569570@inproceedings{naqvi2026bigger,571 author = {Naqvi, Syed Fakhar Abbas and Anwar, Hina},572 title = {{Bigger Is Not Always Better: Performance and Sustainability Trade-Offs in LLMs for Python Bug-Fixing Tasks}},573 booktitle = {LIPIcs, Volume 394, ESEM 2026},574 year = {2026},575 publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},576 doi = {10.4230/lipics.esem.2026.34}577}578579@inproceedings{klampfl2024asp,580 author = {Klampfl, Lorenz and Wotawa, Franz},581 title = {{Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems}},582 booktitle = {OASIcs, Volume 125, DX 2024},583 year = {2024},584 publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},585 doi = {10.4230/oasics.dx.2024.10}586}587588@inproceedings{gasparlopes2025vuln,589 author = {Gaspar Lopes, Diogo and Espinha Gasiba, Tiago and Amburi, Sathwik and Pinto-Albuquerque, Maria},590 title = {{Can Open Large Language Models Catch Vulnerabilities?}},591 booktitle = {OASIcs, Volume 133, ICPEC 2025},592 year = {2025},593 publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},594 doi = {10.4230/oasics.icpec.2025.4}595}596597@inproceedings{awadid2025robust,598 author = {Awadid, Afef and Robert, Boris},599 title = {{On Assessing ML Model Robustness: A Methodological Framework (Academic Track)}},600 booktitle = {OASIcs, Volume 126, SAIA 2024},601 year = {2025},602 publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},603 doi = {10.4230/oasics.saia.2024.1}604}605606@misc{becker2025metr,607 author = {Joel Becker and Nate Rush and Elizabeth Barnes and David Rein},608 title = {{Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity}},609 year = {2025},610 eprint = {2507.09089},611 archiveprefix = {arXiv},612 note = {arXiv preprint arXiv:2507.09089 (not peer-reviewed)},613 url = {https://arxiv.org/abs/2507.09089}614}615616@misc{yang2023leandojo,617 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},618 title = {{LeanDojo: Theorem Proving with Retrieval-Augmented Language Models}},619 year = {2023},620 eprint = {2306.15626},621 archiveprefix = {arXiv},622 note = {arXiv preprint arXiv:2306.15626 (not peer-reviewed)},623 url = {https://arxiv.org/abs/2306.15626}624}625626@misc{xin2024deepseekprover,627 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},628 title = {{DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data}},629 year = {2024},630 eprint = {2405.14333},631 archiveprefix = {arXiv},632 note = {arXiv preprint arXiv:2405.14333 (not peer-reviewed)},633 url = {https://arxiv.org/abs/2405.14333}634}635636@misc{yang2024sweagent,637 author = {John Yang and Carlos E. Jimenez and Alexander Wettig and Kilian Lieret and Shunyu Yao and Karthik Narasimhan and Ofir Press},638 title = {{SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering}},639 year = {2024},640 eprint = {2405.15793},641 archiveprefix = {arXiv},642 note = {arXiv preprint arXiv:2405.15793 (not peer-reviewed)},643 url = {https://arxiv.org/abs/2405.15793}644}645646@misc{novikov2025alphaevolve,647 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},648 title = {{AlphaEvolve: A coding agent for scientific and algorithmic discovery}},649 year = {2025},650 eprint = {2506.13131},651 archiveprefix = {arXiv},652 note = {arXiv preprint arXiv:2506.13131 (not peer-reviewed)},653 url = {https://arxiv.org/abs/2506.13131}654}655