paper-with-me

홈 › Papers

Iti-Validator: A Guardrail Framework for Validating and Correcting LLM-Generated Itineraries

2025-09-04 · Shravan Gadbail, Masumi Desai, Kamalakar Karlapalem arxiv

The rapid advancement of Large Language Models (LLMs) has enabled them to generate complex, multi-step plans and itineraries. However, these generated plans often lack temporal and spatial consistency, particularly in scenarios involving physical travel constraints. This research aims to study the temporal performance of different LLMs and presents a validation framework that evaluates and improves the temporal consistency of LLM-generated travel itineraries. The system employs multiple state-of-the-art LLMs to generate travel plans and validates them against real-world flight duration constraints using the AeroDataBox API. This work contributes to the understanding of LLM capabilities in handling complex temporal reasoning tasks like itinerary generation and provides a framework to rectify any temporal inconsistencies like overlapping journeys or unrealistic transit times in the itineraries generated by LLMs before the itinerary is given to the user. Our experiments reveal that while current LLMs frequently produce temporally inconsistent itineraries, these can be systematically and reliably corrected using our framework, enabling their practical deployment in large-scale travel planning.

📄 PDF Abstract BibTeX arXiv:2510.24719

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Benchmarking and Improving Generator-Validator Consistency of Language Models

2023-10-03 · Xiang Lisa Li, Vaishnavi Shrivastava, Siyan Li, Tatsunori Hashimoto 외

As of September 2023, ChatGPT correctly answers "what is 7+8" with 15, but when asked "7+8=15, True or False" it responds with "False". This inconsistency between generating and validating an answer is prevalent in langu…

BenchmarkingInstruction FollowingMath

SED-ML Validator: tool for debugging simulation experiments

2021-06-01 · Bilal Shaikh, Andrew Philip Freiburger, Matthias König, Frank T. Bergmann 외

Summary: More sophisticated models are needed to address problems in bioscience, synthetic biology, and precision medicine. To help facilitate the collaboration needed for such models, the community developed the Simulat…

Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving

2026-04-01 · Devakh Rashie, Veda Rashi arxiv

The rapid evolution of autonomous, agentic artificial intelligence within financial services has introduced an existential architectural crisis: large language models (LLMs) are probabilistic, non-deterministic systems o…

Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning

2023-01-03 · Thanh Le-Cong, Duc-Minh Luong, Xuan Bach D. Le, David Lo 외

Automated program repair (APR) faces the challenge of test overfitting, where generated patches pass validation tests but fail to generalize. Existing methods for patch assessment involve generating new tests or manual i…

Language ModellingProgram Repair

Know Where to Go: Make LLM a Relevant, Responsible, and Trustworthy Searcher

2023-10-19 · Xiang Shi, Jiawei Liu, Yinpeng Liu, Qikai Cheng 외

The advent of Large Language Models (LLMs) has shown the potential to improve relevance and provide direct answers in web searches. However, challenges arise in validating the reliability of generated results and the cre…

HallucinationInformation RetrievalRetrieval