Imagen de Portada

Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Hao, Yilun, Chen, Yongchao, Zhang, Yang, Fan, Chuchu
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence Computation and Language Human-Computer Interaction
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Heuristic-based Sampling
por: Chen, Yongchao, et al.
Publicado: (2024)

Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming
por: Hao, Yilun, et al.
Publicado: (2024)

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
por: Hao, Yilun, et al.
Publicado: (2025)

Can Large Language Model Agents Simulate Human Trust Behavior?
por: Xie, Chengxing, et al.
Publicado: (2024)

Can Large Language Models Detect Verbal Indicators of Romantic Attraction?
por: Matz, Sandra C., et al.
Publicado: (2024)

Inclusion Arena: An Open Platform for Evaluating Large Foundation Models with Real-World Apps
por: Wang, Kangyu, et al.
Publicado: (2025)

Can Large Language Models generalize analogy solving like children can?
por: Stevenson, Claire E., et al.
Publicado: (2024)

AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers
por: Chen, Yongchao, et al.
Publicado: (2023)

LLMR: Real-time Prompting of Interactive Worlds using Large Language Models
por: De La Torre, Fernanda, et al.
Publicado: (2023)

LLM Can be a Dangerous Persuader: Empirical Study of Persuasion Safety in Large Language Models
por: Liu, Minqian, et al.
Publicado: (2025)

The Generative AI Paradox on Evaluation: What It Can Solve, It May Not Evaluate
por: Oh, Juhyun, et al.
Publicado: (2024)

Evaluating Large Language Models' Ability Using a Psychiatric Screening Tool Based on Metaphor and Sarcasm Scenarios
por: Yakura, Hiromu
Publicado: (2023)

Consistency of Responses and Continuations Generated by Large Language Models on Social Media
por: Xu, Wentao, et al.
Publicado: (2025)

Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation
por: Chen, Yongchao, et al.
Publicado: (2025)

How to Enable Effective Cooperation Between Humans and NLP Models: A Survey of Principles, Formalizations, and Beyond
por: Huang, Chen, et al.
Publicado: (2025)

Your Co-Workers Matter: Evaluating Collaborative Capabilities of Language Models in Blocks World
por: Wu, Guande, et al.
Publicado: (2024)

HealthGenie: Empowering Users with Healthy Dietary Guidance through Knowledge Graph and Large Language Models
por: Gao, Fan, et al.
Publicado: (2025)

Large Language Model-Powered Conversational Agent Delivering Problem-Solving Therapy (PST) for Family Caregivers: Enhancing Empathy and Therapeutic Alliance Using In-Context Learning
por: Wang, Liying, et al.
Publicado: (2025)

Can Large Language Models be Used to Provide Psychological Counselling? An Analysis of GPT-4-Generated Responses Using Role-play Dialogues
por: Inaba, Michimasa, et al.
Publicado: (2024)

CiteME: Can Language Models Accurately Cite Scientific Claims?
por: Press, Ori, et al.
Publicado: (2024)

Empowering Private Tutoring by Chaining Large Language Models
por: Chen, Yulin, et al.
Publicado: (2023)

Large Language Models for Automatic Milestone Detection in Group Discussions
por: Duan, Zhuoxu, et al.
Publicado: (2024)

When AI Writes, Whose Voice Remains? Quantifying Cultural Marker Erasure Across World English Varieties in Large Language Models
por: Navneet, Satyam Kumar, et al.
Publicado: (2026)

Moving Beyond Review: Applying Language Models to Planning and Translation in Reflection
por: Neshaei, Seyed Parsa, et al.
Publicado: (2026)

Epistemic Integrity in Large Language Models
por: Ghafouri, Bijean, et al.
Publicado: (2024)

Question Answering for Decisionmaking in Green Building Design: A Multimodal Data Reasoning Method Driven by Large Language Models
por: Li, Yihui, et al.
Publicado: (2024)

EditScribe: Non-Visual Image Editing with Natural Language Verification Loops
por: Chang, Ruei-Che, et al.
Publicado: (2024)

Dynamic Context Tuning for Retrieval-Augmented Generation: Enhancing Multi-Turn Planning and Tool Adaptation
por: Soni, Jubin Abhishek, et al.
Publicado: (2025)

RNR: Teaching Large Language Models to Follow Roles and Rules
por: Wang, Kuan, et al.
Publicado: (2024)

Interactive Task Planning with Language Models
por: Li, Boyi, et al.
Publicado: (2023)

An Evaluation of Estimative Uncertainty in Large Language Models
por: Tang, Zhisheng, et al.
Publicado: (2024)

Evaluating the Prompt Steerability of Large Language Models
por: Miehling, Erik, et al.
Publicado: (2024)

Autonomous Prompt Engineering in Large Language Models
por: Kepel, Daan, et al.
Publicado: (2024)

Generative Interfaces for Language Models
por: Chen, Jiaqi, et al.
Publicado: (2025)

Role-Playing Agents Driven by Large Language Models: Current Status, Challenges, and Future Trends
por: Wang, Ye, et al.
Publicado: (2026)

Inertia in Moral and Value Judgments of Large Language Models
por: Lee, Bruce W., et al.
Publicado: (2024)

Large Language Model Use Impact Locus of Control
por: Fu, Jenny Xiyu, et al.
Publicado: (2025)

Large Language Models and Games: A Survey and Roadmap
por: Gallotta, Roberto, et al.
Publicado: (2024)

(Ir)rationality and Cognitive Biases in Large Language Models
por: Macmillan-Scott, Olivia, et al.
Publicado: (2024)

Evaluating Large Language Models in Analysing Classroom Dialogue
por: Long, Yun, et al.
Publicado: (2024)