
A framework that enables large language models to formally formulate and solve complex travel planning problems as satisfiability modulo theory (SMT) problems, guaranteeing the satisfiability of constraints and generating valid travel plans.


coremsg

leveraging-large-language-models-and-formal-verification-tools-to-rigorously-plan-domestic-and-international-travels


Leveraging Large Language Models and Formal Verification Tools to Rigorously Plan Domestic and International Travels
