Traditional travel planning using large language models (LLMs) faces challenges in logistical and mathematical reasoning, providing viable solutions only 4% of the time.
A research team from MIT and MIT-IBM Watson AI Lab introduced a new framework combining LLMs with satisfiability solvers for improved trip planning accuracy.
The team's approach involves translating natural language descriptions of travel plans into problem frameworks solvable by the combined LLM-solver system.
The framework involves a four-step process that leverages LLMs like GPT-4, algorithms, APIs, and the satisfiability solver to create coherent travel itineraries.
Testing against baselines, the new technique demonstrated over a 90% success rate in meeting planning constraints, outperforming other methods significantly.
The framework's potential was further explored in handling new constraints, achieving high success rates in plan adjustments and paraphrasing prompts.
This innovative approach extends beyond travel planning to various domains like block picking, task allocation, and the traveling salesman problem.
Funded by the Office of Naval Research and MIT-IBM Watson AI Lab, this work presents a promising solution for personalized and efficient AI trip planning.