paper-with-me

Papers

ScenicNL: Generating Probabilistic Scenario Programs from Natural Language

2024-05-03 · Karim Elmaaroufi, Devan Shanker, Ana Cismaru, Marcell Vazquez-Chanlatte, Alberto Sangiovanni-Vincentelli, Matei Zaharia, Sanjit A. Seshia

For cyber-physical systems (CPS), including robotics and autonomous vehicles, mass deployment has been hindered by fatal errors that occur when operating in rare events. To replicate rare events such as vehicle crashes, many companies have created logging systems and employed crash reconstruction experts to meticulously recreate these valuable events in simulation. However, in these methods, "what if" questions are not easily formulated and answered. We present ScenarioNL, an AI System for creating scenario programs from natural language. Specifically, we generate these programs from police crash reports. Reports normally contain uncertainty about the exact details of the incidents which we represent through a Probabilistic Programming Language (PPL), Scenic. By using Scenic, we can clearly and concisely represent uncertainty and variation over CPS behaviors, properties, and interactions. We demonstrate how commonplace prompting techniques with the best Large Language Models (LLM) are incapable of reasoning about probabilistic scenario programs and generating code for low-resource languages such as Scenic. Our system is comprised of several LLMs chained together with several kinds of prompting strategies, a compiler, and a simulator. We evaluate our system on publicly available autonomous vehicle crash reports in California from the last five years and share insights into how we generate code that is both semantically meaningful and syntactically correct.

📄 PDF Abstract BibTeX arXiv:2405.03709

Code (0)

등록된 구현이 없습니다.

Tasks

Autonomous VehiclesProbabilistic Programming

Similar Papers 제목 키워드 기반

Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling

2019-07-14 · Feras A. Saad, Marco F. Cusumano-Towner, Ulrich Schaechtle, Martin C. Rinard 외

We present new techniques for automatically constructing probabilistic programs for data analysis, interpretation, and prediction. These techniques work with probabilistic domain-specific data modeling languages that cap…

Bayesian InferenceProbabilistic ProgrammingTime SeriesTime Series Analysis

Generating Random Logic Programs Using Constraint Programming

2020-06-02 · Paulius Dilkas, Vaishak Belle

Testing algorithms across a wide range of problem instances is crucial to ensure the validity of any claim about one algorithm's superiority over another. However, when it comes to inference algorithms for probabilistic …

Translating Recursive Probabilistic Programs to Factor Graph Grammars

2020-10-22 · David Chiang, Chung-chieh Shan

It is natural for probabilistic programs to use conditionals to express alternative substructures in models, and loops (recursion) to express repeated substructures in models. Thus, probabilistic programs with conditiona…

Translation

"Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming

2023-08-30 · Kilian Rückschloß, Felix Weitkämper

Probabilistic logic programs are logic programs where some facts hold with a specified probability. Here, we investigate these programs with a causal framework that allows counterfactual queries. Learning the program str…

counterfactualCounterfactual ReasoningHeuristic SearchInductive logic programming

Dialog2API: Task-Oriented Dialogue with API Description and Example Programs

2022-12-20 · Raphael Shu, Elman Mansimov, Tamer Alkhouli, Nikolaos Pappas 외

Functionality and dialogue experience are two important factors of task-oriented dialogue systems. Conventional approaches with closed schema (e.g., conversational semantic parsing) often fail as both the functionality a…

In-Context LearningSemantic ParsingTask-Oriented Dialogue Systems