9 papers
Dependency-Guided Code Generation: Structured Matrix Decomposition and Consistency-Guided Refinement
Mingqiao Mo, Yangchen Zeng, Zikai Xiao +7
The increasing complexity of modern software systems has made automated code generation a fundamental task in software engineering. However, existing approaches often fail to adequ…
TRIDENT: Breaking the Hybrid-Safety-Physics Coupling for Provably Safe Multi-Agent Reinforcement Learning
Zijie Meng, Ziwei Li, Yufei Liu +5
Safe coordination in networked cyber-physical systems forces learning algorithms to simultaneously handle hybrid discrete-continuous actions, hard training-time safety constraints,…
OmniDrive: An LLM-Choreographed Multi-Agent World Model with Unified Latent Co-Compression for Multi-View Driving Video Generation
Zijie Meng, Yufei Liu, Chengqian Ma +8
Generative world models for autonomous driving face two unresolved tensions: heterogeneous control injection, where free-form language, HD-maps, trajectories, and camera poses resi…
Equilibrium Residuals Expose Three Regimes of Matrix-Game Strategic Reasoning in Language Models
Wenhua Nie, Binhan Luo, Zijie Meng +2
Large language models can score well on named game-theory benchmarks while failing on the same strategic computation once semantic cues are removed. We show this gap with procedura…
Identified-Set Geometry of Distributional Model Extraction under Top- Censored API Access
Wenhua Nie, ZiCheng Zhu, Jianan Wu +3
Modern LLM APIs often reveal only top- logit scores and censor the remaining vocabulary. We study the per-position distribution-recovery limits of this access model. For censori…
Future Validity is the Missing Statistic: From Impossibility to -Estimation for Grammar-Faithful Speculative Decoding
Wenhua Nie, Zijie Meng, Kun Zou +5
Grammar-constrained generation is often combined with local vocabulary masking and speculative decoding, but the resulting sampling law is not the grammar-conditional distribution…