Papers
Deep, long-form breakdowns of recent research in AI, machine learning, security & programming languages.
Grow the Harness, Not the Context: From Strategy-Free Scaffolds to Reusable Specialist Agents
by Laizhen Li, Jiarui Li, Juanjuan Zhao, Kejiang Ye, Ye Li, Cheng-zhong Xu, Xitong Gao
Type-Safe Is Not Error-Free: A Constrained Decision Head Follows the Option Name, Not the Rubric Bound to It
by Yu Sun, Junhao Xu
EquivSVA: A Formally Verified Dataset of Behavioral Assertions Across Equivalent RTL Implementations
by FNU Aditi
Metrics Failure in LLM-Based Code Vulnerability Repair: An Empirical Study and a Change-Aware Screen
by Om Nepal, Sushant Aryal, Oluseyi Olukola, Nick Rahimi
4-Block Integer Programming is in FPT
by Martin Koutecký, Alexandra Lassota, Koen Ligthart
Flash-dLLM: IO-Aware KV Caching and Parallel Decoding for Fast, Memory-Efficient Diffusion LLMs
by Quan Nguyen-Tri, Mukul Ranjan, Zhiqiang Shen
Evaluating the Semantic-to-Geometric Gap in Adversarial Defenses Against Vision-Language Model-Based Plagiarism
by Christopher Burger, Christina Trotter, Joseph Carlisle, Charles Walter
The Sirens' Song: When Proximal Background Context Overshadows Distant Evidence
by Xiaoyu Yang, Jie Lu, Wei Duan, En Yu
TraceVIC: Causal Reasoning over Code Evolution for Identifying Vulnerability-Inducing Commits
by Fnu Tanish, Samiha Shimmi, Samikshya Chapagain, Hamed Okhravi, Mona Rahimi, Lei Zhang
Train Where the Quantized Model Goes: On-Policy Distillation for Low-Bit Reasoning
by Yuanteng Chen, Zhilei Liu, Peisong Wang, Yuantian Shao, Chuangyi Li, Weining Wang, Shuang Qiu, Gang Li, Jing Liu, Jian Cheng