VeriPlan: Integrating Formal Verification and LLMs into End-User Planning

Thematic analysis

Victoria Clarke and Virginia Braun. 2014 · 1952

Earlier work this paper cites.

Mathematical logic . Vol. 2

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas, and Ann S Ferebee. 1994 · 1994

Earlier work this paper cites.

Designing web usability: The practice of simplicity

Jakob Nielsen. 1999 · 1999

Earlier work this paper cites.

Measuring Usability with the USE Questionnaire

Arnold Lund. 2001 · 2001

Earlier work this paper cites.

PDDL2. 1: An Extension to PDDL for Expressing Temporal Planning Domains

Maria Fox and Derek Long. 2003 · 2003

Earlier work this paper cites.

A PDDL based tool for automatic web service composition. In International Workshop on Principles and Practice of Semantic Web Reasoning . Springer, 149–163

Joachim Peer. 2004 · 2004

Earlier work this paper cites.

Determinants of customers’ responses to customized offers: Conceptual framework and research propositions

Itamar Simonson. 2005 · 2005

Earlier work this paper cites.

Principles of model checking

Christel Baier and Joost-Pieter Katoen. 2008 · 2008

Earlier work this paper cites.

Concise finite-domain representations for PDDL planning tasks

Malte Helmert. 2009 · 2009

Earlier work this paper cites.

Programming assistance based on contracts and modular verification in the automation domain. In Proceedings of the 2010 ACM Symposium on Applied Computing . 2544–2551

Dominik Hurnaus and Herbert Prähofer. 2010 · 2010

Earlier work this paper cites.

Designing the user interface: strategies for effective human-computer interaction

Ben Shneiderman and Catherine Plaisant. 2010 · 2010

Earlier work this paper cites.

Recent advances and future challenges in automated manufacturing planning

David Bourne, Jonathan Corney, and Satyandra K Gupta. 2011 · 2011

Earlier work this paper cites.

PRISM 4.0: Verification of probabilistic real-time systems. In Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings 23 . Springer, 585–591

Marta Kwiatkowska, Gethin Norman, and David Parker. 2011 · 2011

Earlier work this paper cites.

Knowledge engineering tools in planning: State-of-the-art and future challenges

M Shah, Lukás Chrpa, Falilat Jimoh, D Kitchin, T McCluskey, Simon Parkinson, and Mauro Vallati. 2013 · 2013

Earlier work this paper cites.

Statistical power of within and between-subjects designs in economic experiments

Charles Bellemare, Luc Bissonnette, and Sabine Kröger. 2014 · 2014

Earlier work this paper cites.

“The fridge door is open”–Temporal Verification of a Robotic Assistant’s Behaviours. In Advances in Autonomous Robotics Systems: 15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014. Proceedings 15 . Springer, 97–108

Clare Dixon, Matt Webster, Joe Saunders, Michael Fisher, and Kerstin Dautenhahn. 2014 · 2014

Earlier work this paper cites.

Putting users in control of their recommendations. In Proceedings of the 9th ACM Conference on Recommender Systems . 3–10

F Maxwell Harper, Funing Xu, Harmanpreet Kaur, Kyle Condiff, Shuo Chang, and Loren Terveen. 2015 · 2015

Earlier work this paper cites.

Moodplay: Interactive mood-based music discovery and recommendation. In Proceedings of the 2016 conference on user modeling adaptation and personalization . 275–279

Ivana Andjelkovic, Denis Parra, and John O’Donovan. 2016 · 2016

Earlier work this paper cites.

Automated Planning and Acting

Malik Ghallab, Dana Nau, and Paolo Traverso. 2016 · 2016

Earlier work this paper cites.

A synthesis of automated planning and reinforcement learning for efficient, robust decision-making

Matteo Leonetti, Luca Iocchi, and Peter Stone. 2016 · 2016

Earlier work this paper cites.

How do different levels of user control affect cognitive load and acceptance of recommendations?. In IntRS@ RecSys . 35–42

Yucheng Jin, Bruno De Lemos Ribeiro Pinto Cardoso, and Katrien Verbert. 2017 · 2017

Earlier work this paper cites.

Artificial intelligence in radiology

Ahmed Hosny, Chintan Parmar, John Quackenbush, Lawrence H Schwartz, and Hugo JWL Aerts. 2018 · 2018

Earlier work this paper cites.

Synthesis for robots: Guarantees and feedback for robot behavior

Hadas Kress-Gazit, Morteza Lahijanian, and Vasumathi Raman. 2018 · 2018

Earlier work this paper cites.

Authoring and verifying human-robot interactions. In Proceedings of the 31st annual acm symposium on user interface software and technology . 75–86

David Porfirio, Allison Sauppé, Aws Albarghouthi, and Bilge Mutlu. 2018 · 2018

Earlier work this paper cites.

Guidelines for Human-AI Interaction. In Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems (Glasgow, Scotland Uk) (CHI ’19) . Association for Computing Machinery, New York, NY, USA, 1–13

Saleema Amershi, Dan Weld, Mihaela Vorvoreanu, Adam Fourney, Besmira Nushi, Penny Collisson, Jina Suh, Shamsi Iqbal, Paul N. Bennett, Kori Inkpen, Jaime Teevan, Ruth Kikin-Gil, and Eric Horvitz. 2019 · 2019

Earlier work this paper cites.

Designing for the better by taking users into account: A qualitative evaluation of user control mechanisms in (news) recommender systems. In Proceedings of the 13th ACM conference on recommender systems . 69–77

Jaron Harambam, Dimitrios Bountouridis, Mykola Makhortykh, and Joris Van Hoboken. 2019 · 2019

Earlier work this paper cites.

Explainable artificial intelligence applications in NLP, biomedical, and malware classification: a literature review. In Intelligent Computing: Proceedings of the 2019 Computing Conference, Volume 2 . Springer, 1269–1292

Sherin Mary Mathews. 2019 · 2019

Earlier work this paper cites.

Reliability and Inter-rater Reliability in Qualitative Research: Norms and Guidelines for CSCW and HCI Practice

Nora McDonald, Sarita Schoenebeck, and Andrea Forte. 2019 · 2019

Earlier work this paper cites.

Retrieval-augmented generation for knowledge-intensive nlp tasks

Patrick Lewis, Ethan Perez, Aleksandra Piktus, Fabio Petroni, Vladimir Karpukhin, Naman Goyal, Heinrich Küttler, Mike Lewis, Wen-tau Yih, Tim Rocktäschel, et al · 2020

Earlier work this paper cites.

Novice-AI music co-creation via AI-steering tools for deep generative models. In Proceedings of the 2020 CHI conference on human factors in computing systems . 1–13

Ryan Louie, Andy Coenen, Cheng Zhi Huang, Michael Terry, and Carrie J Cai. 2020 · 2020

Earlier work this paper cites.

Unintended Consequences of Introducing AI Systems for Decision Making

Anne-Sophie Mayer, Franz Strich, and Marina Fiedler. 2020 · 2020

Earlier work this paper cites.

On faithfulness and factuality in abstractive summarization

Original

Joshua Maynez, Shashi Narayan, Bernd Bohnet, and Ryan McDonald. 2020 · 2020

Earlier work this paper cites.

Transforming robot programs based on social context. In Proceedings of the 2020 CHI conference on human factors in computing systems . 1–12

David Porfirio, Allison Sauppé, Aws Albarghouthi, and Bilge Mutlu. 2020 · 2020

Earlier work this paper cites.

Authr: A task authoring environment for human-robot teams. In Proceedings of the 33rd annual acm symposium on user interface software and technology . 1194–1208

Andrew Schoen, Curt Henrichs, Mathias Strohkirch, and Bilge Mutlu. 2020 · 2020

Earlier work this paper cites.

On the dangers of stochastic parrots: Can language models be too big?. In Proceedings of the 2021 ACM conference on fairness, accountability, and transparency . 610–623

Emily M Bender, Timnit Gebru, Angelina McMillan-Major, and Shmargaret Shmitchell. 2021 · 2021

Earlier work this paper cites.

Uncertainty as a form of transparency: Measuring, communicating, and using uncertainty. In Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society . 401–413

Umang Bhatt, Javier Antorán, Yunfeng Zhang, Q Vera Liao, Prasanna Sattigeri, Riccardo Fogliato, Gabrielle Melançon, Ranganath Krishnan, Jason Stanley, Omesh Tickoo, et al · 2021

Earlier work this paper cites.

Few-shot self-rationalization with natural language prompts

Original

Ana Marasović, Iz Beltagy, Doug Downey, and Matthew E Peters. 2021 · 2021

Earlier work this paper cites.

GTPyhop: A hierarchical goal+ task planner implemented in Python

Dana Nau, Yash Bansod, Sunandita Patra, Mark Roberts, and Ruoxi Li. [n. d.] · 2021

Earlier work this paper cites.

The effects of explainability and causability on perception, trust, and acceptance: Implications for explainable AI

Donghee Shin. 2021 · 2021

Earlier work this paper cites.

Reframing human-AI collaboration for generating free-text explanations

Original

Sarah Wiegreffe, Jack Hessel, Swabha Swayamdipta, Mark Riedl, and Yejin Choi. 2021 · 2021

Earlier work this paper cites.

A framework for human-computer interactive street network design based on a multi-stage deep learning approach

Zhou Fang, Jiaxin Qi, Lubin Fan, Jianqiang Huang, Ying Jin, and Tianren Yang. 2022 · 2022

Cited alongside, same era.

The probabilistic model checker Storm

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, and Matthias Volk. 2022 · 2022

Cited alongside, same era.

Explanations from large language models make small reasoners better

Original

Shiyang Li, Jianshu Chen, Yelong Shen, Zhiyu Chen, Xinlu Zhang, Zekun Li, Hong Wang, Jing Qian, Baolin Peng, Yi Mao, et al · 2022

Cited alongside, same era.

Structure synthesis for extended robot state automata. In International Conference on Robotics in Alpe-Adria Danube Region . Springer, 71–79

Lukas Sauer and Dominik Henrich. 2022 · 2022

Cited alongside, same era.

Investigating explainability of generative AI for code through scenario-based design. In Proceedings of the 27th International Conference on Intelligent User Interfaces . 212–228

Planning Domain Simulation: An Interactive System for Plan Visualisation

Emanuele De Pellegrin and Ronald P. A. Petrick. 2024 · 2024

Later among the works it cites.

EvaluLLM: LLM assisted evaluation of generative outputs. In Companion Proceedings of the 29th International Conference on Intelligent User Interfaces . 30–32

Michael Desmond, Zahra Ashktorab, Qian Pan, Casey Dugan, and James M Johnson. 2024 · 2024

Later among the works it cites.

Robust Planning with LLM-Modulo Framework: Case Study in Travel Planning

Original

Atharva Gundawar, Mudit Verma, Lin Guan, Karthik Valmeekam, Siddhant Bhambri, and Subbarao Kambhampati. 2024 · 2024

Later among the works it cites.

Llm-guided formal verification coupled with mutation testing. In 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) . IEEE, 1–2

Muhammad Hassan, Sallar Ahmadi-Pour, Khushboo Qayyum, Chandan Kumar Jha, and Rolf Drechsler. 2024 · 2024

Later among the works it cites.

An empirical study of llm-as-a-judge for llm evaluation: Fine-tuned judge models are task-specific classifiers