TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules

9 June 2024

Papers citing "TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules"

3 / 3 papers shown

Title
Uncertainty-Aware Trajectory Prediction via Rule-Regularized Heteroscedastic Deep Classification Kumar Manas Christian Schlauch Adrian Paschke Christian Wirth Nadja Klein 40 0 0 17 Apr 2025
ReAct: Synergizing Reasoning and Acting in Language Models Shunyu Yao Jeffrey Zhao Dian Yu Nan Du Izhak Shafran Karthik Narasimhan Yuan Cao LLMAG ReLM LRM 240 2,479 0 06 Oct 2022
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models Jason W. Wei Xuezhi Wang Dale Schuurmans Maarten Bosma Brian Ichter F. Xia Ed H. Chi Quoc Le Denny Zhou LM&Ro LRM AI4CE ReLM 358 8,495 0 28 Jan 2022