:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Lin, Yu-An, Lee, Chen-Tao, Liu, Guan-Ting, Cheng, Pu-Jen, Sun, Shao-Hua
Format:	Preprint
Published:	2023
Subjects:	Machine Learning Artificial Intelligence Programming Languages Robotics
Online Access:	https://arxiv.org/abs/2311.15960
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

KiloBot: A Programming Language for Deploying Perception-Guided Industrial Manipulators at Scale
by: Gao, Wei, et al.
Published: (2024)

HiAgent: Hierarchical Working Memory Management for Solving Long-Horizon Agent Tasks with Large Language Model
by: Hu, Mengkang, et al.
Published: (2024)

Towards No-Code Programming of Cobots: Experiments with Code Synthesis by Large Code Models for Conversational Programming
by: Kranti, Chalamalasetti, et al.
Published: (2024)

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

Amortizing Pragmatic Program Synthesis with Rankings
by: Pu, Yewen, et al.
Published: (2024)

Intrinsic Language-Guided Exploration for Complex Long-Horizon Robotic Manipulation Tasks
by: Triantafyllidis, Eleftherios, et al.
Published: (2023)

Learning Task Decomposition to Assist Humans in Competitive Programming
by: Wen, Jiaxin, et al.
Published: (2024)

Neural Task Synthesis for Visual Programming
by: Pădurean, Victor-Alexandru, et al.
Published: (2023)

DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models
by: Lin, Yuanfei, et al.
Published: (2024)

Cerisier: A Program Logic for Attestation in a Capability Machine
by: Rousseau, June, et al.
Published: (2026)

Wavelet Policy: Lifting Scheme for Policy Learning in Long-Horizon Tasks
by: Huang, Hao, et al.
Published: (2025)

Productive Quantum Programming Needs Better Abstract Machines
by: Núñez-Corrales, Santiago, et al.
Published: (2025)

VLABench: A Large-Scale Benchmark for Language-Conditioned Robotics Manipulation with Long-Horizon Reasoning Tasks
by: Zhang, Shiduo, et al.
Published: (2024)

Comparison between Behavior Trees and Finite State Machines
by: Iovino, Matteo, et al.
Published: (2024)

Amortizing Pragmatic Program Synthesis with Rankings
by: Pu, Yewen, et al.
Published: (2023)

Programmatic Imitation Learning from Unlabeled and Noisy Demonstrations
by: Xin, Jimmy, et al.
Published: (2023)

Sharing State Between Prompts and Programs
by: Cheng, Ellie Y., et al.
Published: (2025)

Modelling Program Spaces in Program Synthesis with Constraints
by: Hinnerichs, Tilman, et al.
Published: (2025)

An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees
by: Chen, ZhenDong, et al.
Published: (2025)

Details Make a Difference: Object State-Sensitive Neurorobotic Task Planning
by: Sun, Xiaowen, et al.
Published: (2024)

LongBench: Evaluating Robotic Manipulation Policies on Real-World Long-Horizon Tasks
by: Chen, Xueyao, et al.
Published: (2026)

Proving Functional Program Equivalence via Directed Lemma Synthesis
by: Sun, Yican, et al.
Published: (2024)

Program Synthesis from Partial Traces
by: Ferreira, Margarida, et al.
Published: (2025)

Active Learning for Neurosymbolic Program Synthesis
by: Barnaby, Celeste, et al.
Published: (2025)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
by: Zhang, Zhicheng, et al.
Published: (2024)

Quantum Control Machine: The Limits of Control Flow in Quantum Programming
by: Yuan, Charles, et al.
Published: (2023)

Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search
by: Liu, Max, et al.
Published: (2024)

SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine
by: Modak, Sadanand, et al.
Published: (2024)

Template-based Program Synthesis using Stellensätze
by: Goharshady, Amir Kafshdar, et al.
Published: (2022)

Going Bananas! - Unfolding Program Synthesis with Origami
by: Fernandes, Matheus Campos, et al.
Published: (2024)

Sound Interval-Based Synthesis for Probabilistic Programs
by: Espada, Guilherme, et al.
Published: (2025)

Optimal Program Synthesis via Abstract Interpretation
by: Mell, Stephen, et al.
Published: (2026)

Mason: Type- and Name-Guided Program Synthesis
by: Geer, Jasper, et al.
Published: (2026)

Active Reward Machine Inference From Raw State Trajectories
by: Shehab, Mohamad Louai, et al.
Published: (2026)

Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model
by: Zenkner, Janis, et al.
Published: (2025)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
by: Wei, Anjiang, et al.
Published: (2025)

Compiling OpenSCENARIO 2.1 for Scenario-Based Testing in CARLA
by: Gamage, Thoshitha, et al.
Published: (2026)

A Brief Overview of the Pawns Programming Language
by: Naish, Lee
Published: (2024)

Generating Pragmatic Examples to Train Neural Program Synthesizers
by: Vaduguru, Saujas, et al.
Published: (2023)

LLM-Guided Compositional Program Synthesis
by: Khan, Ruhma, et al.
Published: (2025)