Image de couverture de livre

Program Machine Policy: Addressing Long-Horizon Tasks by Integrating Program Synthesis and State Machines

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Lin, Yu-An, Lee, Chen-Tao, Liu, Guan-Ting, Cheng, Pu-Jen, Sun, Shao-Hua
Format:	Preprint
Publié:	2023
Sujets:	Machine Learning Artificial Intelligence Programming Languages Robotics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

KiloBot: A Programming Language for Deploying Perception-Guided Industrial Manipulators at Scale
par: Gao, Wei, et autres
Publié: (2024)

Preserving Power Optimizations Across the High Level Synthesis of Distinct Application-Specific Circuits
par: Garcia, Paulo
Publié: (2024)

HiAgent: Hierarchical Working Memory Management for Solving Long-Horizon Agent Tasks with Large Language Model
par: Hu, Mengkang, et autres
Publié: (2024)

Learning Task Decomposition to Assist Humans in Competitive Programming
par: Wen, Jiaxin, et autres
Publié: (2024)

Amortizing Pragmatic Program Synthesis with Rankings
par: Pu, Yewen, et autres
Publié: (2024)

Towards No-Code Programming of Cobots: Experiments with Code Synthesis by Large Code Models for Conversational Programming
par: Kranti, Chalamalasetti, et autres
Publié: (2024)

Neural Task Synthesis for Visual Programming
par: Pădurean, Victor-Alexandru, et autres
Publié: (2023)

DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models
par: Lin, Yuanfei, et autres
Publié: (2024)

Cerisier: A Program Logic for Attestation in a Capability Machine
par: Rousseau, June, et autres
Publié: (2026)

Intrinsic Language-Guided Exploration for Complex Long-Horizon Robotic Manipulation Tasks
par: Triantafyllidis, Eleftherios, et autres
Publié: (2023)

Productive Quantum Programming Needs Better Abstract Machines
par: Núñez-Corrales, Santiago, et autres
Publié: (2025)

Wavelet Policy: Lifting Scheme for Policy Learning in Long-Horizon Tasks
par: Huang, Hao, et autres
Publié: (2025)

Programmatic Imitation Learning from Unlabeled and Noisy Demonstrations
par: Xin, Jimmy, et autres
Publié: (2023)

Modelling Program Spaces in Program Synthesis with Constraints
par: Hinnerichs, Tilman, et autres
Publié: (2025)

Sharing State Between Prompts and Programs
par: Cheng, Ellie Y., et autres
Publié: (2025)

Proving Functional Program Equivalence via Directed Lemma Synthesis
par: Sun, Yican, et autres
Publié: (2024)

Program Synthesis from Partial Traces
par: Ferreira, Margarida, et autres
Publié: (2025)

Active Learning for Neurosymbolic Program Synthesis
par: Barnaby, Celeste, et autres
Publié: (2025)

An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees
par: Chen, ZhenDong, et autres
Publié: (2025)

Comparison between Behavior Trees and Finite State Machines
par: Iovino, Matteo, et autres
Publié: (2024)

LongBench: Evaluating Robotic Manipulation Policies on Real-World Long-Horizon Tasks
par: Chen, Xueyao, et autres
Publié: (2026)

Amortizing Pragmatic Program Synthesis with Rankings
par: Pu, Yewen, et autres
Publié: (2023)

VLABench: A Large-Scale Benchmark for Language-Conditioned Robotics Manipulation with Long-Horizon Reasoning Tasks
par: Zhang, Shiduo, et autres
Publié: (2024)

Template-based Program Synthesis using Stellensätze
par: Goharshady, Amir Kafshdar, et autres
Publié: (2022)

Going Bananas! - Unfolding Program Synthesis with Origami
par: Fernandes, Matheus Campos, et autres
Publié: (2024)

Sound Interval-Based Synthesis for Probabilistic Programs
par: Espada, Guilherme, et autres
Publié: (2025)

Optimal Program Synthesis via Abstract Interpretation
par: Mell, Stephen, et autres
Publié: (2026)

Mason: Type- and Name-Guided Program Synthesis
par: Geer, Jasper, et autres
Publié: (2026)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
par: Zhang, Zhicheng, et autres
Publié: (2024)

Quantum Control Machine: The Limits of Control Flow in Quantum Programming
par: Yuan, Charles, et autres
Publié: (2023)

Details Make a Difference: Object State-Sensitive Neurorobotic Task Planning
par: Sun, Xiaowen, et autres
Publié: (2024)

A Brief Overview of the Pawns Programming Language
par: Naish, Lee
Publié: (2024)

Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model
par: Zenkner, Janis, et autres
Publié: (2025)

LLM-Guided Compositional Program Synthesis
par: Khan, Ruhma, et autres
Publié: (2025)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
par: Wei, Anjiang, et autres
Publié: (2025)

Newtonian Program Analysis of Probabilistic Programs
par: Wang, Di, et autres
Publié: (2023)

Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search
par: Liu, Max, et autres
Publié: (2024)

Compiling OpenSCENARIO 2.1 for Scenario-Based Testing in CARLA
par: Gamage, Thoshitha, et autres
Publié: (2026)

On the Duality of Task and Actor Programming Models
par: Yadav, Rohan, et autres
Publié: (2025)

Bridging the Knowledge Void: Inference-time Acquisition of Unfamiliar Programming Languages for Coding Tasks
par: Shen, Chen, et autres
Publié: (2026)