paper-with-me

Papers

Using Abstraction for Interpretable Robot Programs in Stochastic Domains

2022-07-26 · Till Hofmann, Vaishak Belle

A robot's actions are inherently stochastic, as its sensors are noisy and its actions do not always have the intended effects. For this reason, the agent language Golog has been extended to models with degrees of belief and stochastic actions. While this allows more precise robot models, the resulting programs are much harder to comprehend, because they need to deal with the noise, e.g., by looping until some desired state has been reached with certainty, and because the resulting action traces consist of a large number of actions cluttered with sensor noise. To alleviate these issues, we propose to use abstraction. We define a high-level and nonstochastic model of the robot and then map the high-level model into the lower-level stochastic model. The resulting programs are much easier to understand, often do not require belief operators or loops, and produce much shorter action traces.

📄 PDF Abstract BibTeX arXiv:2207.12763

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Abstracting Noisy Robot Programs

2022-04-07 · Till Hofmann, Vaishak Belle

Abstraction is a commonly used process to represent some low-level system by a more coarse specification with the goal to omit unnecessary details while preserving important aspects. While recent work on abstraction in t…

ShapeCoder: Discovering Abstractions for Visual Programs from Unstructured Primitives

2023-05-09 · R. Kenny Jones, Paul Guerrero, Niloy J. Mitra, Daniel Ritchie

Programs are an increasingly popular representation for visual data, exposing compact, interpretable structure that supports manipulation. Visual programs are usually written in domain-specific languages (DSLs). Finding …

Leveraging Language to Learn Program Abstractions and Search Heuristics

2021-06-18 · Catherine Wong, Kevin Ellis, Joshua B. Tenenbaum, Jacob Andreas

Inductive program synthesis, or inferring programs from examples of desired behavior, offers a general paradigm for building interpretable, robust, and generalizable machine learning systems. Effective program synthesis …

Program Synthesis

ShapeLib: Designing a library of programmatic 3D shape abstractions with Large Language Models

2025-02-13 · R. Kenny Jones, Paul Guerrero, Niloy J. Mitra, Daniel Ritchie

We present ShapeLib, the first method that leverages the priors of LLMs to design libraries of programmatic 3D shape abstractions. Our system accepts two forms of design intent: text descriptions of functions to include …

Synthetic Data Generation

ReGAL: Refactoring Programs to Discover Generalizable Abstractions

2024-01-29 · Elias Stengel-Eskin, Archiki Prasad, Mohit Bansal

While large language models (LLMs) are increasingly being used for program synthesis, they lack the global view needed to develop useful abstractions; they generally predict programs one at a time, often repeating the sa…

Date UnderstandingMathMinecraftProgram Synthesis