HorizonComposer: Spatiotemporally Consistent Driving Video Editing with Enriched Traffic Semantics

Mauricio Soroco, Yuqiu Liu, Zaid Tasneem, Francesco Pittaluga and 4 more

Atlanta Poster Session 2, Wed, Dec 9, 4:30 PM–7:30 PM, Hall C1 · Published 2026

Spectral Rank Calibration for Continual LoRA Merging in Multimodal Large Language Models

Chenrui Wu, Haishuai Wang, Jiajun Bu, Jiangchuan Liu

Sydney Poster Session 5, Thu, Dec 10, 10:00 AM–1:00 PM, Hall 1-4 · Published 2026

The Fault in Our Metrics: Revisiting Generative Model Evaluation with Chamfer Distance

Chirag Vashist, Vaibhav Santhosh, Tristan Engst, Yanshu Zhang and 1 more

Sydney Poster Session 6, Thu, Dec 10, 5:00 PM–8:00 PM, Hall 1-4 · Published 2026

FocusBranch: Combinatorial Branch-and-Bound for $\ell_0$ Neural Network Robustness Verification

Renwei Deng, Yang He, Linyi Li, Yuepeng Wang

Sydney Poster Session 6, Thu, Dec 10, 5:00 PM–8:00 PM, Hall 1-4 · Published 2026

FENet: Functional Embedding Neural Network for Change-Point Detection in Functional Time Series

Caixia Xu, Jinhong You, Wen Li, shouguo du and 2 more

Sydney Poster Session 3, Wed, Dec 9, 10:00 AM–1:00 PM, Hall 1-4 · Published 2026

Stop Using Plausibility as the Criterion for Explainable AI

Weina Jin, Xiaoxiao Li, Ghassan Hamarneh

Atlanta Poster Session 2, Wed, Dec 9, 4:30 PM–7:30 PM, Hall C1 · Published 2026

RigPAPR: Rig-Based Animation of Static Neural Point Clouds from a Single-View Video

Shichong Peng, Yanshu Zhang, Ke Li

Sydney Poster Session 6, Thu, Dec 10, 5:00 PM–8:00 PM, Hall 1-4 · Published 2026

Event-Centric Perception in Weak-Signal Physical Streams with Multimodal LLMs

Chi Xu, Mengdi Jin, Jiaxing Li, William I Atlas and 3 more

Sydney Poster Session 2, Tue, Dec 8, 5:00 PM–8:00 PM, Hall 1-4 · Published 2026

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search

Lean Refactor uses retrieval-augmented agentic strategy search to multi-objectively refactor Lean proofs, achieving over 70% token compression and up to 60% faster compilation with stronger version transfer.

Jialin Lu, Soonho Kong, Rodrigo Stehling, Kaiyu Yang and 3 more

Atlanta Poster Session 3, Thu, Dec 10, 10:00 AM–1:00 PM, Hall C1 · Published 2026 · ▲ 2 on Hugging Face

AdaM-Rec: Adaptive Modality Routing for Multimodal Recommendation

AdaM-Rec adaptively routes between textual and visual modalities via LLM-based proxy recall tasks to improve multimodal recommendation accuracy.

Honghao Fu, Jiacheng Chen, Manxi Lin, Junjun Zheng and 6 more

Sydney Poster Session 5, Thu, Dec 10, 10:00 AM–1:00 PM, Hall 1-4 · Published 2026

RustMizan: A Compilable, Contamination-Aware Benchmarking Framework for Rust Vulnerabilities

RustMizan provides compilable Rust vulnerability benchmarks with mutation-based contamination tests, finding frontier LLM agents achieve 56-65% binary detection but ~20% line-localization F1 that adversarial cues reduce by 27%.

Tarek Elsayed, Shiping Yang, Eunsong Koh, Sanika Goyal and 12 more

Atlanta Poster Session 2, Wed, Dec 9, 4:30 PM–7:30 PM, Hall C1 · Published 2026

SETA: Scaling Environments for Terminal Agents

SETA scales verifiable terminal RL environments via synthesis and evolution, yielding 4,500+ tasks and boosting 8B terminal-agent pass rates to 12%.

Qijia Shen, Zhiqi Huang, Vamsidhar Kamanuru, Aznaur Aliev and 14 more

Sydney Poster Session 1, Tue, Dec 8, 10:00 AM–1:00 PM, Hall 1-4 · Published 2026

Augmented Lagrangian Method for Last-Iterate Convergence for Constrained MDPs

Augmented Lagrangian framework achieves global last-iterate convergence for constrained MDPs with tabular, log-linear, and nonlinear policies.

Michael Lu, Max Lin, Mo Chen, Sharan Vaswani

Atlanta Poster Session 2, Wed, Dec 9, 4:30 PM–7:30 PM, Hall C1 · Published 2026