Image de couverture de livre

An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chen, ZhenDong, Nie, ZhanShang, Wan, ShiXing, Li, JunYi, Cheng, YongTian, Zhao, Shuai
Format:	Preprint
Publié:	2025
Sujets:	Robotics Artificial Intelligence Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Self‐Normalized KPSS Tests With Power Enhancement
par: JunYi Peng‐Zhou, et autres
Publié: (2025)

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
par: Sundarsingh, David Smith, et autres
Publié: (2025)

InterTrans: Leveraging Transitive Intermediate Translations to Enhance LLM-based Code Translation
par: Macedo, Marcos, et autres
Publié: (2024)

LLM-powered Multi-agent Framework for Goal-oriented Learning in Intelligent Tutoring System
par: Wang, Tianfu, et autres
Publié: (2025)

Corrections to $R_{D}$ and $R_{D^{*}}$ in the BLMSSM
par: Yang, Zhong-Jun, et autres
Publié: (2018)

Detecting LLM-Generated Text with Performance Guarantees
par: Zhou, Hongyi, et autres
Publié: (2026)

LLM-Supported Natural Language to Bash Translation
par: Westenfelder, Finnian, et autres
Publié: (2025)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
par: Hafez, Ahmad, et autres
Publié: (2025)

Flow-Controlled Scheduling for LLM Inference with Provable Stability Guarantees
par: Dong, Zhuolun, et autres
Publié: (2026)

DexReMoE:In-hand Reorientation of General Object via Mixtures of Experts
par: Wan, Jun, et autres
Publié: (2025)

Robot Imports and Firms' Export Adjustment: Evidence From Chinese Exporters
par: Jinyong Zhan, et autres
Publié: (2025)

Language and Sketching: An LLM-driven Interactive Multimodal Multitask Robot Navigation Framework
par: Zu, Weiqin, et autres
Publié: (2023)

ButterflyQuant: Ultra-low-bit LLM Quantization through Learnable Orthogonal Butterfly Transforms
par: Xu, Bingxin, et autres
Publié: (2025)

Decentralized Sporadic Federated Learning: A Unified Algorithmic Framework with Convergence Guarantees
par: Zehtabi, Shahryar, et autres
Publié: (2024)

Preservation Constraints on aDNA Information Generation and the HSF Posterior Sourcing Framework: A First-Principles Critique of Conventional Methods
par: Zhao, Wan-Qian, et autres
Publié: (2026)

Robust stability and H∞$$ {H}_{\infty } $$ performance evaluation for time‐varying‐delayed uncertain linear systems based on variable‐augmented‐based free‐weighting matrices
par: Dong‐Shuai Chen, et autres
Publié: (2024)

BandFuzz: An ML-powered Collaborative Fuzzing Framework
par: Shi, Wenxuan, et autres
Publié: (2025)

Towards Emotion Co-regulation with LLM-powered Socially Assistive Robots: Integrating LLM Prompts and Robotic Behaviors to Support Parent-Neurodivergent Child Dyads
par: Li, Jing, et autres
Publié: (2025)

LLM-AR: LLM-powered Automated Reasoning Framework
par: Chen, Rick, et autres
Publié: (2025)

Hard Constraints Meet Soft Generation: Guaranteed Feasibility for LLM-based Combinatorial Optimization
par: Liu, Yang, et autres
Publié: (2026)

SSCard: Substring Cardinality Estimation using Suffix Tree-Guided Learned FM-Index
par: Zhan, Yirui, et autres
Publié: (2025)

T3 Planner: A Self-Correcting LLM Framework for Robotic Motion Planning with Temporal Logic
par: Li, Jia, et autres
Publié: (2025)

Energy efficiency analysis of ammonia-fueled power systems for vehicles considering residual heat recovery
par: Nie, Zexin, et autres
Publié: (2024)

Hybrid Quantum Error Correction Decoder for Surface Codes: \\ Architectural Framework and Complexity Guarantees
par: Pérez Expolio, Jesús
Publié: (2025)

Detecting Generated Images by Fitting Natural Image Distributions
par: Zhang, Yonggang, et autres
Publié: (2025)

Adaptive Request Scheduling for CodeLLM Serving with SLA Guarantees
par: Chang, Shi, et autres
Publié: (2025)

A Framework for LLM-powered Design Assistants
par: Panda, Swaroop
Publié: (2025)

xTower: A Multilingual LLM for Explaining and Correcting Translation Errors
par: Treviso, Marcos, et autres
Publié: (2024)

Scheduling Coflows in Multi-Core OCS Networks with Performance Guarantee
par: Wang, Xin, et autres
Publié: (2026)

From Nano Robotic Manipulation to Nano Manipulation Robot
par: Zhan Yang, et autres
Publié: (2025)

Indefinite Linear-Quadratic Partially Observed Mean-Field Game
par: Chen, Tian, et autres
Publié: (2025)

Mining microbial and metabolic dark matter in extreme environments: a roadmap for harnessing the power of multi-omics data.
par: Han, Jia-Rui, et autres
Publié: (2024)

LLM-powered Query Expansion for Enhancing Boundary Prediction in Language-driven Action Localization
par: Shang, Zirui, et autres
Publié: (2025)

Factorized Learning Assisted with Large Language Model for Gloss-free Sign Language Translation
par: Chen, Zhigang, et autres
Publié: (2024)

TranslationCorrect: A Unified Framework for Machine Translation Post-Editing with Predictive Error Assistance
par: Wasti, Syed Mekael, et autres
Publié: (2025)

Selective LLM-Guided Regularization for Enhancing Recommendation Models
par: Yang, Shanglin, et autres
Publié: (2025)

RVLF: A Reinforcing Vision-Language Framework for Gloss-Free Sign Language Translation
par: Rao, Zhi, et autres
Publié: (2025)

Chain of Correction for Full-text Speech Recognition with Large Language Models
par: Tang, Zhiyuan, et autres
Publié: (2025)

Comprehensive Analysis of Negative Energy Feedback–Based Mistuning Correction Strategy in Wireless Power Transfer Systems
par: Hao Shang, et autres
Publié: (2026)

Phoenix: A Motion-based Self-Reflection Framework for Fine-grained Robotic Action Correction
par: Xia, Wenke, et autres
Publié: (2025)