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 446ba6d..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", @@ -255,6 +261,30 @@ @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", + 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 +433,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", @@ -998,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", @@ -1034,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", @@ -1104,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", @@ -1156,6 +1212,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 +1308,42 @@ @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{iclr2025, + title = "Proc.\ ICLR 2025", + booktitle = "Proc.\ ICLR 2025", + year = "2025" +} + +@Proceedings{iclr2026, + title = "Proc.\ ICLR 2026", + booktitle = "Proc.\ ICLR 2026", + 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", @@ -1300,6 +1392,18 @@ @Proceedings{icml2020 year = "2020" } +@Proceedings{icml2024, + title = "Proc.\ ICML 2024", + booktitle = "Proc.\ ICML 2024", + year = "2024" +} + +@Proceedings{icml2026, + title = "Proc.\ ICML 2026", + booktitle = "Proc.\ ICML 2026", + year = "2026" +} + @Proceedings{icra1994, title = "Proc.\ ICRA 1994", booktitle = "Proc.\ ICRA 1994", @@ -1318,6 +1422,24 @@ @Proceedings{icra2009 year = "2009" } +@Proceedings{icra2023, + title = "Proc.\ ICRA 2023", + booktitle = "Proc.\ ICRA 2023", + year = "2023" +} + +@Proceedings{icra2024, + title = "Proc.\ ICRA 2024", + booktitle = "Proc.\ ICRA 2024", + year = "2024" +} + +@Proceedings{icse2025, + title = "Proc.\ ICSE 2025", + booktitle = "Proc.\ ICSE 2025", + year = "2025" +} + @Proceedings{ictai2004, title = "Proc.\ ICTAI 2004", booktitle = "Proc.\ ICTAI 2004", @@ -1486,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", @@ -1812,6 +1940,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,18 +1961,48 @@ @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", 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", @@ -1851,6 +2015,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 47a8cc8..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 @@ -427,6 +433,40 @@ @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 + 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 +719,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 @@ -1600,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)", @@ -1640,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)", @@ -1718,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", @@ -1783,12 +1852,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 +1986,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 +2000,33 @@ @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{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{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)", @@ -1994,6 +2104,24 @@ @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" +} + +@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 @@ -2023,6 +2151,33 @@ @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{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)", + 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)", @@ -2311,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 @@ -2899,6 +3060,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 +3089,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 +3121,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)", @@ -2934,6 +3135,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", @@ -2948,6 +3157,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 114bde6..20063ed 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", @@ -328,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", @@ -398,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 @@ -468,6 +493,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", @@ -509,6 +542,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", @@ -1054,6 +1097,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", @@ -1450,6 +1506,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 +2387,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 @@ -2724,6 +2804,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 @@ -2956,6 +3051,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", + volume = "2024", + 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 +3068,22 @@ @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]" +} + +@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", @@ -2970,6 +3091,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" +} + +@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" +} + % Data taken from DBLP. @InProceedings{chen-et-al-ijcai2007, author = "Yixin Chen and Xing Zhao and Weixiong Zhang", @@ -3368,6 +3504,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", @@ -3506,6 +3652,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 @@ -3642,6 +3796,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", @@ -3666,6 +3828,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", @@ -4217,6 +4387,29 @@ @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]" +} + +@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]" +} + +@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 @@ -4922,6 +5115,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", @@ -4991,6 +5191,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 @@ -5581,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", @@ -6582,6 +6805,13 @@ @Misc{froleyks-github2024-accessed-2025-12-08 note = "Accessed December 8, 2025" } +% TODO(Michael): Add page numbers. +@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 = "iclr2023" +} + @Book{fudenberg-tirole-1991, author = "Drew Fudenberg and Jean Tirole", title = "Game Theory", @@ -6672,6 +6902,31 @@ @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]" +} + +@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, @@ -7659,6 +7914,13 @@ @Article{gottlob-et-al-jcss2002 publisher = "Elsevier" } +@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" +} + @InProceedings{graedel-csl1991, author = "Erich Gr{\"a}del", title = "On Transitive Closure Logic", @@ -7887,6 +8149,14 @@ @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 +8193,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 = "{DeepSeek-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, @@ -8014,6 +8291,14 @@ @InProceedings{hamilton-et-al-nips2017 pages = "1024--1034" } +@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" +} + @Article{hannenhalli-pevzner-jacm1999, author = "Sridhar Hannenhalli and Pavel A. Pevzner", title = "Transforming Cabbage into Turnip: Polynomial Algorithm for @@ -8333,6 +8618,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 @@ -8740,6 +9033,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", @@ -9326,6 +9627,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", @@ -9333,6 +9641,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", @@ -9348,6 +9663,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", @@ -9355,6 +9677,13 @@ @Misc{huang-et-al-arxiv2022 howpublished = "arXiv:2201.07207 [cs.LG]" } +@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" +} + @Article{huang-et-al-jair2012, author = "Ruoyun Huang and Yixin Chen and Weixiong Zhang", title = "{SAS}$^+$ Planning as Satisfiability", @@ -9389,6 +9718,23 @@ @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]" +} + +@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 @@ -9439,6 +9785,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", @@ -9672,6 +10033,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]" +} + +@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" +} + @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", @@ -9714,6 +10096,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", @@ -9924,6 +10316,22 @@ @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", + year = "2024", + howpublished = "arXiv:2402.01817 [cs.AI]" +} + +% Note: Cite this one, not kambhampati-et-al-arxiv2024, as this one is archival. +@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" +} + @Article{kaminski-et-al-tcs2012, author = "Marcin Kaminski and Paul Medvedev and Martin Milanic", title = "Complexity of independent set reconfigurability problems", @@ -10018,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", @@ -10117,6 +10531,21 @@ @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]" +} + +@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?", @@ -10168,6 +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", @@ -10306,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", @@ -10677,6 +11152,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", @@ -10925,6 +11407,29 @@ @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-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" +} + +% 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", @@ -10932,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", @@ -11030,6 +11541,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", @@ -11476,6 +11997,13 @@ @Book{lawler-1976 year = "1976" } +@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" +} + @Article{leberre-parrain-jsbmc2010, title = "The {Sat4j} library, release 2.2", author = "Daniel {Le Berre} and Anne Parrain", @@ -11687,6 +12215,28 @@ @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", + 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 @@ -11718,6 +12268,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", @@ -11766,6 +12324,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", @@ -11939,6 +12509,31 @@ @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{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", + pages = "2153--2167" +} + +@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", @@ -12116,6 +12711,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 +12743,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", @@ -12194,6 +12803,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", @@ -12512,6 +13129,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, @@ -12633,6 +13258,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", @@ -12735,6 +13375,13 @@ @Article{motzkin-et-al-theoryofgames1953 pages = "51--74" } +@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" +} + @InProceedings{mugdan-et-al-icaps2023, author = "Esther Mugdan and Remo Christen and Salom{\'e} Eriksson", title = "Optimality Certificates for Classical Planning", @@ -13118,6 +13765,37 @@ @InProceedings{ontanon-aaai2013 crossref = "aaai2013", } +@Misc{openai-et-al-arxiv2024, + author = "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{openai-et-al-arxiv2024b, + author = "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 = "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 = "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" +} + @InProceedings{orseau-et-al-neurips2018, author = "Laurent Orseau and Levi Lelis and Tor Lattimore and Th\'{e}ophane Weber", @@ -13147,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 @@ -13166,6 +13850,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 +14536,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", @@ -13846,6 +14558,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", @@ -13883,6 +14603,21 @@ @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", + 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 @@ -14605,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", @@ -14907,6 +15650,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", @@ -15542,6 +16295,13 @@ @Misc{seipp-zenodo2024b howpublished = "\url{https://doi.org/10.5281/zenodo.13361692}" } +@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" +} + @Article{selman-et-al-aij1996, author = "Bart Selman and David G. Mitchell and Hector J. Levesque", title = "Generating Hard Satisfiability Problems", @@ -15700,6 +16460,21 @@ @Article{shimbel-sin1954 volume = "4", } +@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" +} + +@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", @@ -15754,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", @@ -16088,6 +16871,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", @@ -16144,6 +16933,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", @@ -16320,6 +17118,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", @@ -16699,6 +17506,28 @@ @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]" +} + +@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" +} + +% 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", @@ -16798,6 +17627,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", @@ -16929,6 +17767,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", @@ -16965,6 +17811,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", @@ -17005,6 +17859,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, @@ -17425,6 +18286,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", @@ -17445,6 +18315,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", @@ -17482,6 +18359,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", @@ -17533,6 +18418,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", @@ -17617,11 +18510,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" } @@ -17807,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 @@ -17815,6 +18715,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", @@ -17938,6 +18845,14 @@ @InProceedings{wang-et-al-icaps2018 pages = "273--277" } +@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" +} + @InProceedings{wang-williams-aaai2015, author = "David Wang and Brian Williams", title = "{tBurton}: {A} Divide and Conquer Temporal Planner", @@ -18270,6 +19185,21 @@ @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-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" +} + @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", @@ -18293,6 +19223,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", @@ -18336,6 +19273,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 +19519,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", @@ -18583,6 +19541,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", @@ -18591,6 +19558,37 @@ @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]" +} + +@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}", + pages = "4468--4494", + crossref = "iclr2024" +} + +@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" +} + +@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" +} + @InProceedings{zhou-hansen-aaai2006, author = "Rong Zhou and Eric A. Hansen", title = "Domain-Independent Structured Duplicate Detection", @@ -18715,3 +19713,10 @@ @InProceedings{zu-et-al-ijcai2005 year = "2005", crossref = "ijcai2005", } + +% TODO(Michael): Add page numbers. +@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" +}