Copertina

MCCoder: Streamlining Motion Control with LLM-Assisted Code Generation and Rigorous Verification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Yin, Wang, Liangwei, Piao, Shiyuan, Yang, Boo-Ho, Li, Ziyue, Zeng, Wei, Tsung, Fugee
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

LeMoLE: LLM-Enhanced Mixture of Linear Experts for Time Series Forecasting
di: Zhang, Lingzheng, et al.
Pubblicazione: (2024)

Low-Rank Robust Subspace Tensor Clustering for Metro Passenger Flow Modeling
di: Hu, Jiuyun, et al.
Pubblicazione: (2024)

MedualTime: A Dual-Adapter Language Model for Medical Time Series-Text Multimodal Learning
di: Ye, Jiexia, et al.
Pubblicazione: (2024)

Beyond Function-Level Search: Repository-Aware Dual-Encoder Code Retrieval with Adversarial Verification
di: Liu, Aofan, et al.
Pubblicazione: (2025)

How Efficient is LLM-Generated Code? A Rigorous & High-Standard Benchmark
di: Qiu, Ruizhong, et al.
Pubblicazione: (2024)

Heterophilic Graph Neural Networks Optimization with Causal Message-passing
di: Wang, Botao, et al.
Pubblicazione: (2024)

TypeDance: Creating Semantic Typographic Logos from Image through Personalized Generation
di: Xiao, Shishi, et al.
Pubblicazione: (2024)

SEGNO: Generalizing Equivariant Graph Neural Networks with Physical Inductive Biases
di: Liu, Yang, et al.
Pubblicazione: (2023)

Agent-Oriented Planning in Multi-Agent Systems
di: Li, Ao, et al.
Pubblicazione: (2024)

Empowering Time Series Analysis with Foundation Models: A Comprehensive Survey
di: Ye, Jiexia, et al.
Pubblicazione: (2024)

Toward Physics-guided Time Series Embedding
di: Hu, Jiaxi, et al.
Pubblicazione: (2024)

MappingEvolve: LLM-Driven Code Evolution for Technology Mapping
di: Fu, Rongliang, et al.
Pubblicazione: (2026)

Sketch: A Toolkit for Streamlining LLM Operations
di: Jiang, Xin, et al.
Pubblicazione: (2024)

A Survey of Cross-domain Graph Learning: Progress and Future Directions
di: Zhao, Haihong, et al.
Pubblicazione: (2025)

Vibration Analysis and Mitigation in Semiconductor Motion Stages Using DMAIC Methodology- A Case Study
di: Li, Yin, et al.
Pubblicazione: (2025)

LEC-KG: An LLM-Embedding Collaborative Framework for Domain-Specific Knowledge Graph Construction -- A Case Study on SDGs
di: Zeng, Yikai, et al.
Pubblicazione: (2026)

Coarse-to-Fine Personalized LLM Impressions for Streamlined Radiology Reports
di: Sun, Chengbo, et al.
Pubblicazione: (2025)

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
di: Cramer, Marcos, et al.
Pubblicazione: (2025)

LightMotion: A Light and Tuning-free Method for Simulating Camera Motion in Video Generation
di: Song, Quanjian, et al.
Pubblicazione: (2025)

Memorize or Generalize? Evaluating LLM Code Generation with Code Rewriting
di: Zhang, Lizhe, et al.
Pubblicazione: (2025)

Boximator: Generating Rich and Controllable Motions for Video Synthesis
di: Wang, Jiawei, et al.
Pubblicazione: (2024)

GREAT Score: Global Robustness Evaluation of Adversarial Perturbation using Generative Models
di: Li, Zaitang, et al.
Pubblicazione: (2023)

SAGE-LLM: Towards Safe and Generalizable LLM Controller with Fuzzy-CBF Verification and Graph-Structured Knowledge Retrieval for UAV Decision
di: Zhao, Wenzhe, et al.
Pubblicazione: (2026)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
di: Erfan, Md, et al.
Pubblicazione: (2026)

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
di: Councilman, Aaron, et al.
Pubblicazione: (2025)

From Failure Modes to Reliability Awareness in Generative and Agentic AI System
di: Janet, et al.
Pubblicazione: (2025)

Verification Limits Code LLM Training
di: Gureja, Srishti, et al.
Pubblicazione: (2025)

Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming
di: Hao, Yilun, et al.
Pubblicazione: (2024)

Scaling LLM Planning: NL2FLOW for Parametric Problem Generation and Rigorous Evaluation
di: Kang, Jungkoo
Pubblicazione: (2025)

VecTrans: Enhancing Compiler Auto-Vectorization through LLM-Assisted Code Transformations
di: Zheng, Zhongchun, et al.
Pubblicazione: (2025)

TokenMotion: Decoupled Motion Control via Token Disentanglement for Human-centric Video Generation
di: Li, Ruineng, et al.
Pubblicazione: (2025)

Towards Reliable LLM-based Robot Planning via Combined Uncertainty Estimation
di: Yin, Shiyuan, et al.
Pubblicazione: (2025)

Retention Score: Quantifying Jailbreak Risks for Vision Language Models
di: Li, Zaitang, et al.
Pubblicazione: (2024)

Beyond Functional Correctness: Exploring Hallucinations in LLM-Generated Code
di: Liu, Fang, et al.
Pubblicazione: (2024)

DRC-Coder: Automated DRC Checker Code Generation Using LLM Autonomous Agent
di: Chang, Chen-Chia, et al.
Pubblicazione: (2024)

PermLLM: Learnable Channel Permutation for N:M Sparse Large Language Models
di: Zou, Lancheng, et al.
Pubblicazione: (2025)

RigorLLM: Resilient Guardrails for Large Language Models against Undesired Content
di: Yuan, Zhuowen, et al.
Pubblicazione: (2024)

ToonComposer: Streamlining Cartoon Production with Generative Post-Keyframing
di: Li, Lingen, et al.
Pubblicazione: (2025)

LLM-Based World Models Can Make Decisions Solely, But Rigorous Evaluations are Needed
di: Yang, Chang, et al.
Pubblicazione: (2024)

From Verification Burden to Trusted Collaboration: Design Goals for LLM-Assisted Literature Reviews
di: Nogueira, Brenda, et al.
Pubblicazione: (2025)