From the 1 of 14 linked papers with an AI index.
14 papers
Avatar-Forever: Decoupled Parallel Training for High-Quality Real-Time Infinite Avatars
Ruibin Li, Tao Yang, Zhiyuan Ma +3
Existing streaming video systems often rely on sequential, distillation-centered training pipelines to enable few-step long-video generation. However, this paradigm suffers from tw…
A non-orderable overtwisted contact structure on the sphere
Jakob Hedicke
We show that the overtwisted contact structure on with Hopf invariant is non-orderable, i.e., that it admits a contractible positive loop of contactopmorphisms. This pro…
AISPA: User-Centric System Prompt Auditing for Large Language Model Applications
Xiangning Lin, Shenzhe Zhu, Shu Yang +23
The paper presents AISPA, a user‑centric framework for auditing the system prompts that guide large language model behavior in commercial AI products, and reports findings from ana…
Content Hidden Behind Execution: Analyzing Public Scratch Projects at Runtime
Yuan Si, Yufeng Lin, Daming Li +3
Public Scratch projects are reused in computing education as classroom examples, remix sources, open-exploration materials, and research data. Curation often begins with titles, th…
Fixed-Set Robustness in Programming by Example: Example Corruption and Semantic Partition Recovery
Yuan Si, Jialu Zhang
Programming-by-example systems infer programs from a small set of input-output examples. Robust PBE work usually models wrong examples as samples from a stochastic noise process an…
Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators
Yuan Si, Jialu Zhang
A growing class of tools recovers a program from observations of its behavior using an untrusted generator, a neural model or a search, that proposes candidates with no correctness…