From 97c6f0400b169265fb0543c2e0575011bbcb67d8 Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Thu, 26 Feb 2026 17:56:28 -0500 Subject: [PATCH 01/18] added acl2023,cav2024,icaps2025wslm4plan,iclr2022,iclr2024,icml2024,icse2025,naacl2025,neurips2020,neurips2021,neurips2021db,neurips2022wsfmdm achiam-et-al-arxiv2023,besta-et-al-aaai2024,brown-et-al-neurips2020,chen-et-al-2024,chen-et-al-arxiv2021,chen-et-al-iclr2023,chen-et-al-iclr2024,deepseek-ai-et-al-arxiv2024,dubey-et-al-arxiv2024,fu-et-al-iclr2022,gandhi-et-al-arxiv2024,gou-et-al-iclr2024,guan-et-al-neurips2023,guo-et-al-arxiv2024,hu-et-al-arxiv2024,huang-et-al-iclr2024,hurst-et-al-arxiv2024,jiang-et-al-arxiv2023,jiang-et-al-arxiv2024,jimenez-et-al-iclr2024,kambhampati-et-al-arxiv2024,kambhampati-et-al-icml2024,katz-et-al-icaps2025wslm4plan,kojima-et-al-neurips2022,le-et-al-iclr2024,li-et-al-cav2024,liu-et-al-arxiv2023,ma-et-al-arxiv2024,madaan-et-al-neurips2023,meta-et-al-misc2024,muennighoff-et-al-iclr2024,openaidev-forum-2024,pallagani-et-al-arxiv2022,pallagani-et-al-arxiv2023,pan-et-al-icse2025,puri-et-al-neurips2021db,raman-et-al-neurips2022wsfmdm,sel-et-al-icml2024,shinn-et-al-neurips2023,silver-et-al-neurips2022wsfmdm,stechly-et-al-arxiv2024,stein-et-al-icaps2026,tuisov-et-al-icaps2026,xie-et-al-arxiv2023,yang-et-al-arxiv2024,zhang-et-al-acl2023,zhang-et-al-iclr2023,zhong-et-al-arxiv2024,zhou-et-al-iclr2024,zhou-et-al-icml2024,zuo-et-al-naacl2025 --- crossref-short.bib | 72 +++++++++ crossref.bib | 98 ++++++++++++ literatur.bib | 374 +++++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 544 insertions(+) diff --git a/crossref-short.bib b/crossref-short.bib index 446ba6d..03336de 100644 --- a/crossref-short.bib +++ b/crossref-short.bib @@ -255,6 +255,12 @@ @Proceedings{aamas2024 year = "2024" } +@Proceedings{acl2023, + title = "Proc.\ ACL 2023", + booktitle = "Proc.\ ACL 2023", + year = "2023" +} + %% This is the Australasian AI conference. It's perhaps a bit strange %% that this is called just "AI", but that's what the proceedings %% uses as an abbreviation. (It's published in LNAI, so one would assume @@ -403,6 +409,12 @@ @Proceedings{cav2021part2 year = "2021" } +@Proceedings{cav2024, + title = "Proc.\ CAV 2024", + booktitle = "Proc.\ CAV 2024", + year = "2024" +} + @Proceedings{cav2025part1, title = "Proc.\ CAV 2025, Part I", booktitle = "Proc.\ CAV 2025, Part I", @@ -1156,6 +1168,12 @@ @Proceedings{icaps2025wshaxp year = "2025" } +@Proceedings{icaps2025wslm4plan, + title = "ICAPS Workshop on Planning in the Era of LLMs", + booktitle = "ICAPS Workshop on Planning in the Era of LLMs", + year = "2025" +} + @Proceedings{icaps2026, title = "Proc.\ ICAPS 2026", booktitle = "Proc.\ ICAPS 2026", @@ -1246,12 +1264,24 @@ @Proceedings{iclr2020 year = "2020" } +@Proceedings{iclr2022, + title = "Proc.\ ICLR 2022", + booktitle = "Proc.\ ICLR 2022", + year = "2022" +} + @Proceedings{iclr2023, title = "Proc.\ ICLR 2023", booktitle = "Proc.\ ICLR 2023", year = "2023" } +@Proceedings{iclr2024, + title = "Proc.\ ICLR 2024", + booktitle = "Proc.\ ICLR 2024", + year = "2024" +} + @Proceedings{icml2001, title = "Proc.\ ICML 2001", booktitle = "Proc.\ ICML 2001", @@ -1300,6 +1330,12 @@ @Proceedings{icml2020 year = "2020" } +@Proceedings{icml2024, + title = "Proc.\ ICML 2024", + booktitle = "Proc.\ ICML 2024", + year = "2024" +} + @Proceedings{icra1994, title = "Proc.\ ICRA 1994", booktitle = "Proc.\ ICRA 1994", @@ -1318,6 +1354,12 @@ @Proceedings{icra2009 year = "2009" } +@Proceedings{icse2025, + title = "Proc.\ ICSE 2025", + booktitle = "Proc.\ ICSE 2025", + year = "2025" +} + @Proceedings{ictai2004, title = "Proc.\ ICTAI 2004", booktitle = "Proc.\ ICTAI 2004", @@ -1812,6 +1854,12 @@ @Proceedings{naacl2003 year = "2003" } +@Proceedings{naacl2025, + title = "Proc.\ NAACL 2025", + booktitle = "Proc.\ NAACL 2025", + year = "2025" +} + % On November 17th, 2018, the Neural Information Processing Systems Foundation % Board of Trustees decided to change the official abbreviation and acronym of % the conference from NIPS to NeurIPS @@ -1827,12 +1875,36 @@ @Proceedings{neurips2019 year = "2019" } +@Proceedings{neurips2020, + title = "Proc.\ NeurIPS 2020", + booktitle = "Proc.\ NeurIPS 2020", + year = "2020" +} + +@Proceedings{neurips2021, + title = "Proc.\ NeurIPS 2021", + booktitle = "Proc.\ NeurIPS 2021", + year = "2021" +} + +@Proceedings{neurips2021db, + title = "Proc.\ NeurIPS 2021 Datasets and Benchmarks", + booktitle = "Proc.\ NeurIPS 2021 Datasets and Benchmarks", + year = "2021" +} + @Proceedings{neurips2022, title = "Proc.\ NeurIPS 2022", booktitle = "Proc.\ NeurIPS 2022", year = "2022" } +@Proceedings{neurips2022wsfmdm, + title = "{NeurIPS} 2022 Workshop on Foundation Models for Decision Making", + booktitle = "{NeurIPS} 2022 Workshop on Foundation Models for Decision Making", + year = "2022" +} + @Proceedings{neurips2023, title = "Proc.\ NeurIPS 2023", booktitle = "Proc.\ NeurIPS 2023", diff --git a/crossref.bib b/crossref.bib index 47a8cc8..2c50060 100644 --- a/crossref.bib +++ b/crossref.bib @@ -427,6 +427,16 @@ @Proceedings{aamas2024 year = "2024" } +@Proceedings{acl2023, + editor = "Anna Rogers and Jordan Boyd-Graber and Naoaki Okazaki", + title = "Proceedings of the 61st Annual Meeting of the Association + for Computational Linguistics ({ACL} 2023)", + booktitle = "Proceedings of the 61st Annual Meeting of the Association + for Computational Linguistics ({ACL} 2023)", + publisher = "{ACL}", + year = "2023" +} + @Proceedings{ai2013, editor = "Stephen Cranefield and Abhaya Nayak", title = "Proceedings of the 26th Australasian Joint Conference @@ -679,6 +689,15 @@ @Proceedings{cav2021part2 year = "2021" } +@Proceedings{cav2024, + title = "Proceedings of the 36th International Conference on + Computer Aided Verification (CAV 2024)", + booktitle = "Proceedings of the 36th International Conference on + Computer Aided Verification (CAV 2024)", + publisher = "Springer-Verlag", + year = "2024" +} + @Proceedings{cav2025part1, editor = "Ruzica Piskac and Zvonimir Rakamaric", title = "Proceedings of the 37th International Conference on @@ -1783,12 +1802,19 @@ @Proceedings{icaps2025wshaxp year = "2025" } +@Proceedings{icaps2025wslm4plan, + title = "{ICAPS} 2025 Workshop on Planning in the Era of LLMs", + booktitle = "{ICAPS} 2025 Workshop on Planning in the Era of LLMs", + year = "2025" +} + @Proceedings{icaps2026, title = "Proceedings of the Thirty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2026)", booktitle = "Proceedings of the Thirty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2026)", year = "2026", + publisher = "AAAI Press" } % No source cites the editor @@ -1910,6 +1936,13 @@ @Proceedings{iclr2020 year = "2020" } +@Proceedings{iclr2022, + title = "Proceedings of the Tenth International Conference on Learning Representations (ICLR 2022)", + booktitle = "Proceedings of the Tenth International Conference on Learning Representations (ICLR 2022)", + publisher = "OpenReview.net", + year = "2022" +} + @Proceedings{iclr2023, title = "Proceedings of the Eleventh International Conference on Learning Representations (ICLR 2023)", booktitle = "Proceedings of the Eleventh International Conference on Learning Representations (ICLR 2023)", @@ -1917,6 +1950,13 @@ @Proceedings{iclr2023 year = "2023" } +@Proceedings{iclr2024, + title = "Proceedings of the Twelfth International Conference on Learning Representations (ICLR 2024)", + booktitle = "Proceedings of the Twelfth International Conference on Learning Representations (ICLR 2024)", + publisher = "OpenReview.net", + year = "2024" +} + @Proceedings{icml2001, editor = "Carla E. Brodley and Andrea {Pohoreckyj Danyluk}", title = "Proceedings of the Eighteenth International Conference on Machine Learning (ICML 2001)", @@ -1994,6 +2034,15 @@ @Proceedings{icml2020 year = "2020" } +@Proceedings{icml2024, + title = "Proceedings of the 41st International Conference on + Machine Learning {(ICML 2024)}", + booktitle = "Proceedings of the 41st International Conference on + Machine Learning {(ICML 2024)}", + publisher = "{JMLR}.org", + year = "2024" +} + % Data based on DBLP. @Proceedings{icra1994, title = "Proceedings of the 1994 International Conference @@ -2023,6 +2072,15 @@ @Proceedings{icra2009 year = "2009" } +@Proceedings{icse2025, + title = "Proceedings of the 47th IEEE/ACM International Conference on + Software Engineering (ICSE 2025)", + booktitle = "Proceedings of the 47th IEEE/ACM International Conference on + Software Engineering (ICSE 2025)", + publisher = "IEEE", + year = "2025" +} + @Proceedings{ictai2004, title = "Proceedings of the 16th International Conference on Tools with Artificial Intelligence (ICTAI 2004)", @@ -2899,6 +2957,16 @@ @Proceedings{naacl2003 year = "2003" } +@Proceedings{naacl2025, + title = "Proceedings of the 2025 Annual Conference of the Nations of the + Americas Chapter of the Association for Computational Linguistics + (NAACL 2025)", + booktitle = "Proceedings of the 2025 Annual Conference of the Nations of the + Americas Chapter of the Association for Computational Linguistics + (NAACL 2025)", + year = "2025" +} + % On November 17th, 2018, the Neural Information Processing Systems Foundation % Board of Trustees decided to change the official abbreviation and acronym of % the conference from NIPS to NeurIPS @@ -2918,6 +2986,30 @@ @Proceedings{neurips2019 year = "2019" } +@Proceedings{neurips2020, + title = "Proceedings of the Thirty-Fourth Annual Conference on + Neural Information Processing Systems ({NeurIPS} 2020)", + booktitle = "Proceedings of the Thirty-Fourth Annual Conference on + Neural Information Processing Systems ({NeurIPS} 2020)", + year = "2020" +} + +@Proceedings{neurips2021, + title = "Proceedings of the Thirty-Fifth Annual Conference on + Neural Information Processing Systems ({NeurIPS} 2021)", + booktitle = "Proceedings of the Thirty-Fifth Annual Conference on + Neural Information Processing Systems ({NeurIPS} 2021)", + year = "2021" +} + +@Proceedings{neurips2021db, + title = "Proceedings of the Thirty-Fifth Annual Conference on + Neural Information Processing Systems ({NeurIPS} 2021) Track on Datasets and Benchmarks", + booktitle = "Proceedings of the Thirty-Fifth Annual Conference on + Neural Information Processing Systems ({NeurIPS} 2021) Track on Datasets and Benchmarks", + year = "2021" +} + @Proceedings{neurips2022, title = "Proceedings of the Thirty-Sixth Annual Conference on Neural Information Processing Systems ({NeurIPS} 2022)", @@ -2926,6 +3018,12 @@ @Proceedings{neurips2022 year = "2022" } +@Proceedings{neurips2022wsfmdm, + title = "{NeurIPS} 2022 Workshop on Foundation Models for Decision Making", + booktitle = "{NeurIPS} 2022 Workshop on Foundation Models for Decision Making", + year = "2022" +} + @Proceedings{neurips2023, title = "Proceedings of the Thirty-Seventh Annual Conference on Neural Information Processing Systems ({NeurIPS} 2023)", diff --git a/literatur.bib b/literatur.bib index 114bde6..4c62675 100644 --- a/literatur.bib +++ b/literatur.bib @@ -116,6 +116,16 @@ @Book{abiteboul-et-al-1995 year = "1995", } +@Misc{achiam-et-al-arxiv2023, + author = "Josh Achiam and Steven Adler and Sandhini Agarwal + and Lama Ahmad and Ilge Akkaya and Florencia Leoni Aleman + and Diogo Almeida and Janko Altenschmidt and Sam Altman + and Shyamal Anadkat and others", + title = "Gpt-4 technical report", + year = "2023", + howpublished = "arXiv:2303.08774 [cs.CL]" +} + @InProceedings{achlioptas-et-al-aaai2000, author = "Dimitris Achlioptas and Carla P. Gomes and Henry A. Kautz and Bart Selman", title = "Generating Satisfiable Problem Instances", @@ -1450,6 +1460,15 @@ @InProceedings{bessiere-regin-ijcai2017 pages = "398--404" } +@InProceedings{besta-et-al-aaai2024, + author = "Maciej Besta and Nils Blach and Ales Kubicek and Robert Gerstenberger + and Michal Podstawski and Lukas Gianinazzi and Joanna Gajda and Tomasz + Lehmann and Hubert Niewiadomski and Piotr Nyczyk and Torsten Hoefler", + title = "Graph of thoughts: Solving elaborate problems with large language models", + crossref = "aaai2024", + pages = "17682--17690" +} + % Data verified. @MastersThesis{betz-diplomarbeit2009, author = "Christoph Betz", @@ -2322,6 +2341,21 @@ @Article{brooks-computer1987 pages = "10--19" } +@InProceedings{brown-et-al-neurips2020, + author = "Tom Brown and Benjamin Mann and Nick Ryder and Melanie Subbiah + and Jared D Kaplan and Prafulla Dhariwal and Arvind Neelakantan + and Pranav Shyam and Girish Sastry and Amanda Askell and Sandhini Agarwal + and Ariel Herbert-Voss and Gretchen Krueger and Tom Henighan + and Rewon Child and Aditya Ramesh and Daniel Ziegler and Jeffrey Wu + and Clemens Winter and Chris Hesse and Mark Chen and Eric Sigler + and Mateusz Litwin and Scott Gray and Benjamin Chess and Jack Clark + and Christopher Berner and Sam McCandlish and Alec Radford + and Ilya Sutskever and Dario Amodei", + title = "Language models are few-shot learners", + crossref = "neurips2020", + pages = "1877--1901" +} + @Article{browne-et-al-ieee2012, author = "Cameron Browne and Edward J. Powley and Daniel Whitehouse and Simon M. Lucas and Peter I. Cowling @@ -2956,6 +2990,16 @@ @InProceedings{cheeseman-et-al-ijcai1991 crossref = "ijcai1991" } +@Article{chen-et-al-2024, + author = "Angelica Chen and J{\'e}r{\'e}my Scheurer and Jon Ander Campos and Tomasz Korbak and Jun Shern Chan and Samuel R. Bowman and Kyunghyun Cho and Ethan Perez", + title = "Learning from Natural Language Feedback", + journal = "Transactions on Machine Learning Research", + year = "2024", + note = "", + url = "https://openreview.net/forum?id=xo3hI5MwvU", + issn = "2835-8856" +} + @InProceedings{chen-et-al-aaai2024, author = "Dillon Z. Chen and Sylvie Thi{\'e}baux and Felipe Trevizan", title = "Learning Domain-Independent Heuristics for Grounded and Lifted Planning", @@ -2963,6 +3007,13 @@ @InProceedings{chen-et-al-aaai2024 pages = "20078--20086" } +@Misc{chen-et-al-arxiv2021, + author = "Mark Chen and Jerry Tworek and Heewoo Jun and Qiming Yuan and others", + title = "Evaluating Large Language Models Trained on Code", + year = "2021", + howpublished = "arXiv:2107.03374 [cs.LG]" +} + @InProceedings{chen-et-al-icaps2024, author = "Dillon Z. Chen and Felipe Trevizan and Sylvie Thi{\'e}baux", title = "Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning", @@ -2970,6 +3021,21 @@ @InProceedings{chen-et-al-icaps2024 pages = "68--76" } +% TODO(Michael): Add page numbers. +@InProceedings{chen-et-al-iclr2023, + author = "Bei Chen and Fengji Zhang and Anh Nguyen and Daoguang Zan and + Zeqi Lin and Jian-Guang Lou and Weizhu Chen", + title = "{CodeT}: Code Generation with Generated Tests", + crossref = "iclr2023" +} + +% TODO(Michael): Add page numbers. +@InProceedings{chen-et-al-iclr2024, + author = "Xinyun Chen and Maxwell Lin and Nathanael Sch{\"{a}}rli and Denny Zhou", + title = "Teaching Large Language Models to Self-Debug", + crossref = "iclr2024" +} + % Data taken from DBLP. @InProceedings{chen-et-al-ijcai2007, author = "Yixin Chen and Xing Zhao and Weixiong Zhang", @@ -4217,6 +4283,13 @@ @Article{dechter-pearl-jacm1985 pages = "505--536" } +@Misc{deepseek-ai-et-al-arxiv2024, + author = "DeepSeek-AI and Aixin Liu and Bei Feng and Bin Wang and Bingxuan Wang and Bo Liu and Chenggang Zhao and Chengqi Dengr and Chong Ruan and others", + title = "{DeepSeek-V2}: A Strong, Economical, and Efficient Mixture-of-Experts Language Model", + year = "2024", + howpublished = "arXiv:2405.04434 [cs.CL]" +} + % Data from DBLP @InProceedings{defferrard-et-al-nips2016, author = "Micha{\"e}l Defferrard and Xavier Bresson and @@ -4922,6 +4995,13 @@ @InProceedings{drucker-et-al-nips1996 pages = "155--161", } +@Misc{dubey-et-al-arxiv2024, + author = "Abhimanyu Dubey and Abhinav Jauhri and Abhinav Pandey and Abhishek Kadian and Ahmad Al-Dahle and Aiesha Letman and Akhil Mathur and Alan Schelten and Amy Yang and Angela Fan and Anirudh Goyal and others", + title = "The Llama 3 Herd of Models", + year = "2024", + howpublished = "arXiv:2407.21783 [cs.AI]" +} + @Article{dudzinski-walukiewicz-or1987, title = "Exact methods for the knapsack problem and its generalizations", author = "Krzysztof Dudzi{\'n}ski and Stanis{\l}aw Walukiewicz", @@ -6582,6 +6662,13 @@ @Misc{froleyks-github2024-accessed-2025-12-08 note = "Accessed December 8, 2025" } +% TODO(Michael): Add page numbers. +@InProceedings{fu-et-al-iclr2022, + author = "Yao Fu and Hao Peng and Ashish Sabharwal and Peter Clark and Tushar Khot", + title = "Complexity-based prompting for multi-step reasoning", + crossref = "iclr2022" +} + @Book{fudenberg-tirole-1991, author = "Drew Fudenberg and Jean Tirole", title = "Game Theory", @@ -6672,6 +6759,13 @@ @Article{galton-jaigbi1886 pages = "246--263" } +@Misc{gandhi-et-al-arxiv2024, + author = "Kanishk Gandhi and Denise Lee and Gabriel Grand and Muxin Liu and Winson Cheng and Archit Sharma and Noah D. Goodman", + title = "Stream of {S}earch ({SoS}): Learning to Search in Language", + year = "2024", + howpublished = "arXiv:2404.03683 [cs.LG]" +} + % Data verified. % Available from the library and/or Bernhard. @Book{garey-johnson-1979, @@ -7659,6 +7753,13 @@ @Article{gottlob-et-al-jcss2002 publisher = "Elsevier" } +% TODO(Michael): Add page numbers. +@InProceedings{gou-et-al-iclr2024, + author = "Zhibin Gou and Zhihong Shao and Yeyun Gong and yelong shen and Yujiu Yang and Nan Duan and Weizhu Chen", + title = "{CRITIC}: Large Language Models Can Self-Correct with Tool-Interactive Critiquing", + crossref = "iclr2024" +} + @InProceedings{graedel-csl1991, author = "Erich Gr{\"a}del", title = "On Transitive Closure Logic", @@ -7887,6 +7988,13 @@ @Misc{grundke-roeger-zenodo2025 howpublished = "\url{https://doi.org/10.5281/zenodo.16875437}" } +@InProceedings{guan-et-al-neurips2023, + author = "Lin Guan and Karthik Valmeekam and Sarath Sreedharan and Subbarao Kambhampati", + title = "Leveraging pre-trained large language models to construct and utilize world models for model-based task planning", + crossref = "neurips2023", + pages = "79081--79094" +} + @InProceedings{guerin-et-al-icaps2012wswipc, author = "Joshua T. Guerin and Josiah P. Hanna and Libby Ferland and Nicholas Mattei and Judy Goldsmith", title = "The Academic Advising Planning Domain", @@ -7923,6 +8031,13 @@ @Article{guillot-stauffer-ejor2020 pages = "148--158" } +@Misc{guo-et-al-arxiv2024, + author = "Daya Guo and Qihao Zhu and Dejian Yang and Zhenda Xie and Kai Dong and Wentao Zhang and Guanting Chen and Xiao Bi and Y. Wu and Y. K. Li and Fuli Luo and Yingfei Xiong and Wenfeng Liang", + title = "Deep{S}eek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence", + year = "2024", + howpublished = "arXiv:2401.14196 [cs.SE]" +} + % Data taken from the postscript of the article. % Postscript available. @Article{gupta-nau-aij1992, @@ -9333,6 +9448,13 @@ @InProceedings{hu-degiacomo-ijcai2011 pages = "918--923" } +@Misc{hu-et-al-arxiv2024, + author = "Xueyu Hu and Kun Kuang and Jiankai Sun and Hongxia Yang and Fei Wu", + title = "Leveraging Print Debugging to Improve Code Generation in Large Language Models", + year = "2024", + howpublished = "arXiv:2401.05319 [cs.CL]" +} + @InProceedings{hu-levesque-kr2010, author = "Yuxiao Hu and Hector J. Levesque", title = "A Correctness Result for Reasoning about One-Dimensional Planning Problems", @@ -9355,6 +9477,13 @@ @Misc{huang-et-al-arxiv2022 howpublished = "arXiv:2201.07207 [cs.LG]" } +% TODO(Michael): Add page numbers. +@InProceedings{huang-et-al-iclr2024, + author = "Jie Huang and Xinyun Chen and Swaroop Mishra and Huaixiu Steven Zheng and Adams Wei Yu and Xinying Song and Denny Zhou", + title = "Large Language Models Cannot Self-Correct Reasoning Yet", + crossref = "iclr2024" +} + @Article{huang-et-al-jair2012, author = "Ruoyun Huang and Yixin Chen and Weixiong Zhang", title = "{SAS}$^+$ Planning as Satisfiability", @@ -9389,6 +9518,13 @@ @Book{hunt-thomas-2000 year = "2000" } +@Misc{hurst-et-al-arxiv2024, + author = "Aaron Hurst and Adam Lerer and Adam P Goucher and Adam Perelman and others", + title = "{GPT-4o} System Card", + year = "2024", + howpublished = "arXiv:2410.21276 [cs.CL]" +} + % Data from DBLP @Article{hutter-et-al-aij2014, author = "Frank Hutter and @@ -9672,6 +9808,27 @@ @InProceedings{jiang-et-al-aamas2014 crossref = "aamas2014" } +@Misc{jiang-et-al-arxiv2023, + author = "Shuyang Jiang and Yuhao Wang and Yu Wang", + title = "{SelfEvolve}: A Code Evolution Framework via Large Language Models", + year = "2023", + howpublished = "arXiv:2306.02907 [cs.CL]" +} + +@Misc{jiang-et-al-arxiv2024, + author = "Albert Q. Jiang and Alexandre Sablayrolles and Antoine Roux and Arthur Mensch and others", + title = "Mixtral of Experts", + year = "2024", + howpublished = "arXiv:2401.04088 [cs.LG]" +} + +% TODO(Michael): Add page numbers. +@InProceedings{jimenez-et-al-iclr2024, + author = "Carlos E. Jimenez and John Yang and Alexander Wettig and Shunyu Yao and Kexin Pei and Ofir Press and Karthik R. Narasimhan", + title = "{SWE-bench}: Can Language Models Resolve Real-world Github Issues?", + crossref = "iclr2024" +} + @Article{jimenez-et-al-ker2012, author = "Sergio Jim{\'e}nez and Tom{\'a}s de la Rosa and Susana Fernand{\'e}z and Fernando Fernand{\'e}z and Daniel Borrajo", @@ -9924,6 +10081,20 @@ @InProceedings{kambhampati-aaai2007 pages = "1601--1604" } +@Misc{kambhampati-et-al-arxiv2024, + author = "Subbarao Kambhampati and Karthik Valmeekam and Lin Guan and Kaya Stechly and Mudit Verma and Siddhant Bhambri and Lucas Saldyt and Anil Murthy", + title = "{LLMs} Can't Plan, But Can Help Planning in {LLM-Modulo} Frameworks", + year = "2024", + howpublished = "arXiv:2402.01817 [cs.AI]" +} + +% TODO(Michael): Add page numbers. +@InProceedings{kambhampati-et-al-icml2024, + author = "Subbarao Kambhampati and Karthik Valmeekam and Lin Guan and Mudit Verma and Kaya Stechly and Siddhant Bhambri and Lucas Paul Saldyt and Anil B Murthy", + title = "Position: {LLM}s Can{\textquoteright}t Plan, But Can Help Planning in {LLM}-Modulo Frameworks", + crossref = "icml2024" +} + @Article{kaminski-et-al-tcs2012, author = "Marcin Kaminski and Paul Medvedev and Martin Milanic", title = "Complexity of independent set reconfigurability problems", @@ -10168,6 +10339,12 @@ @InProceedings{katz-et-al-icaps2020 pages = "403--411" } +@InProceedings{katz-et-al-icaps2025wslm4plan, + author = "Michael Katz and Harsha Kokel and Sarath Sreedharan", + title = "Seemingly Simple Planning Problems are Computationally Challenging: The Countdown Game", + crossref = "icaps2025wslm4plan" +} + @InProceedings{katz-et-al-ipc2018, author = "Michael Katz and Shirin Sohrabi and Horst Samulowitz and Silvan Sievers", title = "Delfi: Online Planner Selection for Cost-Optimal Planning", @@ -10925,6 +11102,13 @@ @InProceedings{koeppel-et-al-ecmlpkdd2019 crossref = "ecmlpkdd2019" } +@InProceedings{kojima-et-al-neurips2022, + author = "Takeshi Kojima and Shixiang Shane Gu and Machel Reid and Yutaka Matsuo and Yusuke Iwasawa", + title = "Large language models are zero-shot reasoners", + crossref = "neurips2022", + pages = "22199--22213" +} + @InProceedings{kokel-et-al-ijcai2023, author = "Harsha Kokel and Junkyu Lee and Michael Katz and Kavitha Srinivas and Shirin Sohrabi", title = "Action Space Reduction for Planning Domains", @@ -11476,6 +11660,13 @@ @Book{lawler-1976 year = "1976" } +% TODO(Michael): Add page numbers. +@InProceedings{le-et-al-iclr2024, + author = "Hung Le and Hailin Chen and Amrita Saha and Akash Gokul and Doyen Sahoo and Shafiq Joty", + title = "{CodeChain}: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules", + crossref = "iclr2024" +} + @Article{leberre-parrain-jsbmc2010, title = "The {Sat4j} library, release 2.2", author = "Daniel {Le Berre} and Anne Parrain", @@ -11687,6 +11878,13 @@ @InCollection{levy-heurprog1989 editor = "David N. L. Levy and Donald F. Beal" } +@InProceedings{li-et-al-cav2024, + author = "Yixuan Li and Julian Parsert and Elizabeth Polgreen", + title = "Guiding Enumerative Program Synthesis with Large Language Models", + crossref = "cav2024", + pages = "280--301" +} + % Data from DBLP, ICLR seems to be without page numbers @InProceedings{li-et-al-iclr2016, author = "Yujia Li and Daniel Tarlow and Marc Brockschmidt and @@ -11939,6 +12137,13 @@ @InProceedings{liu-et-al-aaai2002 pages = "484--491" } +@Misc{liu-et-al-arxiv2023, + author = "Bo Liu and Yuqian Jiang and Xiaohan Zhang and Qiang Liu and Shiqi Zhang and Joydeep Biswas and Peter Stone", + title = "{LLM+P:} Empowering Large Language Models with Optimal Planning Proficiency", + year = "2023", + howpublished = "arXiv:2304.11477 [cs.AI]" +} + @InProceedings{long-buro-ijcai2011, author = "Jeffrey Richard Long and Michael Buro", title = "Real-Time Opponent Modeling in Trick-Taking Card Games", @@ -12116,6 +12321,13 @@ @InProceedings{ma-et-al-aaai2020 year = "2020" } +@Misc{ma-et-al-arxiv2024, + author = "Chang Ma and Junlei Zhang and Zhihao Zhu and Cheng Yang and Yujiu Yang and Yaohui Jin and Zhenzhong Lan and Lingpeng Kong and Junxian He", + title = "{AgentBoard}: An Analytical Evaluation Board of Multi-turn {LLM} Agents", + year = "2024", + howpublished = "arXiv:2401.13178 [cs.CL]" +} + % "corr" used for legacy reasons. In the future, use "arxiv" @Misc{ma-et-al-corr2018, author = "Tengfei Ma and Patrick Ferber and Siyu Huo and Jie Chen and Michael Katz", @@ -12141,6 +12353,13 @@ @Book{mackay-2003 year = "2003" } +@InProceedings{madaan-et-al-neurips2023, + author = "Aman Madaan and Niket Tandon and Prakhar Gupta and Skyler Hallinan and Luyu Gao and Sarah Wiegreffe and Uri Alon and Nouha Dziri and Shrimai Prabhumoye and Yiming Yang and Shashank Gupta and Bodhisattwa Prasad Majumder and Katherine Hermann and Sean Welleck and Amir Yazdanbakhsh and Peter Clark", + title = "{Self-Refine}: Iterative Refinement with {Self-Feedback}", + crossref = "neurips2023", + pages = "46534--46594" +} + @InProceedings{mandow-cruz-ijcai2005, author = "Lawrence Mandow and JL P\'{e}rez De la Cruz", title = "A New Approach to Multiobjective {A*} Search", @@ -12512,6 +12731,14 @@ @Article{mero-aij1984 pages = "13--27" } +@Misc{meta-et-al-misc2024, + author = "Aaditya Singh and others", + title = "Llama 3 Model Card", + year = "2024", + url = "https://github.com/meta-llama/llama3/blob/main/MODEL_CARD.md", + howpublished = "\url{https://github.com/meta-llama/llama3/blob/main/MODEL_CARD.md}" +} + % AMiT is not a typo, but the firstname used in the paper. % The page is indicated to be "e103". @Article{meurer-et-al-peerjcs2017, @@ -12735,6 +12962,13 @@ @Article{motzkin-et-al-theoryofgames1953 pages = "51--74" } +% TODO(Michael): Add page numbers. +@InProceedings{muennighoff-et-al-iclr2024, + author = "Niklas Muennighoff and Qian Liu and Armel Randy Zebaze and Qinkai Zheng and Binyuan Hui and Terry Yue Zhuo and Swayam Singh and Xiangru Tang and Leandro von Werra and Shayne Longpre", + title = "{OctoPack}: Instruction Tuning Code Large Language Models", + crossref = "iclr2024" +} + @InProceedings{mugdan-et-al-icaps2023, author = "Esther Mugdan and Remo Christen and Salom{\'e} Eriksson", title = "Optimality Certificates for Classical Planning", @@ -13118,6 +13352,14 @@ @InProceedings{ontanon-aaai2013 crossref = "aaai2013", } +@Misc{openaidev-forum-2024, + author = "OpenAI Dev. Forum", + title = "{P}erformance analysis of {A}ssistants versus {C}hat completion", + year = "2024", + howpublished = "\url{https://community.openai.com/t/performance-analysis-of-assistants-versus-chat-completion-chat-completion-seems-somewhat-faster-for-complete-message-generation-streaming-taken-into-account/628368}", + month = "Feb" +} + @InProceedings{orseau-et-al-neurips2018, author = "Laurent Orseau and Levi Lelis and Tor Lattimore and Th\'{e}ophane Weber", @@ -13166,6 +13408,27 @@ @Article{palacios-geffner-jair2009 pages = "623--675" } +@Misc{pallagani-et-al-arxiv2022, + author = "Vishal Pallagani and Bharath Muppasani and Keerthiram Murugesan and Francesca Rossi and Lior Horesh and Biplav Srivastava and Francesco Fabiano and Andrea Loreggia", + title = "Plansformer: Generating Symbolic Plans using Transformers", + year = "2022", + howpublished = "arXiv:2212.08681 [cs.AI]" +} + +@Misc{pallagani-et-al-arxiv2023, + author = "Vishal Pallagani and Bharath Muppasani and Keerthiram Murugesan and Francesca Rossi and Biplav Srivastava and Lior Horesh and Francesco Fabiano and Andrea Loreggia", + title = "Understanding the Capabilities of Large Language Models for Automated Planning", + year = "2023", + howpublished = "arXiv:2305.16151 [cs.AI]" +} + +% TODO(Michael): Add page numbers. +@InProceedings{pan-et-al-icse2025, + author = "Rangeet Pan and Myeongsoo Kim and Rahul Krishna and Raju Pavuluri and Saurabh Sinha", + title = "{ASTER}: Natural and Multi-language Unit Test Generation with {LLMs}", + crossref = "icse2025" +} + % Data taken from DBLP @InProceedings{panda-somenzi-iccad1995, author = "Shipra Panda and Fabio Somenzi", @@ -13831,6 +14094,13 @@ @InProceedings{puget-ismis1993 year = "1993" } +% TODO(Michael): Add page numbers. +@InProceedings{puri-et-al-neurips2021db, + author = "Ruchir Puri and David S. Kung and Geert Janssen and Wei Zhang and Giacomo Domeniconi and Vladimir Zolotov and Julian Dolby and Jie Chen and Mihir R. Choudhury and Lindsey Decker and Veronika Thost and Luca Buratti and Saurabh Pujar and Shyam Ramji and Ulrich Finkler and Susan Malaika and Frederick Reiss", + title = "{CodeNet}: {A} {Large-Scale} {AI} for Code Dataset for Learning a Diversity of Coding Tasks", + crossref = "neurips2021db" +} + @Book{puterman-1994, author = "Martin L. Puterman", title = "Markov Decision Processes: Discrete Stochastic Dynamic Programming", @@ -13883,6 +14153,12 @@ @Article{ramalingam-reps-jalg1996 pages = "267--305" } +@InProceedings{raman-et-al-neurips2022wsfmdm, + author = "Shreyas Sundara Raman and Vanya Cohen and Eric Rosen and Ifrah Idrees and David Paulius and Stefanie Tellex", + title = "Planning With Large Language Models Via Corrective Re-Prompting", + crossref = "neurips2022wsfmdm" +} + @Misc{ramesh-et-al-arxiv2021, author = "Aditya Ramesh and Mikhail Pavlov and Gabriel Goh and Scott Gray and Chelsea Voss and Alec Radford and @@ -15542,6 +15818,13 @@ @Misc{seipp-zenodo2024b howpublished = "\url{https://doi.org/10.5281/zenodo.13361692}" } +% TODO(Michael): Add page numbers. +@InProceedings{sel-et-al-icml2024, + author = "Bilgehan Sel and Ahmad Al{-}Tawaha and Vanshaj Khattar and Lu Wang and Ruoxi Jia and Ming Jin", + title = "Algorithm of Thoughts: Enhancing Exploration of Ideas in Large Language Models", + crossref = "icml2024" +} + @Article{selman-et-al-aij1996, author = "Bart Selman and David G. Mitchell and Hector J. Levesque", title = "Generating Hard Satisfiability Problems", @@ -15700,6 +15983,13 @@ @Article{shimbel-sin1954 volume = "4", } +% TODO(Michael): Add page numbers. +@InProceedings{shinn-et-al-neurips2023, + author = "Noah Shinn and Federico Cassano and Ashwin Gopinath and Karthik Narasimhan and Shunyu Yao", + title = "Reflexion: language agents with verbal reinforcement learning", + crossref = "neurips2023" +} + @Article{shiryaev-et-al-qf2008, author = "Albert Shiryaev and Zuoquan Xu and Xun Yu Zhou", title = "Thou Shalt Buy and Hold", @@ -16088,6 +16378,12 @@ @Article{silver-et-al-nature2017 year = "2017" } +@InProceedings{silver-et-al-neurips2022wsfmdm, + author = "Tom Silver and Varun Hariprasad and Reece S Shuttleworth and Nishanth Kumar and Tom{\'a}s Lozano-P{\'e}rez and Leslie Pack Kaelbling", + title = "{PDDL} Planning with Pretrained Large Language Models", + crossref = "neurips2022wsfmdm" +} + @Article{silver-et-al-science2018, title = "A general reinforcement learning algorithm that masters chess, shogi, and Go through self-play", @@ -16699,6 +16995,20 @@ @Misc{stechly-et-al-arxiv2023 howpublished = "arXiv:2310.12397 [cs.AI]" } +@Misc{stechly-et-al-arxiv2024, + author = "Kaya Stechly and Karthik Valmeekam and Subbarao Kambhampati", + title = "On the Self-Verification Limitations of Large Language Models on Reasoning and Planning Tasks", + year = "2024", + howpublished = "arXiv:2402.08115 [cs.AI]" +} + +% TODO(Michael): Add page numbers. +@InProceedings{stein-et-al-icaps2026, + author = "Katharina Stein and Nils Hodel and Daniel Fi{\v{s}}er and J{\"o}rg Hoffmann and Michael Katz and Alexander Koller", + title = "Improved Generalized Planning with {LLMs} through Strategy Refinement and Reflection", + crossref = "icaps2026" +} + @InProceedings{steinmetz-et-al-aaai2022, author = "Marcel Steinmetz and J{\"o}rg Hoffmann and Alisa Kovtunova and Stefan Borgwardt", @@ -17445,6 +17755,13 @@ @Article{tsitsiklis-van-roy-jml1996 year = "1996" } +% TODO(Michael): Add page numbers. +@InProceedings{tuisov-et-al-icaps2026, + author = "Alexander Tuisov and Yonatan Vernik and Alexander Shleyfman", + title = "Successor-Generator Planning with {LLM}-Generated Heuristics", + crossref = "icaps2026" +} + @InProceedings{tuisov-katz-ijcai2021, author = "Alexander Tuisov and Michael Katz", title = "The Fewer the Merrier: Pruning Preferred Operators with Novelty", @@ -18270,6 +18587,13 @@ @InProceedings{xie-et-al-aaai2014b pages = "2388--2394" } +@Misc{xie-et-al-arxiv2023, + author = "Yaqi Xie and Chen Yu and Tongyao Zhu and Jinbin Bai and Ze Gong and Harold Soh", + title = "Translating Natural Language to Planning Goals with Large-Language Models", + year = "2023", + howpublished = "arXiv:2302.05128 [cs.CL]" +} + @InProceedings{xie-et-al-ipc2014, author = "Fan Xie and Martin M{\"u}ller and Robert Holte", title = "Jasper: the Art of Exploration in Greedy Best First Search", @@ -18336,6 +18660,13 @@ @Article{yang-et-al-aij2007 pages = "107--143" } +@Misc{yang-et-al-arxiv2024, + 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", + howpublished = "arXiv:2405.15793 [cs.SE]" +} + % Data taken from JAIR homepage. @Article{yang-et-al-jair2008, author = "Fan Yang and Joseph Culberson and Robert Holte and @@ -18575,6 +18906,20 @@ @InProceedings{zhang-et-al-aamas2014 pages = "509--516" } +% TODO(Michael): Add page numbers. +@InProceedings{zhang-et-al-acl2023, + author = "Kechi Zhang and Zhuo Li and Jia Li and Ge Li and Zhi Jin", + title = "Self-Edit: Fault-Aware Code Editor for Code Generation", + crossref = "acl2023" +} + +% TODO(Michael): Add page numbers. +@InProceedings{zhang-et-al-iclr2023, + author = "Shun Zhang and Zhenfang Chen and Yikang Shen and Mingyu Ding and Joshua B. Tenenbaum and Chuang Gan", + title = "Planning with Large Language Models for Code Generation", + crossref = "iclr2023" +} + @InProceedings{zhang-et-al-ijcai2009, author = "Zhifu Zhang and Nathan R. Sturtevant and Robert Holte and Jonathan Schaeffer and Ariel Felner", @@ -18591,6 +18936,28 @@ @InProceedings{zheng-et-al-icml2020 pages = "11436--11446" } +@Misc{zhong-et-al-arxiv2024, + author = "Li Zhong and Zilong Wang and Jingbo Shang", + title = "Debug like a Human: A Large Language Model Debugger via Verifying Runtime Execution Step-by-step", + year = "2024", + howpublished = "arXiv:2402.16906 [cs.CL]" +} + +% TODO(Michael): Add page numbers. +@InProceedings{zhou-et-al-iclr2024, + author = "Aojun Zhou and Ke Wang and Zimu Lu and Weikang Shi and Sichun Luo and Zipeng Qin and + Shaoqing Lu and Anya Jia and Linqi Song and Mingjie Zhan and Hongsheng Li", + title = "Solving Challenging Math Word Problems Using {GPT-4} Code Interpreter with Code-based {Self-Verification}", + crossref = "iclr2024" +} + +% TODO(Michael): Add page numbers. +@InProceedings{zhou-et-al-icml2024, + author = "Andy Zhou and Kai Yan and Michal Shlapentokh{-}Rothman and Haohan Wang and Yu{-}Xiong Wang", + title = "Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Models", + crossref = "icml2024" +} + @InProceedings{zhou-hansen-aaai2006, author = "Rong Zhou and Eric A. Hansen", title = "Domain-Independent Structured Duplicate Detection", @@ -18715,3 +19082,10 @@ @InProceedings{zu-et-al-ijcai2005 year = "2005", crossref = "ijcai2005", } + +% TODO(Michael): Add page numbers. +@Article{zuo-et-al-naacl2025, + author = "Max Zuo and Francisco Piedrahita Velez and Xiaochen Li and Michael L. Littman and Stephen H. Bach", + title = "Planetarium: {A} Rigorous Benchmark for Translating Text to Structured Planning Languages", + crossref = "naacl2025" +} From f01350781f60e174efe4d782a89efb1aa0854a4b Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Fri, 27 Feb 2026 10:36:19 -0500 Subject: [PATCH 02/18] added acl-findings2023,acl-findings2024,acl-findings2025,iclr2025,iclr2026,icra2023,neurips2023db,neurips2024wsowa,unisaar,aravindan-et-al-arxiv2025,cao-et-al-icaps2026,cao-et-al-neurips2024wsowa,colton-aig2014,correa-et-al-arxiv2025,correa-et-al-icaps2024,deepseek-ai-et-al-arxiv2025,echchahed-castro-2025,he-et-al-acl-findings2023,hodel-2024,hsiao-et-al-arxiv2025,huang-et-al-aaai2025,katz-et-al-arxiv2025,kleinberg-tardos-2006,kokel-et-al-aaai2025,kokel-et-al-iclr2026,konidaris-et-al-jair2018,liang-et-al-icra2023,liu-et-al-iclr2018,openai-et-al-arxiv2024,qwen-misc2024,scala-et-al-jair2020,singh-et-al-icra2023,song-et-al-arxiv2025,stein-et-al-icaps2025,stojanovski-et-al-neurips2025,sun-et-al-neurips2023,tantakoun-et-al-acl-findings2025,trivedi-et-al-acl-findings2024,vafa-et-al-arxiv2024,vallati-et-al-icaps2025,valmeekam-et-al-neurips2023db,verma-et-al-icaps2025wslm4plan,wang-et-al-icml2024,xie-et-al-icml2024,zuo-et-al-naacl2025 --- abbrv-short.bib | 1 + abbrv.bib | 1 + crossref-short.bib | 48 ++++++++ crossref.bib | 61 ++++++++++ literatur.bib | 280 ++++++++++++++++++++++++++++++++++++++++++++- 5 files changed, 388 insertions(+), 3 deletions(-) diff --git a/abbrv-short.bib b/abbrv-short.bib index 59a468a..23e92e2 100644 --- a/abbrv-short.bib +++ b/abbrv-short.bib @@ -35,3 +35,4 @@ @String{csunibas @String{unifr = "University of Freiburg"} @String{csunifr = "University of Freiburg, Department of Computer Science"} @String{liu = "Link{\"o}ping University"} +@String{unisaar = "Saarland University"} diff --git a/abbrv.bib b/abbrv.bib index d8cd103..c41c9fa 100644 --- a/abbrv.bib +++ b/abbrv.bib @@ -35,3 +35,4 @@ @String{csunibas @String{unifr = "University of Freiburg"} @String{csunifr = "University of Freiburg, Department of Computer Science"} @String{liu = "Link{\"o}ping University"} +@String{unisaar = "Saarland University"} diff --git a/crossref-short.bib b/crossref-short.bib index 03336de..b0ff24c 100644 --- a/crossref-short.bib +++ b/crossref-short.bib @@ -255,6 +255,24 @@ @Proceedings{aamas2024 year = "2024" } +@Proceedings{acl-findings2023, + title = "Findings of ACL 2023", + booktitle = "Findings of ACL 2023", + year = "2023" +} + +@Proceedings{acl-findings2024, + title = "Findings of ACL 2024", + booktitle = "Findings of ACL 2024", + year = "2024" +} + +@Proceedings{acl-findings2025, + title = "Findings of ACL 2025", + booktitle = "Findings of ACL 2025", + year = "2025" +} + @Proceedings{acl2023, title = "Proc.\ ACL 2023", booktitle = "Proc.\ ACL 2023", @@ -1282,6 +1300,18 @@ @Proceedings{iclr2024 year = "2024" } +@Proceedings{iclr2025, + title = "Proc.\ ICLR 2025", + booktitle = "Proc.\ ICLR 2025", + year = "2025" +} + +@Proceedings{iclr2026, + title = "Proc.\ ICLR 2026", + booktitle = "Proc.\ ICLR 2026", + year = "2026" +} + @Proceedings{icml2001, title = "Proc.\ ICML 2001", booktitle = "Proc.\ ICML 2001", @@ -1354,6 +1384,12 @@ @Proceedings{icra2009 year = "2009" } +@Proceedings{icra2023, + title = "Proc.\ ICRA 2023", + booktitle = "Proc.\ ICRA 2023", + year = "2023" +} + @Proceedings{icse2025, title = "Proc.\ ICSE 2025", booktitle = "Proc.\ ICSE 2025", @@ -1911,6 +1947,12 @@ @Proceedings{neurips2023 year = "2023" } +@Proceedings{neurips2023db, + title = "Proc.\ NeurIPS 2023 Datasets and Benchmarks", + booktitle = "Proc.\ NeurIPS 2023 Datasets and Benchmarks", + year = "2023" +} + @Proceedings{neurips2023wsgenplan, title = "{NeurIPS} 2023 Workshop on Generalization in Planning", booktitle = "{NeurIPS} 2023 Workshop on Generalization in Planning", @@ -1923,6 +1965,12 @@ @Proceedings{neurips2024 year = "2024" } +@Proceedings{neurips2024wsowa, + title = "{NeurIPS} 2024 Workshop on Open-World Agents", + booktitle = "{NeurIPS} 2024 Workshop on Open-World Agents", + year = "2024" +} + @Proceedings{neurips2025, title = "Proc.\ NeurIPS 2025", booktitle = "Proc.\ NeurIPS 2025", diff --git a/crossref.bib b/crossref.bib index 2c50060..2fadade 100644 --- a/crossref.bib +++ b/crossref.bib @@ -427,6 +427,30 @@ @Proceedings{aamas2024 year = "2024" } +@Proceedings{acl-findings2023, + editor = "Anna Rogers and Jordan Boyd-Graber and Naoaki Okazaki", + title = "Findings of the Association for Computational Linguistics: ACL 2023", + booktitle = "Findings of the Association for Computational Linguistics: ACL 2023", + publisher = "Association for Computational Linguistics", + year = "2023" +} + +@Proceedings{acl-findings2024, + editor = "Lun{-}Wei Ku and Andre Martins and Vivek Srikumar", + title = "Findings of the Association for Computational Linguistics: ACL 2024", + booktitle = "Findings of the Association for Computational Linguistics: ACL 2024", + publisher = "Association for Computational Linguistics", + year = "2024" +} + +@Proceedings{acl-findings2025, + editor = "Wanxiang Che and Joyce Nabende and Ekaterina Shutova and Mohammad Taher Pilehvar", + title = "Findings of the Association for Computational Linguistics: ACL 2025", + booktitle = "Findings of the Association for Computational Linguistics: ACL 2025", + publisher = "Association for Computational Linguistics", + year = "2025" +} + @Proceedings{acl2023, editor = "Anna Rogers and Jordan Boyd-Graber and Naoaki Okazaki", title = "Proceedings of the 61st Annual Meeting of the Association @@ -1957,6 +1981,20 @@ @Proceedings{iclr2024 year = "2024" } +@Proceedings{iclr2025, + title = "Proceedings of the Thirteenth International Conference on Learning Representations (ICLR 2025)", + booktitle = "Proceedings of the Thirteenth International Conference on Learning Representations (ICLR 2025)", + publisher = "OpenReview.net", + year = "2025" +} + +@Proceedings{iclr2026, + title = "Proceedings of the Fourteenth International Conference on Learning Representations (ICLR 2026)", + booktitle = "Proceedings of the Fourteenth International Conference on Learning Representations (ICLR 2026)", + publisher = "OpenReview.net", + year = "2026" +} + @Proceedings{icml2001, editor = "Carla E. Brodley and Andrea {Pohoreckyj Danyluk}", title = "Proceedings of the Eighteenth International Conference on Machine Learning (ICML 2001)", @@ -2072,6 +2110,15 @@ @Proceedings{icra2009 year = "2009" } +@Proceedings{icra2023, + title = "Proceedings of the 2023 IEEE International Conference + on Robotics and Automation (ICRA 2023)", + booktitle = "Proceedings of the 2023 IEEE International Conference + on Robotics and Automation (ICRA 2023)", + publisher = "IEEE", + year = "2023" +} + @Proceedings{icse2025, title = "Proceedings of the 47th IEEE/ACM International Conference on Software Engineering (ICSE 2025)", @@ -3032,6 +3079,14 @@ @Proceedings{neurips2023 year = "2023" } +@Proceedings{neurips2023db, + title = "Proceedings of the Thirty-Seventh Annual Conference on + Neural Information Processing Systems ({NeurIPS} 2023) Track on Datasets and Benchmarks", + booktitle = "Proceedings of the Thirty-Seventh Annual Conference on + Neural Information Processing Systems ({NeurIPS} 2023) Track on Datasets and Benchmarks", + year = "2023" +} + @Proceedings{neurips2023wsgenplan, title = "{NeurIPS} 2023 Workshop on Generalization in Planning", booktitle = "{NeurIPS} 2023 Workshop on Generalization in Planning", @@ -3046,6 +3101,12 @@ @Proceedings{neurips2024 year = "2024" } +@Proceedings{neurips2024wsowa, + title = "{NeurIPS} 2024 Workshop on Open-World Agents", + booktitle = "{NeurIPS} 2024 Workshop on Open-World Agents", + year = "2024" +} + @Proceedings{neurips2025, title = "Proceedings of the Thirty-Ninth Annual Conference on Neural Information Processing Systems ({NeurIPS} 2025)", diff --git a/literatur.bib b/literatur.bib index 4c62675..cbd08c7 100644 --- a/literatur.bib +++ b/literatur.bib @@ -478,6 +478,14 @@ @InCollection{apt-et-al-1988 publisher = "Morgan Kaufmann" } +@Misc{aravindan-et-al-arxiv2025, + author = "Ashwath Vaithinathan Aravindan and Zhisheng Tang and + Mayank Kejriwal", + title = "{Code-Driven} Planning in Grid Worlds with Large Language Models", + year = "2025", + howpublished = "arXiv:2505.10749 [cs.AI]" +} + @Article{archer-amm1999, author = "Aaron F. Archer", title = "A Modern Treatment of the 15 Puzzle", @@ -2758,6 +2766,21 @@ @InProceedings{calvanese-et-al-kr2002 pages = "593--602" } +% TODO(Michael): Add page numbers. +@InProceedings{cao-et-al-icaps2026, + author = "Daniel Cao and Michael Katz and Harsha Kokel and + Kavitha Srinivas and Shirin Sohrabi", + title = "Automating {T}hought of {S}earch: A Journey Towards Soundness and Completeness", + crossref = "icaps2026" +} + +@InProceedings{cao-et-al-neurips2024wsowa, + author = "Daniel Cao and Michael Katz and Harsha Kokel and + Kavitha Srinivas and Shirin Sohrabi", + title = "Automating {T}hought of {S}earch: A Journey Towards Soundness and Completeness", + crossref = "neurips2024wsowa" +} + @TechReport{carbonell-et-al-tr1992, author = "Jaime G. Carbonell and Jim Blythe and Oren Etzioni and Yolanda Gil and Robert Joseph and Dan Kahn and @@ -3572,6 +3595,14 @@ @Article{coles-smith-jair2007 year = "2007" } +% TODO(Michael): Add page numbers. +@InProceedings{colton-aig2014, + author = "Simon Colton", + title = "Countdown numbers game: Solved, analysed, extended", + booktitle = "Proceedings of the AISB Symposium on AI and Games", + year = "2014" +} + @InProceedings{coman-munoz-avila-aaai2011, author = "Alexandra Coman and Hector Mu{\~{n}}oz{-}Avila", title = "Generating Diverse Plans Using Quantitative and Qualitative Plan @@ -3708,6 +3739,14 @@ @InProceedings{correa-et-al-aaai2023 pages = "11955--11962" } +@Misc{correa-et-al-arxiv2025, + author = "Augusto B. Corr{\^e}a and Andr{\'e} G. Pereira and + Jendrik Seipp", + title = "The 2025 Planning Performance of Frontier Large Language Models", + year = "2025", + howpublished = "arXiv:2511.09378 [cs.AI]" +} + @InProceedings{correa-et-al-icaps2020, author = "Augusto B. Corr{\^e}a and Florian Pommerening and Malte Helmert and Guillem Franc{\`e}s", @@ -3732,6 +3771,14 @@ @InProceedings{correa-et-al-icaps2023 crossref = "icaps2023" } +@InProceedings{correa-et-al-icaps2024, + author = "Augusto B. Corr{\^e}a and Giuseppe De Giacomo and + Malte Helmert and Sasha Rubin", + title = "Planning with Object Creation", + crossref = "icaps2024", + pages = "104--113" +} + @InProceedings{correa-et-al-ipc2023a, author = "Augusto B. Corr\^{e}a and Guillem Franc\`{e}s and Markus Hecher and Davide Mario Longo and Jendrik Seipp", @@ -4290,6 +4337,14 @@ @Misc{deepseek-ai-et-al-arxiv2024 howpublished = "arXiv:2405.04434 [cs.CL]" } +@Misc{deepseek-ai-et-al-arxiv2025, + author = "DeepSeek-AI and Aixin Liu and Bei Feng and Bing Xue and + Bingxuan Wang and Bochao Wu and others", + title = "{DeepSeek-V3} Technical Report", + year = "2025", + howpublished = "arXiv:2412.19437 [cs.CL]" +} + % Data from DBLP @InProceedings{defferrard-et-al-nips2016, author = "Micha{\"e}l Defferrard and Xavier Bresson and @@ -5071,6 +5126,15 @@ @Article{ebendt-drechsler-aij2009 pages = "1310--1342" } +% TODO(Michael): Add page numbers. +@Article{echchahed-castro-2025, + author = "Ayoub Echchahed and Pablo Samuel Castro", + title = "A Survey of State Representation Learning for Deep Reinforcement Learning", + journal = "Transactions on Machine Learning Research", + volume = "2025", + year = "2025" +} + % Data verified from paper on AAAI Press page. @InProceedings{eckerle-et-al-icaps2017, author = "J{\"u}rgen Eckerle and Jingwei Chen and Nathan R. Sturtevant @@ -8448,6 +8512,14 @@ @InProceedings{hatzack-nebel-ecp2001 crossref = "ecp2001" } +@InProceedings{he-et-al-acl-findings2023, + author = "Weinan He and Canming Huang and Zhanhao Xiao and Yongmei Liu", + title = "Exploring the Capacity of Pretrained Language Models for Reasoning about Actions and Change", + crossref = "acl-findings2023", + pages = "4629--4643", + year = "2023" +} + % Data from IEEE explore @InProceedings{he-et-al-cvpr2016, author = "Kaiming He and Xiangyu Zhang and Shaoqing Ren and @@ -8855,6 +8927,14 @@ @InProceedings{hickmott-et-al-ijcai2007 crossref = "ijcai2007", } +@MastersThesis{hodel-2024, + author = "Nils Hodel", + title = "Exploring the use of {LLMs} in generalized planning", + school = unisaar, + year = "2024", + type = "Bachelor's thesis" +} + @InProceedings{hoeft-et-al-ecai2023, author = "Paul H{\"o}ft and David Speck and Jendrik Seipp", title = "Sensitivity Analysis for Saturated Post-hoc Optimization in Classical Planning", @@ -9441,6 +9521,13 @@ @InProceedings{howey-long-icaps2003wscompetition crossref = "icaps2003wscompetition" } +@Misc{hsiao-et-al-arxiv2025, + author = "Vincent Hsiao and Mark Roberts and Leslie Smith", + title = "Procedural Knowledge Improves Agentic {LLM} Workflows", + year = "2025", + howpublished = "arXiv:2511.07568 [cs.AI]" +} + @InProceedings{hu-degiacomo-ijcai2011, author = "Yuxiao Hu and Giuseppe De Giacomo", title = "Generalized Planning: Synthesizing Plans that Work for Multiple Environments", @@ -9470,6 +9557,13 @@ @InProceedings{hu-speck-socs2022 crossref = "socs2022" } +@InProceedings{huang-et-al-aaai2025, + author = "Sukai Huang and Nir Lipovetzky and Trevor Cohn", + title = "Planning in the Dark: {LLM-Symbolic} Planning Pipeline Without Experts", + crossref = "aaai2025", + pages = "26542--26550" +} + @Misc{huang-et-al-arxiv2022, author = "Wenlong Huang and Pieter Abbeel and Deepak Pathak and Igor Mordatch", title = "Language Models as Zero-Shot Planners: Extracting Actionable Knowledge for Embodied Agents", @@ -10288,6 +10382,13 @@ @Misc{katz-et-al-arxiv2024 howpublished = "arXiv:2403.03176 [cs.AI]" } +@Misc{katz-et-al-arxiv2025, + author = "Michael Katz and Harsha Kokel and Sarath Sreedharan", + title = "Seemingly Simple Planning Problems are Computationally Challenging: The Countdown Game", + year = "2025", + howpublished = "arXiv:2508.02900 [cs.AI]" +} + @InProceedings{katz-et-al-icaps2012, author = "Michael Katz and J{\"o}rg Hoffmann and Malte Helmert", title = "How to Relax a Bisimulation?", @@ -10854,6 +10955,13 @@ @InProceedings{klein-manning-naacl2003 pages = "40--47" } +@Book{kleinberg-tardos-2006, + author = "Jon Kleinberg and \'{E}va Tardos", + title = "Algorithm Design", + publisher = "Addison-Wesley", + year = "2006" +} + @Book{kleinebuening-lettmann-1999, author = "Hans {Kleine B{\"u}ning} and Theodor Lettmann", title = "Propositional Logic: Deduction and Algorithms", @@ -11109,6 +11217,22 @@ @InProceedings{kojima-et-al-neurips2022 pages = "22199--22213" } +% TODO(Michael): Add page numbers. +@InProceedings{kokel-et-al-aaai2025, + author = "Harsha Kokel and Michael Katz and Kavitha Srinivas and + Shirin Sohrabi", + title = "{ACPBench}: Reasoning about Action, Change, and Planning", + crossref = "aaai2025" +} + +% TODO(Michael): Add page numbers. +@InProceedings{kokel-et-al-iclr2026, + author = "Harsha Kokel and Michael Katz and Kavitha Srinivas and + Shirin Sohrabi", + title = "{ACPBench} Hard: Unrestrained Reasoning about Action, Change, and Planning", + crossref = "iclr2026" +} + @InProceedings{kokel-et-al-ijcai2023, author = "Harsha Kokel and Junkyu Lee and Michael Katz and Kavitha Srinivas and Shirin Sohrabi", title = "Action Space Reduction for Planning Domains", @@ -11214,6 +11338,16 @@ @InProceedings{konda-tsitsiklis-nips1999 pages = "1008--1014" } +@Article{konidaris-et-al-jair2018, + author = "George Konidaris and Leslie Pack Kaelbling and + Tomas Lozano-Perez", + title = "From skills to symbols: Learning symbolic representations for abstract high-level planning", + journal = jair, + volume = "61", + pages = "215--289", + year = "2018" +} + % Data taken from DBLP. @InProceedings{korf-aaai1997, author = "Richard E. Korf", @@ -11916,6 +12050,14 @@ @Article{li-et-al-jair2007 pages = "321--359" } +@InProceedings{liang-et-al-icra2023, + author = "Jacky Liang and Wenlong Huang and Fei Xia and Peng Xu and + Karol Hausman and Brian Ichter and Pete Florence and Andy Zeng", + title = "Code as Policies: Language Model Programs for Embodied Control", + crossref = "icra2023", + pages = "9493--9500" +} + @Book{libkin-2004, author = "Leonid Libkin", title = "Elements of Finite Model Theory", @@ -12144,6 +12286,14 @@ @Misc{liu-et-al-arxiv2023 howpublished = "arXiv:2304.11477 [cs.AI]" } +% TODO(Michael): Add page numbers. +@InProceedings{liu-et-al-iclr2018, + author = "Evan Zheran Liu and Kelvin Guu and Panupong Pasupat and + Tianlin Shi and Percy Liang", + title = "Reinforcement Learning on Web Interfaces Using {Workflow-Guided} Exploration", + crossref = "iclr2018" +} + @InProceedings{long-buro-ijcai2011, author = "Jeffrey Richard Long and Michael Buro", title = "Real-Time Opponent Modeling in Trick-Taking Card Games", @@ -13352,6 +13502,14 @@ @InProceedings{ontanon-aaai2013 crossref = "aaai2013", } +@Misc{openai-et-al-arxiv2024, + author = "OpenAI and : and Aaron Hurst and Adam Lerer and Adam P Goucher and + Adam Perelman and others", + title = "{OpenAI} {GPT-}4o System Card", + year = "2024", + howpublished = "arXiv:2410.21276 [cs.CL]" +} + @Misc{openaidev-forum-2024, author = "OpenAI Dev. Forum", title = "{P}erformance analysis of {A}ssistants versus {C}hat completion", @@ -14116,6 +14274,14 @@ @InProceedings{qian-nymeyer-tacas2004 pages = "497--511" } +@Misc{qwen-misc2024, + author = "Qwen Team", + title = "Qwen2.5: A Party of Foundation Models", + year = "2024", + url = "https://qwenlm.github.io/blog/qwen2.5/", + month = "September" +} + @Article{raack-et-al-networks2011, author = "Christian Raack and Arie M. C. A. Koster and Sebastian Orlowski and Roland Wess{\"a}ly", @@ -15183,6 +15349,16 @@ @InProceedings{scala-et-al-ijcai2017 pages = "4384--4390" } +@Article{scala-et-al-jair2020, + author = "Enrico Scala and Patrik Haslum and Sylvie Thi{\'e}baux and + Miquel Ramirez", + title = "Subgoaling Techniques for Satisficing and Optimal Numeric Planning", + journal = jair, + volume = "68", + pages = "691--752", + year = "2020" +} + @Article{scarselli-et-al-ieeenn2009, author = "Franco Scarselli and Marco Gori and Ah Chung Tsoi and Markus Hagenbuchner and Gabriele Monfardini", @@ -16440,6 +16616,15 @@ @InProceedings{singh-et-al-icaps2021 pages = "349--357" } +@InProceedings{singh-et-al-icra2023, + author = "Ishika Singh and Valts Blukis and Arsalan Mousavian and + Ankit Goyal and Danfei Xu and Jonathan Tremblay and Dieter Fox and + Jesse Thomason and Animesh Garg", + title = "{ProgPrompt}: Generating Situated Robot Task Plans using Large Language Models", + crossref = "icra2023", + pages = "11523--11530" +} + @Article{singh-et-al-ieeetamd2010, author = "Satinder P. Singh and Richard L. Lewis and Andrew G. Barto and Jonathan Sorg", title = "Intrinsically motivated reinforcement learning: An evolutionary perspective", @@ -16616,6 +16801,15 @@ @InProceedings{sohrabi-ijcai2019 crossref = "ijcai2019" } +@Misc{song-et-al-arxiv2025, + author = "Linxin Song and Yutong Dai and Viraj Prabhu and Jieyu Zhang and + Taiwei Shi and Li Li and Junnan Li and Silvio Savarese and + Zeyuan Chen and Jieyu Zhao and others", + title = "Coact-1: Computer-using agents with coding as actions", + year = "2025", + howpublished = "arXiv:2508.03923 [cs.CL]" +} + @InProceedings{speck-et-al-aaai2020, author = "David Speck and Robert Mattm{\"u}ller and Bernhard Nebel", title = "Symbolic Top-k Planning", @@ -17002,6 +17196,14 @@ @Misc{stechly-et-al-arxiv2024 howpublished = "arXiv:2402.08115 [cs.AI]" } +% TODO(Michael): Add page numbers. +@InProceedings{stein-et-al-icaps2025, + author = "Katharina Stein and Daniel Fi{\v{s}}er and J{\"o}rg Hoffmann and + Alexander Koller", + title = "Automating the Generation of Prompts for {LLM-based} Action Choice in {PDDL} Planning", + crossref = "icaps2025" +} + % TODO(Michael): Add page numbers. @InProceedings{stein-et-al-icaps2026, author = "Katharina Stein and Nils Hodel and Daniel Fi{\v{s}}er and J{\"o}rg Hoffmann and Michael Katz and Alexander Koller", @@ -17108,6 +17310,15 @@ @Article{stewart-white-jacm1991 pages = "775--814" } +% TODO(Michael): Add page numbers. +@InProceedings{stojanovski-et-al-neurips2025, + author = "Zafir Stojanovski and Oliver Stanley and Joe Sharratt and + Richard Jones and Abdulhakeem Adefioye and Jean Kaddour and + Andreas K{\"o}pf", + title = "Reasoning Gym: Reasoning Environments for Reinforcement Learning with Verifiable Rewards", + crossref = "neurips2025" +} + @InProceedings{stolba-et-al-icaps2016, author = "Michal \u{S}tolba and Daniel Fi\u{s}er and Anton{\'{\i}}n Komenda", @@ -17239,6 +17450,14 @@ @InProceedings{sudry-karpas-icaps2022 pages = "362--370", } +@InProceedings{sun-et-al-neurips2023, + author = "Haotian Sun and Yuchen Zhuang and Lingkai Kong and Bo Dai and + Chao Zhang", + title = "{AdaPlanner}: Adaptive Planning from Feedback with Language Models", + crossref = "neurips2023", + pages = "58202--58245" +} + % Data from author's homepage @InProceedings{surynek-icra2009, author = "Pavel Surynek", @@ -17315,6 +17534,13 @@ @Article{tan-et-al-sttt2023 year = "2023" } +% TODO(Michael): Add page numbers. +@InProceedings{tantakoun-et-al-acl-findings2025, + author = "Marcus Tantakoun and Christian Muise and Xiaodan Zhu", + title = "{LLM}s as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models", + crossref = "acl-findings2025" +} + @Article{tarjan-yannakakis-sicomp1984, author = "Robert E. Tarjan and Mihalis Yannakakis", title = "Simple Linear-Time Algorithms to Test Chordality of Graphs, @@ -17735,6 +17961,15 @@ @InProceedings{trevizan-et-al-ijcai2017 crossref = "ijcai2017", } +@InProceedings{trivedi-et-al-acl-findings2024, + author = "Harsh Trivedi and Tushar Khot and Mareike Hartmann and + Ruskin Manku and Vinty Dong and Edward Li and Shashank Gupta and + Ashish Sabharwal and Niranjan Balasubramanian", + title = "{AppWorld}: {A} Controllable World of Apps and People for Benchmarking Interactive Coding Agents", + crossref = "acl-findings2024", + pages = "16022--16076" +} + @InCollection{tseitin-scmml1968, author = "Grigori Tseitin", title = "On the Complexity of Derivation in the Propositional Calculus", @@ -17799,6 +18034,14 @@ @InProceedings{vadlamudi-kambhampati-aaai2016 pages = "776--783" } +@Misc{vafa-et-al-arxiv2024, + author = "Keyon Vafa and Justin Y. Chen and Ashesh Rambachan and + Jon Kleinberg and Sendhil Mullainathan", + title = "Evaluating the World Model Implicit in a Generative Model", + year = "2024", + howpublished = "arXiv:2406.03689 [cs.CL]" +} + @InProceedings{valenzano-et-al-icaps2010, author = "Richard Valenzano and Nathan R. Sturtevant and Jonathan Schaeffer and Karen Buro and Akihiro Kishimoto", @@ -17850,6 +18093,14 @@ @Article{vallati-et-al-aimag2015 year = "2015" } +@InProceedings{vallati-et-al-icaps2025, + author = "Mauro Vallati and Roman Bart{\'{a}}k and Luk{\'{a}}s Chrpa and + Thomas L. McCluskey and Ronald P. A. Petrick", + title = "Knowledge Engineering for Planning and Scheduling in the {LLM} Era", + crossref = "icaps2025", + pages = "391--395" +} + @InProceedings{vallati-et-al-ipc2011, author = "Mauro Vallati and Chris Fawcett and Alfonso E. Gerevini and Holger Hoos and Alessandro Saetti", @@ -17934,11 +18185,11 @@ @InProceedings{valmeekam-et-al-neurips2023 pages = "75993--76005" } -@InProceedings{valmeekam-et-al-neurips2023datasets, +@InProceedings{valmeekam-et-al-neurips2023db, author = "Karthik Valmeekam and Matthew Marquez and Alberto Olmo and Sarath Sreedharan and Subbarao Kambhampati", title = "{PlanBench}: An Extensible Benchmark for Evaluating Large Language Models on Planning and Reasoning about Change", - crossref = "neurips2023", + crossref = "neurips2023db", pages = "38975--38987" } @@ -18132,6 +18383,13 @@ @InProceedings{velickovic-et-al-iclr2018 crossref = "iclr2018" } +@InProceedings{verma-et-al-icaps2025wslm4plan, + author = "Pulkit Verma and Ngoc La and Anthony Favier and Swaroop Mishra and + Julie A. Shah", + title = "{PDDL-Instruct}: Enhancing Symbolic Planning Capabilities in {LLMs} through Logical {Chain-of-Thought} Instruction Tuning", + crossref = "icaps2025wslm4plan" +} + % Data taken from online proceedings. @InProceedings{vernhes-et-al-icaps2013wshsdip, author = "Simon Vernhes and Guillaume Infantes and Vincent Vidal", @@ -18255,6 +18513,14 @@ @InProceedings{wang-et-al-icaps2018 pages = "273--277" } +% TODO(Michael): Add page numbers. +@InProceedings{wang-et-al-icml2024, + author = "Xingyao Wang and Yangyi Chen and Lifan Yuan and Yizhe Zhang and + Yunzhu Li and Hao Peng and Heng Ji", + title = "Executable Code Actions Elicit Better {LLM} Agents", + crossref = "icml2024" +} + @InProceedings{wang-williams-aaai2015, author = "David Wang and Brian Williams", title = "{tBurton}: {A} Divide and Conquer Temporal Planner", @@ -18594,6 +18860,14 @@ @Misc{xie-et-al-arxiv2023 howpublished = "arXiv:2302.05128 [cs.CL]" } +% TODO(Michael): Add page numbers. +@InProceedings{xie-et-al-icml2024, + author = "Jian Xie and Kai Zhang and Jiangjie Chen and Tinghui Zhu and + Renze Lou and Yuandong Tian and Yanghua Xiao and Yu Su", + title = "{TravelPlanner}: {A} Benchmark for {Real-World} Planning with Language Agents", + crossref = "icml2024" +} + @InProceedings{xie-et-al-ipc2014, author = "Fan Xie and Martin M{\"u}ller and Robert Holte", title = "Jasper: the Art of Exploration in Greedy Best First Search", @@ -19084,7 +19358,7 @@ @InProceedings{zu-et-al-ijcai2005 } % TODO(Michael): Add page numbers. -@Article{zuo-et-al-naacl2025, +@InProceedings{zuo-et-al-naacl2025, author = "Max Zuo and Francisco Piedrahita Velez and Xiaochen Li and Michael L. Littman and Stephen H. Bach", title = "Planetarium: {A} Rigorous Benchmark for Translating Text to Structured Planning Languages", crossref = "naacl2025" From b79a2c9261633e51e7f48f670e35f81e41c8b5a3 Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Fri, 27 Feb 2026 11:11:00 -0500 Subject: [PATCH 03/18] added icra2024 cobbe-et-al-arxiv2021,gao-et-al-zenodo2024,handa-et-al-iclr2025,ibm-granite-misc2024,ibm-granite-misc2024b,lin-et-al-arxiv2025,mishra-et-al-arxiv2024,mistralai-misc2024,openai-et-al-arxiv2025,raman-et-al-icra2024,suzgun-et-al-acl-findings2023,zheng-et-al-arxiv2024 --- crossref-short.bib | 6 +++ crossref.bib | 9 ++++ literatur.bib | 113 ++++++++++++++++++++++++++++++++++++++++++++- 3 files changed, 127 insertions(+), 1 deletion(-) diff --git a/crossref-short.bib b/crossref-short.bib index b0ff24c..bc84e68 100644 --- a/crossref-short.bib +++ b/crossref-short.bib @@ -1390,6 +1390,12 @@ @Proceedings{icra2023 year = "2023" } +@Proceedings{icra2024, + title = "Proc.\ ICRA 2024", + booktitle = "Proc.\ ICRA 2024", + year = "2024" +} + @Proceedings{icse2025, title = "Proc.\ ICSE 2025", booktitle = "Proc.\ ICSE 2025", diff --git a/crossref.bib b/crossref.bib index 2fadade..4670a8d 100644 --- a/crossref.bib +++ b/crossref.bib @@ -2119,6 +2119,15 @@ @Proceedings{icra2023 year = "2023" } +@Proceedings{icra2024, + title = "Proceedings of the 2024 IEEE International Conference + on Robotics and Automation (ICRA 2024)", + booktitle = "Proceedings of the 2024 IEEE International Conference + on Robotics and Automation (ICRA 2024)", + publisher = "IEEE", + year = "2024" +} + @Proceedings{icse2025, title = "Proceedings of the 47th IEEE/ACM International Conference on Software Engineering (ICSE 2025)", diff --git a/literatur.bib b/literatur.bib index cbd08c7..3a952b2 100644 --- a/literatur.bib +++ b/literatur.bib @@ -3457,6 +3457,16 @@ @Article{clarke-et-al-toplas1986 year = "1986", } +@Misc{cobbe-et-al-arxiv2021, + author = "Karl Cobbe and Vineet Kosaraju and Mohammad Bavarian and + Mark Chen and Heewoo Jun and Lukasz Kaiser and + Matthias Plappert and Jerry Tworek and Jacob Hilton and + Reiichiro Nakano and Christopher Hesse and John Schulman", + title = "Training verifiers to solve math word problems", + year = "2021", + howpublished = "arXiv:2110.14168 [cs.LG]" +} + @Article{codd-cacm1970, author = "Edgar F. Codd", title = "A relational model of data for large shared data banks", @@ -6830,6 +6840,24 @@ @Misc{gandhi-et-al-arxiv2024 howpublished = "arXiv:2404.03683 [cs.LG]" } +@Misc{gao-et-al-zenodo2024, + author = "Leo Gao and Jonathan Tow and Baber Abbasi and Stella Biderman and + Sid Black and Anthony DiPofi and Charles Foster and + Laurence Golding and Jeffrey Hsu and Alain Le Noac'h and + Haonan Li and Kyle McDonell and Niklas Muennighoff and + Chris Ociepa and Jason Phang and Laria Reynolds and + Hailey Schoelkopf and Aviya Skowron and Lintang Sutawika and + Eric Tang and Anish Thite and Ben Wang and Kevin Wang and + Andy Zou", + title = "The Language Model Evaluation Harness", + publisher = "Zenodo", + year = "2024", + url = "https://zenodo.org/records/12608602", + doi = "10.5281/zenodo.12608602", + month = "07", + version = "v0.4.3" +} + % Data verified. % Available from the library and/or Bernhard. @Book{garey-johnson-1979, @@ -8193,6 +8221,14 @@ @InProceedings{hamilton-et-al-nips2017 pages = "1024--1034" } +% TODO(Michael): Add page numbers. +@InProceedings{handa-et-al-iclr2025, + author = "Divij Handa and Pavel Dolin and Shrinidhi Kumbhar and + Chitta Baral and Tran Cao Son", + title = "{ActionReasoningBench}: Reasoning about Actions with and without Ramification Constraints", + crossref = "iclr2025" +} + @Article{hannenhalli-pevzner-jacm1999, author = "Sridhar Hannenhalli and Pavel A. Pevzner", title = "Transforming Cabbage into Turnip: Polynomial Algorithm for @@ -9574,7 +9610,7 @@ @Misc{huang-et-al-arxiv2022 % TODO(Michael): Add page numbers. @InProceedings{huang-et-al-iclr2024, author = "Jie Huang and Xinyun Chen and Swaroop Mishra and Huaixiu Steven Zheng and Adams Wei Yu and Xinying Song and Denny Zhou", - title = "Large Language Models Cannot Self-Correct Reasoning Yet", + title = "Large Language Models Cannot {Self-Correct} Reasoning Yet", crossref = "iclr2024" } @@ -9669,6 +9705,21 @@ @PhdThesis{hutter-phd2009 year = "2009" } +@Misc{ibm-granite-misc2024, + author = "IBM Granite Team", + title = "Granite 3.0 Language Models", + year = "2024", + url = "https://github.com/ibm-granite/granite-3.0-language-models/", + month = "October" +} + +@Misc{ibm-granite-misc2024b, + author = "IBM Granite Team", + title = "Granite 3.1-8b-instruct Model Card", + year = "2024", + url = "https://huggingface.co/ibm-granite/granite-3.1-8b-instruct" +} + @Article{icarte-et-al-jair2022, author = "Rodrigo Toro Icarte and Toryn Q. Klassen and Richard Valenzano and Sheila A. McIlraith", @@ -12106,6 +12157,18 @@ @Article{likhachev-stentz-aij2009 pages = "696--721" } +@Misc{lin-et-al-arxiv2025, + author = "Xixun Lin and Yucheng Ning and Jingwen Zhang and Yan Dong and + Yilong Liu and Yongxuan Wu and Xiaohua Qi and Nan Sun and + Yanmin Shang and Kun Wang and Pengfei Cao and Qingyue Wang and + Lixin Zou and Xu Chen and Chuan Zhou and Jia Wu and Peng Zhang and + Qingsong Wen and Shirui Pan and Bin Wang and Yanan Cao and + Kai Chen and Songlin Hu and Li Guo", + title = "{LLM-based} Agents Suffer from Hallucinations: A Survey of Taxonomy, Methods, and Directions", + year = "2025", + howpublished = "arXiv:2509.18970 [cs.AI]" +} + @InProceedings{lin-kr2004, author = "Fangzhen Lin", title = "Discovering State Invariants", @@ -13010,6 +13073,21 @@ @TechReport{mishchenko-et-al-tr2005 year = "2005" } +@Misc{mishra-et-al-arxiv2024, + author = "Mayank Mishra and Matt Stallone and Gaoyuan Zhang and + Yikang Shen and Aditya Prasad and others", + title = "Granite Code Models: {A} Family of Open Foundation Models for Code Intelligence", + year = "2024", + howpublished = "arXiv:2405.04324 [cs.AI]" +} + +@Misc{mistralai-misc2024, + author = "MistralAI", + title = "Mixtral {8x22B}", + year = "2024", + howpublished = "\url{https://mistral.ai/news/mixtral-8x22b/}" +} + % Data from DBLP @InProceedings{miura-fukunaga-icaps2017, author = "Shuwa Miura and Alex Fukunaga", @@ -13510,6 +13588,13 @@ @Misc{openai-et-al-arxiv2024 howpublished = "arXiv:2410.21276 [cs.CL]" } +@Misc{openai-et-al-arxiv2025, + author = "OpenAI and : and Sandhini Agarwal and Lama Ahmad and others", + title = "gpt-oss-120b \& gpt-oss-20b Model Card", + year = "2025", + howpublished = "arXiv:2508.10925 [cs.CL]" +} + @Misc{openaidev-forum-2024, author = "OpenAI Dev. Forum", title = "{P}erformance analysis of {A}ssistants versus {C}hat completion", @@ -14319,6 +14404,15 @@ @Article{ramalingam-reps-jalg1996 pages = "267--305" } +@InProceedings{raman-et-al-icra2024, + author = "Shreyas Sundara Raman and Vanya Cohen and Ifrah Idrees and + Eric Rosen and Raymond Mooney and Stefanie Tellex and + David Paulius", + title = "{CAPE}: Corrective Actions from Precondition Errors using Large Language Models", + crossref = "icra2024", + pages = "14070--14077" +} + @InProceedings{raman-et-al-neurips2022wsfmdm, author = "Shreyas Sundara Raman and Vanya Cohen and Eric Rosen and Ifrah Idrees and David Paulius and Stefanie Tellex", title = "Planning With Large Language Models Via Corrective Re-Prompting", @@ -17494,6 +17588,14 @@ @Article{sutton-et-al-aij1999 pages = "181--211" } +@InProceedings{suzgun-et-al-acl-findings2023, + author = "Mirac Suzgun and Nathan Scales and Nathanael Sch{\"{a}}rli and + others", + title = "Challenging {BIG-Bench} Tasks and Whether {Chain-of-Thought} Can Solve Them", + crossref = "acl-findings2023", + pages = "13003--13051" +} + % Data taken from DBLP @InProceedings{szepesvari-aaai2004, author = "Csaba Szepesv{\'{a}}ri", @@ -19202,6 +19304,15 @@ @InProceedings{zhang-et-al-ijcai2009 crossref = "ijcai2009" } +@Misc{zheng-et-al-arxiv2024, + author = "Huaixiu Steven Zheng and Swaroop Mishra and Hugh Zhang and + Xinyun Chen and Minmin Chen and Azade Nova and Le Hou and + Heng{-}Tze Cheng and Quoc V. Le and Ed H. Chi and Denny Zhou", + title = "{NATURAL} {PLAN:} Benchmarking {LLMs} on Natural Language Planning", + year = "2024", + howpublished = "arXiv:2406.04520 [cs.AI]" +} + @InProceedings{zheng-et-al-icml2020, author = "Zeyu Zheng and Junhyuk Oh and Matteo Hessel and Zhongwen Xu and Manuel Kroiss and Hado van Hasselt and David Silver and Satinder Singh", From 83242bde2b947660422bc416c6705591f385b982 Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Fri, 27 Feb 2026 11:34:04 -0500 Subject: [PATCH 04/18] added liu-et-al-arxiv2023b --- literatur.bib | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/literatur.bib b/literatur.bib index 3a952b2..4c68694 100644 --- a/literatur.bib +++ b/literatur.bib @@ -12349,6 +12349,17 @@ @Misc{liu-et-al-arxiv2023 howpublished = "arXiv:2304.11477 [cs.AI]" } +@Misc{liu-et-al-arxiv2023b, + author = "Xiao Liu and Hao Yu and Hanchen Zhang and Yifan Xu and + Xuanyu Lei and Hanyu Lai and Yu Gu and Hangliang Ding and + Kaiwen Men and Kejuan Yang and Shudan Zhang and Xiang Deng and + Aohan Zeng and Zhengxiao Du and Chenhui Zhang and Sheng Shen and + Tianjun Zhang and Yu Su and Huan Sun and Minlie Huang and Yuxiao Dong and Jie Tang", + title = "{AgentBench}: Evaluating {LLMs} as Agents", + year = "2023", + howpublished = "arXiv:2308.03688 [cs.AI]" +} + % TODO(Michael): Add page numbers. @InProceedings{liu-et-al-iclr2018, author = "Evan Zheran Liu and Kelvin Guu and Panupong Pasupat and From f267f63cba0d1d81d35b8be9ce5ced2651d96ded Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Fri, 27 Feb 2026 11:43:22 -0500 Subject: [PATCH 05/18] added xu-et-al-arxiv2023b --- literatur.bib | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/literatur.bib b/literatur.bib index 4c68694..9d63f12 100644 --- a/literatur.bib +++ b/literatur.bib @@ -19004,6 +19004,13 @@ @Misc{xu-et-al-arxiv2023 howpublished = "arXiv:2305.18323 [cs.CL]" } +@Misc{xu-et-al-arxiv2023b, + author = "Qiantong Xu and Fenglu Hong and Bo Li and Changran Hu and Zhengyu Chen and Jian Zhang", + title = "On the Tool Manipulation Capability of Open-source Large Language Models", + year = "2023", + howpublished = "arXiv:2305.16504 [cs.CL]" +} + % "corr" used for legacy reasons. In the future, use "arxiv" @Misc{xu-et-al-corr2011, author = "You Xu and Yixin Chen and Qiang Lu and Ruoyun Huang", From 1d72888ecae11a0b67093966faf22d22926c3959 Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Fri, 27 Feb 2026 11:52:17 -0500 Subject: [PATCH 06/18] added deepseek-ai-et-al-arxiv2025b --- literatur.bib | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/literatur.bib b/literatur.bib index 9d63f12..66dccfa 100644 --- a/literatur.bib +++ b/literatur.bib @@ -4355,6 +4355,14 @@ @Misc{deepseek-ai-et-al-arxiv2025 howpublished = "arXiv:2412.19437 [cs.CL]" } +@Misc{deepseek-ai-et-al-arxiv2025b, + author = "DeepSeek-AI and Daya Guo and Dejian Yang and Haowei Zhang and + Junxiao Song and others", + title = "{DeepSeek-R1}: Incentivizing Reasoning Capability in {LLMs} via Reinforcement Learning", + year = "2025", + howpublished = "arXiv:2501.12948 [cs.CL]" +} + % Data from DBLP @InProceedings{defferrard-et-al-nips2016, author = "Micha{\"e}l Defferrard and Xavier Bresson and From 56a1ce673d845c4d4babb137eea1346965e67d74 Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Fri, 27 Feb 2026 11:58:31 -0500 Subject: [PATCH 07/18] added openai-et-al-arxiv2024b --- literatur.bib | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/literatur.bib b/literatur.bib index 66dccfa..ca44f40 100644 --- a/literatur.bib +++ b/literatur.bib @@ -8133,7 +8133,7 @@ @Article{guillot-stauffer-ejor2020 @Misc{guo-et-al-arxiv2024, author = "Daya Guo and Qihao Zhu and Dejian Yang and Zhenda Xie and Kai Dong and Wentao Zhang and Guanting Chen and Xiao Bi and Y. Wu and Y. K. Li and Fuli Luo and Yingfei Xiong and Wenfeng Liang", - title = "Deep{S}eek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence", + title = "{DeepSeek-Coder}: When the Large Language Model Meets Programming -- The Rise of Code Intelligence", year = "2024", howpublished = "arXiv:2401.14196 [cs.SE]" } @@ -13607,6 +13607,14 @@ @Misc{openai-et-al-arxiv2024 howpublished = "arXiv:2410.21276 [cs.CL]" } +@Misc{openai-et-al-arxiv2024b, + author = "OpenAI and :and Aaron Jaech and Adam Kalai and Adam Lerer and + Adam Richardson and others", + title = "{OpenAI} o1 System Card", + year = "2024", + howpublished = "arXiv:2412.16720 [cs.AI]" +} + @Misc{openai-et-al-arxiv2025, author = "OpenAI and : and Sandhini Agarwal and Lama Ahmad and others", title = "gpt-oss-120b \& gpt-oss-20b Model Card", From 0adc22f516bbb4715b59510cb9d5c7cdd377d940 Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Fri, 27 Feb 2026 12:35:33 -0500 Subject: [PATCH 08/18] added zhou-et-al-iclr2024b --- literatur.bib | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/literatur.bib b/literatur.bib index ca44f40..d88fb13 100644 --- a/literatur.bib +++ b/literatur.bib @@ -19370,6 +19370,15 @@ @InProceedings{zhou-et-al-iclr2024 crossref = "iclr2024" } +% TODO(Michael): Add page numbers. +@InProceedings{zhou-et-al-iclr2024b, + author = "Shuyan Zhou and Frank F. Xu and Hao Zhu and Xuhui Zhou and Robert Lo and + Abishek Sridhar and Xianyi Cheng and Tianyue Ou and Yonatan Bisk and + Daniel Fried and Uri Alon and Graham Neubig", + title = "{WebArena}: {A} Realistic Web Environment for Building Autonomous Agents", + crossref = "iclr2024" +} + % TODO(Michael): Add page numbers. @InProceedings{zhou-et-al-icml2024, author = "Andy Zhou and Kai Yan and Michal Shlapentokh{-}Rothman and Haohan Wang and Yu{-}Xiong Wang", From 2688238c589bc9914660cd4422a730ace1695431 Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Fri, 27 Feb 2026 18:30:13 -0500 Subject: [PATCH 09/18] added liu-et-al-iclr2024, removed liu-et-al-arxiv2023b, added note --- literatur.bib | 23 ++++++++++++----------- 1 file changed, 12 insertions(+), 11 deletions(-) diff --git a/literatur.bib b/literatur.bib index d88fb13..cfbc862 100644 --- a/literatur.bib +++ b/literatur.bib @@ -10234,6 +10234,7 @@ @InProceedings{kambhampati-aaai2007 pages = "1601--1604" } +% Keeping this one, as the title and authors order is different from kambhampati-et-al-icml2024 @Misc{kambhampati-et-al-arxiv2024, author = "Subbarao Kambhampati and Karthik Valmeekam and Lin Guan and Kaya Stechly and Mudit Verma and Siddhant Bhambri and Lucas Saldyt and Anil Murthy", title = "{LLMs} Can't Plan, But Can Help Planning in {LLM-Modulo} Frameworks", @@ -10241,6 +10242,7 @@ @Misc{kambhampati-et-al-arxiv2024 howpublished = "arXiv:2402.01817 [cs.AI]" } +% Note: Cite this one, not kambhampati-et-al-arxiv2024, as this one is archival. % TODO(Michael): Add page numbers. @InProceedings{kambhampati-et-al-icml2024, author = "Subbarao Kambhampati and Karthik Valmeekam and Lin Guan and Mudit Verma and Kaya Stechly and Siddhant Bhambri and Lucas Paul Saldyt and Anil B Murthy", @@ -12357,17 +12359,6 @@ @Misc{liu-et-al-arxiv2023 howpublished = "arXiv:2304.11477 [cs.AI]" } -@Misc{liu-et-al-arxiv2023b, - author = "Xiao Liu and Hao Yu and Hanchen Zhang and Yifan Xu and - Xuanyu Lei and Hanyu Lai and Yu Gu and Hangliang Ding and - Kaiwen Men and Kejuan Yang and Shudan Zhang and Xiang Deng and - Aohan Zeng and Zhengxiao Du and Chenhui Zhang and Sheng Shen and - Tianjun Zhang and Yu Su and Huan Sun and Minlie Huang and Yuxiao Dong and Jie Tang", - title = "{AgentBench}: Evaluating {LLMs} as Agents", - year = "2023", - howpublished = "arXiv:2308.03688 [cs.AI]" -} - % TODO(Michael): Add page numbers. @InProceedings{liu-et-al-iclr2018, author = "Evan Zheran Liu and Kelvin Guu and Panupong Pasupat and @@ -12376,6 +12367,16 @@ @InProceedings{liu-et-al-iclr2018 crossref = "iclr2018" } +@InProceedings{liu-et-al-iclr2024, + author = "Xiao Liu and Hao Yu and Hanchen Zhang and Yifan Xu and + Xuanyu Lei and Hanyu Lai and Yu Gu and Hangliang Ding and + Kaiwen Men and Kejuan Yang and Shudan Zhang and Xiang Deng and + Aohan Zeng and Zhengxiao Du and Chenhui Zhang and Sheng Shen and + Tianjun Zhang and Yu Su and Huan Sun and Minlie Huang and Yuxiao Dong and Jie Tang", + title = "{AgentBench}: Evaluating {LLMs} as Agents", + crossref = "iclr2024" +} + @InProceedings{long-buro-ijcai2011, author = "Jeffrey Richard Long and Michael Buro", title = "Real-Time Opponent Modeling in Trick-Taking Card Games", From 6f3dde0b3e26ed53488f86abf012bca3736cc159 Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Fri, 27 Feb 2026 22:27:05 -0500 Subject: [PATCH 10/18] fix capitalization --- literatur.bib | 39 ++++++++++++++++++++------------------- 1 file changed, 20 insertions(+), 19 deletions(-) diff --git a/literatur.bib b/literatur.bib index cfbc862..5dc99a0 100644 --- a/literatur.bib +++ b/literatur.bib @@ -121,7 +121,7 @@ @Misc{achiam-et-al-arxiv2023 and Lama Ahmad and Ilge Akkaya and Florencia Leoni Aleman and Diogo Almeida and Janko Altenschmidt and Sam Altman and Shyamal Anadkat and others", - title = "Gpt-4 technical report", + title = "{GPT}-4 Technical Report", year = "2023", howpublished = "arXiv:2303.08774 [cs.CL]" } @@ -1472,7 +1472,7 @@ @InProceedings{besta-et-al-aaai2024 author = "Maciej Besta and Nils Blach and Ales Kubicek and Robert Gerstenberger and Michal Podstawski and Lukas Gianinazzi and Joanna Gajda and Tomasz Lehmann and Hubert Niewiadomski and Piotr Nyczyk and Torsten Hoefler", - title = "Graph of thoughts: Solving elaborate problems with large language models", + title = "Graph of Thoughts: Solving Elaborate Problems with Large Language Models", crossref = "aaai2024", pages = "17682--17690" } @@ -2351,7 +2351,7 @@ @Article{brooks-computer1987 @InProceedings{brown-et-al-neurips2020, author = "Tom Brown and Benjamin Mann and Nick Ryder and Melanie Subbiah - and Jared D Kaplan and Prafulla Dhariwal and Arvind Neelakantan + and Jared D. Kaplan and Prafulla Dhariwal and Arvind Neelakantan and Pranav Shyam and Girish Sastry and Amanda Askell and Sandhini Agarwal and Ariel Herbert-Voss and Gretchen Krueger and Tom Henighan and Rewon Child and Aditya Ramesh and Daniel Ziegler and Jeffrey Wu @@ -2359,7 +2359,7 @@ @InProceedings{brown-et-al-neurips2020 and Mateusz Litwin and Scott Gray and Benjamin Chess and Jack Clark and Christopher Berner and Sam McCandlish and Alec Radford and Ilya Sutskever and Dario Amodei", - title = "Language models are few-shot learners", + title = "Language Models Are Few-shot Learners", crossref = "neurips2020", pages = "1877--1901" } @@ -3018,9 +3018,9 @@ @Article{chen-et-al-2024 title = "Learning from Natural Language Feedback", journal = "Transactions on Machine Learning Research", year = "2024", - note = "", - url = "https://openreview.net/forum?id=xo3hI5MwvU", - issn = "2835-8856" + volume = "2024", + url = "https://openreview.net/forum?id=xo3hI5MwvU", + issn = "2835-8856" } @InProceedings{chen-et-al-aaai2024, @@ -3055,7 +3055,7 @@ @InProceedings{chen-et-al-iclr2023 % TODO(Michael): Add page numbers. @InProceedings{chen-et-al-iclr2024, author = "Xinyun Chen and Maxwell Lin and Nathanael Sch{\"{a}}rli and Denny Zhou", - title = "Teaching Large Language Models to Self-Debug", + title = "Teaching Large Language Models to Self-{D}ebug", crossref = "iclr2024" } @@ -3462,7 +3462,7 @@ @Misc{cobbe-et-al-arxiv2021 Mark Chen and Heewoo Jun and Lukasz Kaiser and Matthias Plappert and Jerry Tworek and Jacob Hilton and Reiichiro Nakano and Christopher Hesse and John Schulman", - title = "Training verifiers to solve math word problems", + title = "Training Verifiers to Solve Math Word Problems", year = "2021", howpublished = "arXiv:2110.14168 [cs.LG]" } @@ -3608,7 +3608,7 @@ @Article{coles-smith-jair2007 % TODO(Michael): Add page numbers. @InProceedings{colton-aig2014, author = "Simon Colton", - title = "Countdown numbers game: Solved, analysed, extended", + title = "Countdown Numbers Game: Solved, Analysed, Extended", booktitle = "Proceedings of the AISB Symposium on AI and Games", year = "2014" } @@ -6747,7 +6747,7 @@ @Misc{froleyks-github2024-accessed-2025-12-08 % TODO(Michael): Add page numbers. @InProceedings{fu-et-al-iclr2022, author = "Yao Fu and Hao Peng and Ashish Sabharwal and Peter Clark and Tushar Khot", - title = "Complexity-based prompting for multi-step reasoning", + title = "Complexity-based Prompting for Multi-step Reasoning", crossref = "iclr2022" } @@ -7856,7 +7856,7 @@ @Article{gottlob-et-al-jcss2002 % TODO(Michael): Add page numbers. @InProceedings{gou-et-al-iclr2024, author = "Zhibin Gou and Zhihong Shao and Yeyun Gong and yelong shen and Yujiu Yang and Nan Duan and Weizhu Chen", - title = "{CRITIC}: Large Language Models Can Self-Correct with Tool-Interactive Critiquing", + title = "{CRITIC}: Large Language Models Can Self-{C}orrect with Tool-{I}nteractive Critiquing", crossref = "iclr2024" } @@ -8090,7 +8090,8 @@ @Misc{grundke-roeger-zenodo2025 @InProceedings{guan-et-al-neurips2023, author = "Lin Guan and Karthik Valmeekam and Sarath Sreedharan and Subbarao Kambhampati", - title = "Leveraging pre-trained large language models to construct and utilize world models for model-based task planning", + title = "Leveraging Pre-trained Large Language Models to Construct and Utilize World + Models for Model-based Task Planning", crossref = "neurips2023", pages = "79081--79094" } @@ -8973,7 +8974,7 @@ @InProceedings{hickmott-et-al-ijcai2007 @MastersThesis{hodel-2024, author = "Nils Hodel", - title = "Exploring the use of {LLMs} in generalized planning", + title = "Exploring the Use of {LLMs} in Generalized Planning", school = unisaar, year = "2024", type = "Bachelor's thesis" @@ -11273,7 +11274,7 @@ @InProceedings{koeppel-et-al-ecmlpkdd2019 @InProceedings{kojima-et-al-neurips2022, author = "Takeshi Kojima and Shixiang Shane Gu and Machel Reid and Yutaka Matsuo and Yusuke Iwasawa", - title = "Large language models are zero-shot reasoners", + title = "Large Language Models are Zero-shot Reasoners", crossref = "neurips2022", pages = "22199--22213" } @@ -11402,7 +11403,7 @@ @InProceedings{konda-tsitsiklis-nips1999 @Article{konidaris-et-al-jair2018, author = "George Konidaris and Leslie Pack Kaelbling and Tomas Lozano-Perez", - title = "From skills to symbols: Learning symbolic representations for abstract high-level planning", + title = "From Skills to Symbols: Learning Symbolic Representations for Abstract High-level Planning", journal = jair, volume = "61", pages = "215--289", @@ -13625,7 +13626,7 @@ @Misc{openai-et-al-arxiv2025 @Misc{openaidev-forum-2024, author = "OpenAI Dev. Forum", - title = "{P}erformance analysis of {A}ssistants versus {C}hat completion", + title = "Performance Analysis of Assistants versus Chat Completion", year = "2024", howpublished = "\url{https://community.openai.com/t/performance-analysis-of-assistants-versus-chat-completion-chat-completion-seems-somewhat-faster-for-complete-message-generation-streaming-taken-into-account/628368}", month = "Feb" @@ -16284,7 +16285,7 @@ @Article{shimbel-sin1954 % TODO(Michael): Add page numbers. @InProceedings{shinn-et-al-neurips2023, author = "Noah Shinn and Federico Cassano and Ashwin Gopinath and Karthik Narasimhan and Shunyu Yao", - title = "Reflexion: language agents with verbal reinforcement learning", + title = "Reflexion: Language Agents with Verbal Reinforcement Learning", crossref = "neurips2023" } @@ -16927,7 +16928,7 @@ @Misc{song-et-al-arxiv2025 author = "Linxin Song and Yutong Dai and Viraj Prabhu and Jieyu Zhang and Taiwei Shi and Li Li and Junnan Li and Silvio Savarese and Zeyuan Chen and Jieyu Zhao and others", - title = "Coact-1: Computer-using agents with coding as actions", + title = "Coact-1: Computer-using Agents with Coding as Actions", year = "2025", howpublished = "arXiv:2508.03923 [cs.CL]" } From 26a244492acfcf9883a57bf78f16c12c15b72103 Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Thu, 12 Mar 2026 09:27:09 -0400 Subject: [PATCH 11/18] updated pages of chen-et-al-iclr2024 gou-et-al-iclr2024 handa-et-al-iclr2025 huang-et-al-iclr2024 jimenez-et-al-iclr2024 le-et-al-iclr2024 muennighoff-et-al-iclr2024 zhou-et-al-iclr2024 zhou-et-al-iclr2024b --- literatur.bib | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/literatur.bib b/literatur.bib index 5dc99a0..782d9df 100644 --- a/literatur.bib +++ b/literatur.bib @@ -3052,10 +3052,10 @@ @InProceedings{chen-et-al-iclr2023 crossref = "iclr2023" } -% TODO(Michael): Add page numbers. @InProceedings{chen-et-al-iclr2024, author = "Xinyun Chen and Maxwell Lin and Nathanael Sch{\"{a}}rli and Denny Zhou", title = "Teaching Large Language Models to Self-{D}ebug", + pages = "8746--8825", crossref = "iclr2024" } @@ -7853,10 +7853,10 @@ @Article{gottlob-et-al-jcss2002 publisher = "Elsevier" } -% TODO(Michael): Add page numbers. @InProceedings{gou-et-al-iclr2024, author = "Zhibin Gou and Zhihong Shao and Yeyun Gong and yelong shen and Yujiu Yang and Nan Duan and Weizhu Chen", title = "{CRITIC}: Large Language Models Can Self-{C}orrect with Tool-{I}nteractive Critiquing", + pages = "57734--57811", crossref = "iclr2024" } @@ -8230,11 +8230,11 @@ @InProceedings{hamilton-et-al-nips2017 pages = "1024--1034" } -% TODO(Michael): Add page numbers. @InProceedings{handa-et-al-iclr2025, author = "Divij Handa and Pavel Dolin and Shrinidhi Kumbhar and Chitta Baral and Tran Cao Son", title = "{ActionReasoningBench}: Reasoning about Actions with and without Ramification Constraints", + pages = "83415--83454", crossref = "iclr2025" } @@ -9616,10 +9616,10 @@ @Misc{huang-et-al-arxiv2022 howpublished = "arXiv:2201.07207 [cs.LG]" } -% TODO(Michael): Add page numbers. @InProceedings{huang-et-al-iclr2024, author = "Jie Huang and Xinyun Chen and Swaroop Mishra and Huaixiu Steven Zheng and Adams Wei Yu and Xinying Song and Denny Zhou", title = "Large Language Models Cannot {Self-Correct} Reasoning Yet", + pages = "32808--32824", crossref = "iclr2024" } @@ -9976,10 +9976,10 @@ @Misc{jiang-et-al-arxiv2024 howpublished = "arXiv:2401.04088 [cs.LG]" } -% TODO(Michael): Add page numbers. @InProceedings{jimenez-et-al-iclr2024, author = "Carlos E. Jimenez and John Yang and Alexander Wettig and Shunyu Yao and Kexin Pei and Ofir Press and Karthik R. Narasimhan", title = "{SWE-bench}: Can Language Models Resolve Real-world Github Issues?", + pages = "54107--54157", crossref = "iclr2024" } @@ -11856,10 +11856,10 @@ @Book{lawler-1976 year = "1976" } -% TODO(Michael): Add page numbers. @InProceedings{le-et-al-iclr2024, author = "Hung Le and Hailin Chen and Amrita Saha and Akash Gokul and Doyen Sahoo and Shafiq Joty", title = "{CodeChain}: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules", + pages = "22392--22422", crossref = "iclr2024" } @@ -13211,10 +13211,10 @@ @Article{motzkin-et-al-theoryofgames1953 pages = "51--74" } -% TODO(Michael): Add page numbers. @InProceedings{muennighoff-et-al-iclr2024, author = "Niklas Muennighoff and Qian Liu and Armel Randy Zebaze and Qinkai Zheng and Binyuan Hui and Terry Yue Zhuo and Swayam Singh and Xiangru Tang and Leandro von Werra and Shayne Longpre", title = "{OctoPack}: Instruction Tuning Code Large Language Models", + pages = "7604--7623", crossref = "iclr2024" } @@ -19364,20 +19364,20 @@ @Misc{zhong-et-al-arxiv2024 howpublished = "arXiv:2402.16906 [cs.CL]" } -% TODO(Michael): Add page numbers. @InProceedings{zhou-et-al-iclr2024, - author = "Aojun Zhou and Ke Wang and Zimu Lu and Weikang Shi and Sichun Luo and Zipeng Qin and + author = "Aojun Zhou and Ke Wang and Zimu Lu and Weikang Shi and Sichun Luo and Zipeng Qin and Shaoqing Lu and Anya Jia and Linqi Song and Mingjie Zhan and Hongsheng Li", title = "Solving Challenging Math Word Problems Using {GPT-4} Code Interpreter with Code-based {Self-Verification}", + pages = "4468--4494", crossref = "iclr2024" } -% TODO(Michael): Add page numbers. @InProceedings{zhou-et-al-iclr2024b, author = "Shuyan Zhou and Frank F. Xu and Hao Zhu and Xuhui Zhou and Robert Lo and Abishek Sridhar and Xianyi Cheng and Tianyue Ou and Yonatan Bisk and Daniel Fried and Uri Alon and Graham Neubig", title = "{WebArena}: {A} Realistic Web Environment for Building Autonomous Agents", + pages = "15585--15606", crossref = "iclr2024" } From 2b9628befbd85e069dd2866d8e30c439192becab Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Thu, 12 Mar 2026 10:08:50 -0400 Subject: [PATCH 12/18] updated fu-et-al-iclr2022 to fu-et-al-iclr2023 --- literatur.bib | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/literatur.bib b/literatur.bib index 782d9df..02fdb77 100644 --- a/literatur.bib +++ b/literatur.bib @@ -6745,10 +6745,10 @@ @Misc{froleyks-github2024-accessed-2025-12-08 } % TODO(Michael): Add page numbers. -@InProceedings{fu-et-al-iclr2022, +@InProceedings{fu-et-al-iclr2023, author = "Yao Fu and Hao Peng and Ashish Sabharwal and Peter Clark and Tushar Khot", title = "Complexity-based Prompting for Multi-step Reasoning", - crossref = "iclr2022" + crossref = "iclr2023" } @Book{fudenberg-tirole-1991, From ebb00df9f555c72e5052b98b4919b47e29f967f3 Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Thu, 12 Mar 2026 10:10:05 -0400 Subject: [PATCH 13/18] add pages liu-et-al-iclr2018 --- literatur.bib | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/literatur.bib b/literatur.bib index 02fdb77..3aebaf8 100644 --- a/literatur.bib +++ b/literatur.bib @@ -12365,7 +12365,8 @@ @InProceedings{liu-et-al-iclr2018 author = "Evan Zheran Liu and Kelvin Guu and Panupong Pasupat and Tianlin Shi and Percy Liang", title = "Reinforcement Learning on Web Interfaces Using {Workflow-Guided} Exploration", - crossref = "iclr2018" + crossref = "iclr2018", + pages = "2153--2167" } @InProceedings{liu-et-al-iclr2024, From b44dd8ed4300c95134c648bc636330ec5f98fc36 Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Thu, 12 Mar 2026 10:10:13 -0400 Subject: [PATCH 14/18] add pages liu-et-al-iclr2018 --- literatur.bib | 1 - 1 file changed, 1 deletion(-) diff --git a/literatur.bib b/literatur.bib index 3aebaf8..717170f 100644 --- a/literatur.bib +++ b/literatur.bib @@ -12360,7 +12360,6 @@ @Misc{liu-et-al-arxiv2023 howpublished = "arXiv:2304.11477 [cs.AI]" } -% TODO(Michael): Add page numbers. @InProceedings{liu-et-al-iclr2018, author = "Evan Zheran Liu and Kelvin Guu and Panupong Pasupat and Tianlin Shi and Percy Liang", From b3b15b69cbf43423c9e6c781329607a6b274825f Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Thu, 12 Mar 2026 13:36:11 -0400 Subject: [PATCH 15/18] pages updated chen-et-al-iclr2024 gou-et-al-iclr2024 handa-et-al-iclr2025 huang-et-al-iclr2024 jimenez-et-al-iclr2024 le-et-al-iclr2024 muennighoff-et-al-iclr2024 zhou-et-al-iclr2024 zhou-et-al-iclr2024b kambhampati-et-al-icml2024 kokel-et-al-aaai2025 sel-et-al-icml2024 shinn-et-al-neurips2023 stein-et-al-icaps2025 wang-et-al-icml2024 xie-et-al-icml2024 zhou-et-al-icml2024 --- literatur.bib | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/literatur.bib b/literatur.bib index 717170f..7ad6c06 100644 --- a/literatur.bib +++ b/literatur.bib @@ -10244,10 +10244,10 @@ @Misc{kambhampati-et-al-arxiv2024 } % Note: Cite this one, not kambhampati-et-al-arxiv2024, as this one is archival. -% TODO(Michael): Add page numbers. @InProceedings{kambhampati-et-al-icml2024, author = "Subbarao Kambhampati and Karthik Valmeekam and Lin Guan and Mudit Verma and Kaya Stechly and Siddhant Bhambri and Lucas Paul Saldyt and Anil B Murthy", title = "Position: {LLM}s Can{\textquoteright}t Plan, But Can Help Planning in {LLM}-Modulo Frameworks", + pages = "22895--22907", crossref = "icml2024" } @@ -11279,11 +11279,11 @@ @InProceedings{kojima-et-al-neurips2022 pages = "22199--22213" } -% TODO(Michael): Add page numbers. @InProceedings{kokel-et-al-aaai2025, author = "Harsha Kokel and Michael Katz and Kavitha Srinivas and Shirin Sohrabi", title = "{ACPBench}: Reasoning about Action, Change, and Planning", + pages = "26559--26568", crossref = "aaai2025" } @@ -16117,10 +16117,10 @@ @Misc{seipp-zenodo2024b howpublished = "\url{https://doi.org/10.5281/zenodo.13361692}" } -% TODO(Michael): Add page numbers. @InProceedings{sel-et-al-icml2024, author = "Bilgehan Sel and Ahmad Al{-}Tawaha and Vanshaj Khattar and Lu Wang and Ruoxi Jia and Ming Jin", title = "Algorithm of Thoughts: Enhancing Exploration of Ideas in Large Language Models", + pages = "44136--44189", crossref = "icml2024" } @@ -16282,10 +16282,10 @@ @Article{shimbel-sin1954 volume = "4", } -% TODO(Michael): Add page numbers. @InProceedings{shinn-et-al-neurips2023, author = "Noah Shinn and Federico Cassano and Ashwin Gopinath and Karthik Narasimhan and Shunyu Yao", title = "Reflexion: Language Agents with Verbal Reinforcement Learning", + pages = "8634--8652", crossref = "neurips2023" } @@ -17319,11 +17319,11 @@ @Misc{stechly-et-al-arxiv2024 howpublished = "arXiv:2402.08115 [cs.AI]" } -% TODO(Michael): Add page numbers. @InProceedings{stein-et-al-icaps2025, author = "Katharina Stein and Daniel Fi{\v{s}}er and J{\"o}rg Hoffmann and Alexander Koller", title = "Automating the Generation of Prompts for {LLM-based} Action Choice in {PDDL} Planning", + pages = "250--259", crossref = "icaps2025" } @@ -18644,11 +18644,11 @@ @InProceedings{wang-et-al-icaps2018 pages = "273--277" } -% TODO(Michael): Add page numbers. @InProceedings{wang-et-al-icml2024, author = "Xingyao Wang and Yangyi Chen and Lifan Yuan and Yizhe Zhang and Yunzhu Li and Hao Peng and Heng Ji", title = "Executable Code Actions Elicit Better {LLM} Agents", + pages = "50208--50232", crossref = "icml2024" } @@ -18991,11 +18991,11 @@ @Misc{xie-et-al-arxiv2023 howpublished = "arXiv:2302.05128 [cs.CL]" } -% TODO(Michael): Add page numbers. @InProceedings{xie-et-al-icml2024, author = "Jian Xie and Kai Zhang and Jiangjie Chen and Tinghui Zhu and Renze Lou and Yuandong Tian and Yanghua Xiao and Yu Su", title = "{TravelPlanner}: {A} Benchmark for {Real-World} Planning with Language Agents", + pages = "54590--54613", crossref = "icml2024" } @@ -19381,10 +19381,10 @@ @InProceedings{zhou-et-al-iclr2024b crossref = "iclr2024" } -% TODO(Michael): Add page numbers. @InProceedings{zhou-et-al-icml2024, author = "Andy Zhou and Kai Yan and Michal Shlapentokh{-}Rothman and Haohan Wang and Yu{-}Xiong Wang", title = "Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Models", + pages = "62138--62160", crossref = "icml2024" } From bfdec197deed993639af86fd5a4cf1e770b30e41 Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Wed, 18 Mar 2026 15:46:32 -0400 Subject: [PATCH 16/18] clean up authors openai-et-al-arxiv2024 openai-et-al-arxiv2024b openai-et-al-arxiv2025 --- literatur.bib | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/literatur.bib b/literatur.bib index 7ad6c06..c3e043d 100644 --- a/literatur.bib +++ b/literatur.bib @@ -13602,7 +13602,7 @@ @InProceedings{ontanon-aaai2013 } @Misc{openai-et-al-arxiv2024, - author = "OpenAI and : and Aaron Hurst and Adam Lerer and Adam P Goucher and + author = "Aaron Hurst and Adam Lerer and Adam P Goucher and Adam Perelman and others", title = "{OpenAI} {GPT-}4o System Card", year = "2024", @@ -13610,7 +13610,7 @@ @Misc{openai-et-al-arxiv2024 } @Misc{openai-et-al-arxiv2024b, - author = "OpenAI and :and Aaron Jaech and Adam Kalai and Adam Lerer and + author = "Aaron Jaech and Adam Kalai and Adam Lerer and Adam Richardson and others", title = "{OpenAI} o1 System Card", year = "2024", @@ -13618,7 +13618,7 @@ @Misc{openai-et-al-arxiv2024b } @Misc{openai-et-al-arxiv2025, - author = "OpenAI and : and Sandhini Agarwal and Lama Ahmad and others", + author = "Sandhini Agarwal and Lama Ahmad and others", title = "gpt-oss-120b \& gpt-oss-20b Model Card", year = "2025", howpublished = "arXiv:2508.10925 [cs.CL]" From 298db3f00dbc5ff70fcdc9bebc2ff314d50c8e40 Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Mon, 20 Apr 2026 09:00:34 -0400 Subject: [PATCH 17/18] added argall-et-al-ras2009 bandel-et-al-arxiv2026 chen-et-al-arxiv2025 hutsebaut-buysse-et-al-make2022 johnson-et-al-tbd2021 li-et-al-arxiv2022 marreed-et-al-arxiv2025 --- literatur.bib | 75 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 75 insertions(+) diff --git a/literatur.bib b/literatur.bib index c3e043d..7610ef9 100644 --- a/literatur.bib +++ b/literatur.bib @@ -527,6 +527,16 @@ @InProceedings{arfaee-et-al-socs2010 pages = "52--60", } +@Article{argall-et-al-ras2009, + author = "Brenna D. Argall and Sonia Chernova and Manuela M. Veloso and Brett Browning", + title = "A survey of robot learning from demonstration", + journal = "Robotics and Autonomous Systems", + volume = "57", + number = "5", + pages = "469--483", + year = "2009" +} + @InProceedings{arlt-et-al-issta2014, author = "Stephan Arlt and Andreas Podelski and Martin Wehrle", title = "Reducing {GUI} Test Suites via Program Slicing", @@ -1072,6 +1082,19 @@ @InProceedings{balyo-suda-uipc2016 pages = "3--5", } +@Misc{bandel-et-al-arxiv2026, + author = "Elron Bandel and Asaf Yehudai and Lilach Eden and + Yehoshua Sagron and Yotam Perlitz and Elad Venezian and + Natalia Razinkov and Natan Ergas and Shlomit Shachor + Ifergan and Segev Shlomov and Michal Jacovi and Leshem + Choshen and Liat Ein-Dor and Yoav Katz and Michal + Shmueli-Scheuer", + title = "General Agent Evaluation", + howpublished = "arXiv:2602.22953 [cs.AI]", + year = "2026", + url = "https://arxiv.org/abs/2602.22953" +} + % From DBLP. @InProceedings{bar-noy-schieber-soda1991, author = "Amotz Bar-Noy and Baruch Schieber", @@ -3037,6 +3060,15 @@ @Misc{chen-et-al-arxiv2021 howpublished = "arXiv:2107.03374 [cs.LG]" } +@Misc{chen-et-al-arxiv2025, + author = "Kevin Chen and Marco Cusumano-Towner and Brody Huval and + Aleksei Petrenko and Jackson Hamburger and Vladlen Koltun + and Philipp Kr{\"a}henb{\"u}hl", + title = "Reinforcement Learning for {Long-Horizon} Interactive {LLM} Agents", + howpublished = "arXiv:2502.01600 [cs.LG]", + year = "2025" +} + @InProceedings{chen-et-al-icaps2024, author = "Dillon Z. Chen and Felipe Trevizan and Sylvie Thi{\'e}baux", title = "Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning", @@ -9664,6 +9696,16 @@ @Misc{hurst-et-al-arxiv2024 howpublished = "arXiv:2410.21276 [cs.CL]" } +@Article{hutsebaut-buysse-et-al-make2022, + author = "Matthias Hutsebaut-Buysse and Kevin Mets and Steven Latr{\'e}", + title = "Hierarchical Reinforcement Learning: {A} Survey and Open Research Challenges", + journal = "Machine Learning and Knowledge Extraction", + volume = "4", + number = "1", + pages = "172--221", + year = "2022" +} + % Data from DBLP @Article{hutter-et-al-aij2014, author = "Frank Hutter and @@ -10025,6 +10067,16 @@ @InProceedings{joergensen-et-al-icaart2025 crossref = "icaart2025" } +@Article{johnson-et-al-tbd2021, + author = "Jeff Johnson and Matthijs Douze and Herv{\'e} J{\'e}gou", + title = "Billion-Scale Similarity Search with {GPUs}", + journal = "{IEEE} Transactions on Big Data", + volume = "7", + number = "3", + pages = "535--547", + year = "2021" +} + @Article{johnson-sicomp1975, author = "Donald Johnson", title = "Finding all the Elementary Circuits of a Directed Graph", @@ -12074,6 +12126,21 @@ @InCollection{levy-heurprog1989 editor = "David N. L. Levy and Donald F. Beal" } +@Misc{li-et-al-arxiv2022, + author = "Yujia Li and David H. Choi and Junyoung Chung and Nate Kushman + and Julian Schrittwieser and R{\'e}mi Leblond and Tom Eccles + and James Keeling and Felix Gimeno and Agustin Dal Lago and + Thomas Hubert and Peter Choy and Cyprien de Masson d'Autume + and Igor Babuschkin and Xinyun Chen and Po-Sen Huang and + Johannes Welbl and Sven Gowal and Alexey Cherepanov and + James Molloy and Daniel J. Mankowitz and Esme Sutherland Robson + and Pushmeet Kohli and Nando de Freitas and Koray Kavukcuoglu + and Oriol Vinyals", + title = "{Competition-Level} Code Generation with {AlphaCode}", + year = "2022", + howpublished = "arXiv:2203.07814 [cs.PL]" +} + @InProceedings{li-et-al-cav2024, author = "Yixuan Li and Julian Parsert and Elizabeth Polgreen", title = "Guiding Enumerative Program Synthesis with Large Language Models", @@ -12647,6 +12714,14 @@ @InProceedings{marquessilva-sakallah-iccad1996 pages = "220--227" } +@Misc{marreed-et-al-arxiv2025, + author = "Sami Marreed and Alon Oved and Avi Yaeli and Segev Shlomov and Ido Levy + and Aviad Sela and Asaf Adi and Nir Mashkif", + title = "Towards {Enterprise-Ready} Computer Using Generalist Agent", + howpublished = "arXiv:2503.01861 [cs.DC]", + year = "2025" +} + @Article{martelli-aij1977, author = "Alberto Martelli", title = "On the Complexity of Admissible Search Algorithms", From 39fec868c4a0d31cbb839d43599daa5609db0ae7 Mon Sep 17 00:00:00 2001 From: Michael Katz Date: Sat, 2 May 2026 20:59:41 -0400 Subject: [PATCH 18/18] added aaai2025wslm4plan, allen-et-al-icaps2026, ananthakrishanan-et-al-aaai2026demo, feblowitz-et-al-aaai2021demo, feblowitz-et-al-icaps2020systemdemos, icaps2020systemdemos, icaps2021wsfinplan, icaps2023wsprl, iclr2026wsworldmodels, icml2026, ijcai2023wsprl, katz-aaai2019, katz-et-al-arxiv2025a, katz-et-al-icaps2021wsfinplan, katz-et-al-icaps2024, katz-et-al-icaps2026, katz-et-al-icml2026, katz-sievers-icaps2019wsipc-b, katz-sievers-icaps2019wsipc, kokel-et-al-ijcai2023wsprl, oswald-et-al-iclr2026wsworldmodels, rozek-et-al-icaps2024wsprl, shirai-et-al-arxiv2025, shlomi-et-al-aaai2025wslm4plan, vatter-et-al-icaps2026 --- crossref-short.bib | 44 ++++++++++++++++ crossref.bib | 47 +++++++++++++++++ literatur.bib | 126 +++++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 217 insertions(+) diff --git a/crossref-short.bib b/crossref-short.bib index bc84e68..38780ed 100644 --- a/crossref-short.bib +++ b/crossref-short.bib @@ -219,6 +219,12 @@ @Proceedings{aaai2025 year = "2025" } +@Proceedings{aaai2025wslm4plan, + title = "{AAAI} 2025 Workshop on Planning in the Era of {LLM}s ({LM4Plan})", + booktitle = "{AAAI} 2025 Workshop on Planning in the Era of {LLM}s ({LM4Plan})", + year = "2025" +} + @Proceedings{aaai2026, title = "Proc.\ {AAAI} 2026", booktitle = "Proc.\ {AAAI} 2026", @@ -1028,6 +1034,12 @@ @Proceedings{icaps2020 year = "2020" } +@Proceedings{icaps2020systemdemos, + title = "{ICAPS} 2020 System Demonstrations and Exhibits", + booktitle = "{ICAPS} 2020 System Demonstrations and Exhibits", + year = "2020" +} + @Proceedings{icaps2020wshsdip, title = "ICAPS Workshop on Heuristics and Search for Domain-independent Planning", @@ -1064,6 +1076,12 @@ @Proceedings{icaps2021 year = "2021" } +@Proceedings{icaps2021wsfinplan, + title = "{ICAPS} Workshop on Planning for Financial Services ({FinPlan})", + booktitle = "{ICAPS} Workshop on Planning for Financial Services ({FinPlan})", + year = "2021" +} + @Proceedings{icaps2021wshsdip, title = "ICAPS Workshop on Heuristics and Search for Domain-independent Planning", @@ -1134,6 +1152,14 @@ @Proceedings{icaps2023wsplanrob year = "2023" } +@Proceedings{icaps2023wsprl, + title = "ICAPS Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning (PRL)", + booktitle = "ICAPS Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning (PRL)", + year = "2023" +} + @Proceedings{icaps2023wsspark, title = "ICAPS 2023 Scheduling and Planning Applications woRKshop", booktitle = "ICAPS 2023 Scheduling and Planning Applications woRKshop", @@ -1312,6 +1338,12 @@ @Proceedings{iclr2026 year = "2026" } +@Proceedings{iclr2026wsworldmodels, + title = "{ICLR} 2026 Workshop on World Models", + booktitle = "{ICLR} 2026 Workshop on World Models", + year = "2026" +} + @Proceedings{icml2001, title = "Proc.\ ICML 2001", booktitle = "Proc.\ ICML 2001", @@ -1366,6 +1398,12 @@ @Proceedings{icml2024 year = "2024" } +@Proceedings{icml2026, + title = "Proc.\ ICML 2026", + booktitle = "Proc.\ ICML 2026", + year = "2026" +} + @Proceedings{icra1994, title = "Proc.\ ICRA 1994", booktitle = "Proc.\ ICRA 1994", @@ -1570,6 +1608,12 @@ @Proceedings{ijcai2023 year = "2023" } +@Proceedings{ijcai2023wsprl, + title = "IJCAI 2023 Workshop on Bridging the Gap Between {AI} Planning and Reinforcement Learning", + booktitle = "IJCAI 2023 Workshop on Bridging the Gap Between {AI} Planning and Reinforcement Learning", + year = "2023" +} + @Proceedings{ijcai2024, title = "Proc.\ IJCAI 2024", booktitle = "Proc.\ IJCAI 2024", diff --git a/crossref.bib b/crossref.bib index 4670a8d..54f2aa2 100644 --- a/crossref.bib +++ b/crossref.bib @@ -353,6 +353,12 @@ @Proceedings{aaai2025 year = "2025" } +@Proceedings{aaai2025wslm4plan, + title = "{AAAI} 2025 Workshop on Planning in the Era of {LLM}s ({LM4Plan})", + booktitle = "{AAAI} 2025 Workshop on Planning in the Era of {LLM}s ({LM4Plan})", + year = "2025" +} + @Proceedings{aaai2026, editor = "Chad Jenkins and Matthew Taylor", title = "Proceedings of the Fortieth {AAAI} Conference on @@ -1643,6 +1649,12 @@ @Proceedings{icaps2020 publisher = "AAAI Press" } +@Proceedings{icaps2020systemdemos, + title = "{ICAPS} 2020 System Demonstrations and Exhibits", + booktitle = "{ICAPS} 2020 System Demonstrations and Exhibits", + year = "2020" +} + @Proceedings{icaps2020wshsdip, title = "ICAPS 2020 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP)", @@ -1683,6 +1695,12 @@ @Proceedings{icaps2021 publisher = "AAAI Press" } +@Proceedings{icaps2021wsfinplan, + title = "{ICAPS} 2021 Workshop on Planning for Financial Services ({FinPlan})", + booktitle = "{ICAPS} 2021 Workshop on Planning for Financial Services ({FinPlan})", + year = "2021" +} + @Proceedings{icaps2021wshsdip, title = "ICAPS 2021 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP)", @@ -1761,6 +1779,14 @@ @Proceedings{icaps2023wsplanrob year = "2023" } +@Proceedings{icaps2023wsprl, + title = "ICAPS 2023 Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning (PRL)", + booktitle = "ICAPS 2023 Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning (PRL)", + year = "2023" +} + @Proceedings{icaps2023wsspark, title = "{ICAPS} 2023 Scheduling and Planning Applications woRKshop", booktitle = "{ICAPS} 2023 Scheduling and Planning Applications woRKshop", @@ -1995,6 +2021,12 @@ @Proceedings{iclr2026 year = "2026" } +@Proceedings{iclr2026wsworldmodels, + title = "{ICLR} 2026 Workshop on World Models", + booktitle = "{ICLR} 2026 Workshop on World Models", + year = "2026" +} + @Proceedings{icml2001, editor = "Carla E. Brodley and Andrea {Pohoreckyj Danyluk}", title = "Proceedings of the Eighteenth International Conference on Machine Learning (ICML 2001)", @@ -2081,6 +2113,15 @@ @Proceedings{icml2024 year = "2024" } +@Proceedings{icml2026, + title = "Proceedings of the 43rd International Conference on + Machine Learning {(ICML 2026)}", + booktitle = "Proceedings of the 43rd International Conference on + Machine Learning {(ICML 2026)}", + publisher = "{JMLR}.org", + year = "2026" +} + % Data based on DBLP. @Proceedings{icra1994, title = "Proceedings of the 1994 International Conference @@ -2425,6 +2466,12 @@ @Proceedings{ijcai2023 year = "2023" } +@Proceedings{ijcai2023wsprl, + title = "IJCAI 2023 Workshop on Bridging the Gap Between {AI} Planning and Reinforcement Learning", + booktitle = "IJCAI 2023 Workshop on Bridging the Gap Between {AI} Planning and Reinforcement Learning", + year = "2023" +} + @Proceedings{ijcai2024, editor = "Kate Larson", title = "Proceedings of the 33rd International Joint diff --git a/literatur.bib b/literatur.bib index 7610ef9..20063ed 100644 --- a/literatur.bib +++ b/literatur.bib @@ -338,6 +338,13 @@ @Book{allen-et-al-1991 year = "1991", } +@InProceedings{allen-et-al-icaps2026, + author = "Cameron Allen and Anita de Mello Koch and Harsha Kokel + and George Konidaris and Michael Katz", + title = "Simplifying Planning Tasks with Fact-Level Relevance Analysis", + crossref = "icaps2026" +} + @InProceedings{allen-et-al-ijcai2021, author = "Cameron Allen and Michael Katz and Tim Klinger and George Konidaris and Matthew Riemer and Gerald Tesauro", @@ -408,6 +415,14 @@ @InProceedings{anand-et-al-ijcai2015 crossref = "ijcai2015" } +@InProceedings{ananthakrishanan-et-al-aaai2026demo, + author = "Haritha Ananthakrishanan and Harsha Kokel and Kelsey Sikes and + Debarun Bhattacharjya and Michael Katz and Shirin Sohrabi and + Kavitha Srinivas", + title = "{QueryGym}: Step-by-Step Interaction with Relational Databases", + crossref = "aaai2026" +} + % Data taken from DBLP. @InProceedings{anderson-et-al-sara2007, author = "Kenneth Anderson and Robert Holte and @@ -5775,6 +5790,20 @@ @InProceedings{fawcett-et-al-ipc2011b year = "2011" } +@InProceedings{feblowitz-et-al-aaai2021demo, + author = "Mark Feblowitz and Oktie Hassanzadeh and Michael Katz and + Shirin Sohrabi and Kavitha Srinivas and Octavian Udrea", + title = "{IBM} Scenario Planning Advisor: {A} Neuro-Symbolic {ERM} solution", + crossref = "aaai2021" +} + +@InProceedings{feblowitz-et-al-icaps2020systemdemos, + author = "Mark Feblowitz and Oktie Hassanzadeh and Michael Katz and + Shirin Sohrabi and Kavitha Srinivas and Octavian Udrea", + title = "{IBM} Scenario Planning Advisor: {A} Neuro-Symbolic {ERM} solution", + crossref = "icaps2020systemdemos" +} + % "corr" used for legacy reasons. In the future, use "arxiv" @Misc{feldman-domshlak-corr2012, author = "Zohar Feldman and Carmel Domshlak", @@ -10397,6 +10426,12 @@ @InProceedings{karpas-et-al-icaps2011 pages = "122--129" } +@InProceedings{katz-aaai2019, + author = "Michael Katz", + title = "Red-Black Heuristic for Planning Tasks with Conditional Effects", + crossref = "aaai2019" +} + @Article{katz-domshlak-aij2010, author = "Michael Katz and Carmel Domshlak", title = "Optimal admissible composition of abstraction heuristics", @@ -10503,6 +10538,14 @@ @Misc{katz-et-al-arxiv2025 howpublished = "arXiv:2508.02900 [cs.AI]" } +@Misc{katz-et-al-arxiv2025a, + author = "Michael Katz and Harsha Kokel and Christian Muise and Shirin Sohrabi + and Sarath Sreedharan", + title = "Make Planning Research Rigorous Again!", + howpublished = "arXiv:2505.21674 [cs.AI]", + year = "2025" +} + @InProceedings{katz-et-al-icaps2012, author = "Michael Katz and J{\"o}rg Hoffmann and Malte Helmert", title = "How to Relax a Bisimulation?", @@ -10554,12 +10597,38 @@ @InProceedings{katz-et-al-icaps2020 pages = "403--411" } +@InProceedings{katz-et-al-icaps2021wsfinplan, + author = "Michael Katz and Kavitha Srinivas and Shirin Sohrabi and + Mark Feblowitz and Octavian Udrea and Oktie Hassanzadeh", + title = "Scenario Planning In The Wild: {A} Neuro-Symbolic Approach", + crossref = "icaps2021wsfinplan" +} + +@InProceedings{katz-et-al-icaps2024, + author = "Michael Katz and Junkyu Lee and Shirin Sohrabi", + title = "Unifying and Certifying Top-Quality Planning", + crossref = "icaps2024" +} + @InProceedings{katz-et-al-icaps2025wslm4plan, author = "Michael Katz and Harsha Kokel and Sarath Sreedharan", title = "Seemingly Simple Planning Problems are Computationally Challenging: The Countdown Game", crossref = "icaps2025wslm4plan" } +@InProceedings{katz-et-al-icaps2026, + author = "Michael Katz and Harsha Kokel and Kavitha Srinivas and Shirin Sohrabi", + title = "Planning in the {LLM} Era: Building for Reliability and Efficiency", + crossref = "icaps2026" +} + +@InProceedings{katz-et-al-icml2026, + author = "Michael Katz and Harsha Kokel and Christian Muise and Shirin Sohrabi + and Sarath Sreedharan", + title = "Make Planning Research Rigorous Again!", + crossref = "icml2026" +} + @InProceedings{katz-et-al-ipc2018, author = "Michael Katz and Shirin Sohrabi and Horst Samulowitz and Silvan Sievers", title = "Delfi: Online Planner Selection for Cost-Optimal Planning", @@ -10698,6 +10767,20 @@ @InProceedings{katz-mirkis-ijcai2016 crossref = "ijcai2016" } +@InProceedings{katz-sievers-icaps2019wsipc, + author = "Michael Katz and Silvan Sievers", + title = "Democratizing Usage of Planning Systems by Facilitating Research + in Algorithm Selection for Planning", + crossref = "icaps2019wsipc" +} + +@InProceedings{katz-sievers-icaps2019wsipc-b, + author = "Michael Katz and Silvan Sievers", + title = "The Role of {IPC} in Setting Standards for Experimental Evaluation + in Planning Research", + crossref = "icaps2019wsipc" +} + @InProceedings{katz-sohrabi-aaai2020, author = "Michael Katz and Shirin Sohrabi", title = "Reshaping Diverse Planning", @@ -11354,6 +11437,12 @@ @InProceedings{kokel-et-al-ijcai2023 pages = "5394--5401" } +@InProceedings{kokel-et-al-ijcai2023wsprl, + author = "Harsha Kokel and Junkyu Lee and Michael Katz and Shirin Sohrabi", + title = "Learning Parameterized Policies for Planning Annotated {RL}", + crossref = "ijcai2023wsprl" +} + @Article{kolaitis-iandc1991, author = "Phokion G. Kolaitis", title = "The Expressive Power of Stratified Programs", @@ -13736,6 +13825,12 @@ @InProceedings{oswald-et-al-icaps2024 pages = "423--431" } +@InProceedings{oswald-et-al-iclr2026wsworldmodels, + author = "James Oswald and Daniel Obolensky and Volodymyr Varha and Vasilije Dragovic and Kavitha Srinivas and Harsha Kokel and Michael Katz and Shirin Sohrabi", + title = "Model Space Reasoning as Search in Feedback Space for Planning Domain Generation", + crossref = "iclr2026wsworldmodels" +} + % Use this to cite the whole proceedings. @Proceedings{palacios-et-al-2021, editor = "Hector Palacios and Vicen{\c{c}} G{\'{o}}mez and @@ -15245,6 +15340,14 @@ @Article{roy-cras1959 pages = "216--218" } +@InProceedings{rozek-et-al-icaps2024wsprl, + author = "Brandon Rozek and Junkyu Lee and Harsha Kokel and + Michael Katz and Shirin Sohrabi", + title = "Guiding Hierarchical Reinforcement Learning in Partially Observable + Environments with {AI} Planning", + crossref = "icaps2024wsprl" +} + @Article{rubinstein-ejor1997, title = "Optimization of computer simulation models with rare events", author = "Reuven Y Rubinstein", @@ -16364,6 +16467,14 @@ @InProceedings{shinn-et-al-neurips2023 crossref = "neurips2023" } +@Misc{shirai-et-al-arxiv2025, + author = "Sola Shirai and Kavitha Srinivas and Julian Dolby and Michael Katz + and Horst Samulowitz and Shirin Sohrabi", + title = "Less is More: Learning Graph Tasks with Just {LLM}s", + howpublished = "arXiv:2508.10115 [cs.LG]", + year = "2025" +} + @Article{shiryaev-et-al-qf2008, author = "Albert Shiryaev and Zuoquan Xu and Xun Yu Zhou", title = "Thou Shalt Buy and Hold", @@ -16418,6 +16529,14 @@ @InProceedings{shleyfman-icaps2018wshsdip pages = "66--72" } +@InProceedings{shlomi-et-al-aaai2025wslm4plan, + author = "Eliezer Shlomi and Guy Azran and Eilam Shapira and Omer Nahum and + Guy Uziel and Michael Katz and Ateret Anaby Tavor and Roi Reichart + and Sarah Keren", + title = "Transition Function Prediction in {AI} Planning Using {LLM}s", + crossref = "aaai2025wslm4plan" +} + @Book{shor-1985, author = "Naum Zuselevich Shor", title = "Minimization methods for non-differentiable functions", @@ -18581,6 +18700,13 @@ @InProceedings{vardi-stoc1982 pages = "137--146" } +@InProceedings{vatter-et-al-icaps2026, + author = "Jana Vatter and Reuven Mayer and Hans-Arno Jacobsen and + Horst Samulowitz and Michael Katz", + title = "Beyond Message Passing: Modern {GNN} Architectures for Online Planner Selection", + crossref = "icaps2026" +} + @InProceedings{velickovic-et-al-iclr2018, author = "Petar Veli{\v{c}}kovi{\'c} and Guillem Cucurull and Arantxa Casanova and Adriana Romero and