ATLAS: Constraints-Aware Multi-Agent Collaboration for Real-World Travel Planning

Strips: A new approach to the application of theorem proving to problem solving

R. E. Fikes and N. J. Nilsson · 1971

Earlier work this paper cites.

Consistency in networks of relations

A. K. Mackworth · 1977

Earlier work this paper cites.

Belief maintenance in dynamic constraint networks

R. Dechter and A. Dechter · 1988

Earlier work this paper cites.

1990-Dynamic Constraint Satisfaction Problems

S. Mittal and B. Falkenhainer · 1990

Earlier work this paper cites.

Trains-95: Towards a mixed-initiative planning assistant

G. Ferguson, J. Allen, and B. Miller · 1996

Earlier work this paper cites.

Suggestion strategies for constraint-based matchmaker agents

E. C. Freuder and R. J. Wallace · 1998

Earlier work this paper cites.

Mixed-initiative interaction

M. A. Hearst · 1999

Earlier work this paper cites.

Bidirectional reasoning in decision making by constraint satisfaction

K. J. Holyoak and D. Simon · 1999

Earlier work this paper cites.

A knowledge-based approach to planning with incomplete information and sensing

R. P. A. Petrick and F. Bacchus · 2002

Earlier work this paper cites.

Constraint Processing

R. Dechter · 2003

Earlier work this paper cites.

Pddl2.1: An extension to PDDL for expressing temporal planning domains

M. Fox and D. Long · 2003

Earlier work this paper cites.

VAL: Automatic plan validation, continuous effects and mixed initiative planning using PDDL

R. Howey, D. Long, and M. Fox · 2004

Earlier work this paper cites.

Extending the knowledge-based approach to planning with incomplete information and sensing

R. P. A. Petrick and F. Bacchus · 2004

Earlier work this paper cites.

Acquiring both constraint and solution preferences in interactive constraint systems

F. Rossi and A. Sperduti · 2004

Earlier work this paper cites.

Query-driven constraint acquisition

C. Bessiere, R. Coletta, B. O’Sullivan, and M. Paulin · 2007

Earlier work this paper cites.

Webgpt: Browser-assisted question-answering with human feedback

Original

R. Nakano, J. Hilton, S. Balaji, J. Wu, L. Ouyang, C. Kim, C. Hesse, S. Jain, V. Kosaraju, W. Saunders, et al · 2021

Earlier work this paper cites.

CRoW: Benchmarking commonsense reasoning in real-world tasks

M. Ismayilzada, D. Paul, S. Montariol, M. Geva, and A. Bosselut · 2023

Cited alongside, same era.

Commonsense reasoning and explainable artificial intelligence using large language models

S. Krause and F. Stolzenburg · 2023

Cited alongside, same era.

Toolformer: Language models can teach themselves to use tools

T. Schick, J. Dwivedi-Yu, R. Dessì, R. Raileanu, M. Lomeli, E. Hambro, L. Zettlemoyer, N. Cancedda, and T. Scialom · 2023

Cited alongside, same era.

Reflexion: Language agents with verbal reinforcement learning

N. Shinn, F. Cassano, A. Gopinath, K. Narasimhan, and S. Yao · 2023

Cited alongside, same era.

On the planning abilities of large language models: A critical investigation

K. Valmeekam, M. Marquez, A. Olmo, S. Sreedharan, and S. Kambhampati · 2023

Cited alongside, same era.

ReAct: Synergizing Reasoning and Acting in Language Models

System Card: Claude Opus 4 & Claude Sonnet 4

Anthropic · 2025

Closest in time.

SETS: Leveraging Self-Verification and Self-Correction for Improved Test-Time Scaling, Feb. 2025

J. Chen, J. Ren, X. Chen, C. Yang, R. Sun, and S. Ö. Arık · 2025

Closest in time.

Gemini 2.5: Pushing the frontier with advanced reasoning, multimodality, long context, and next generation agentic capabilities

Original

G. Comanici, E. Bieber, M. Schaekermann, I. Pasupat, N. Sachdeva, I. Dhillon, M. Blistein, O. Ram, D. Zhang, E. Rosen, et al · 2025

Closest in time.

Mind2web 2: Evaluating agentic search with agent-as-a-judge

Original

B. Gou, Z. Huang, Y. Ning, Y. Gu, M. Lin, W. Qi, A. Kopanev, B. Yu, B. J. Gutiérrez, Y. Shu, et al · 2025

Closest in time.

Know me, respond to me: Benchmarking llms for dynamic user profiling and personalized responses at scale

Original