All paper pages
28734 retained paper pages. Page 275 of 288.
- Specification-first convergence with an AI coding agent: a case study of dismantling a core architectural invariant across 189 files in a 717k-line codebase with no test oracle and no human code review
Joel Abenhaim · 2026
- Trie Automata for Constrained Decoding over Large Finite Sets
Xingzi Xu, Karim Bouyarmane · 2026
- Reasoning Jury: Multi-Model Consensus for Evaluating Reasoning Traces
Congchao Wang, Diwakar Singh, Qiaozi Gao, Spyros Matsoukas, Yang Liu, Mahdi Namazifar · 2026
- @skills: Attention is all you have
Li Yin, Zhi Li, Zhan Shi, Haoran Zhang, Haebin Seong, Zhangyang, Wang · 2026
- CAKE: Compiler-Agent Co-Design for Frontier Kernel Evolution
Zihao Ye, Yingyi Huang, Hongyi Jin, Bohan Hou, Junru Shao, Zhongming Yu, Jinqi Chen, Meghan Cowan, Shiyi Cao, Shanli Xing, Hanfeng Chen, Vinod Grover, Tianqi Chen, Luis Ceze · 2026
- A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family
Rishi Shah, Rishav Shrestha · 2026
- Practice Makes Unsafe: Skill Misevolution in Self-Improving LLM Agents
Xutao Mao, Liangjie Zhao, Xiang Zheng, Cong Wang · 2026
- Beyond Source: An Empirical Study of Python Bytecode Security Risks
Baihong Chen, Tian Xie, Wen Li · 2026
- The Embedder's Dilemma: LLMs Are Better, but at What Cost?
Adnan El Assadi, Niklas Muennighoff, Jinhyuk Lee · 2026
- Dryas: A Reprogrammable Engine for High-Speed Interconnect Tracing and Analysis
Manuel Bröchin, Tom Kuchler, Michael Giardino, David Cock, Timothy Roscoe · 2026
- Why Do Prefetchers Fail? Let Agents Answer
Xiangfeng Sun, Ceyu Xu, Ningzhi Ai, Zeyu Zhu, Yiyang Yuan, Yuan Xie · 2026
- Validation-Centric AI-Assisted GPU Porting of a 250,000+ Line Legacy Weather Simulation Code
Tetsuya Hoshino, Masaya Kato, Kazuhisa Tsuboki, Daichi Mukunoki, Takahiro Katagiri, Toshihiro Hanawa · 2026
- It's How You Ask: Gender-Associated Linguistic Bias in LLMs
Katherine Van Koevering, Anjalie Field · 2026
- A Probe Direction Is a Property of Its Prompt
Valentin Noël · 2026
- Training AI Scientists to Replicate Research
Damon Falck, Samer Sabri, Anja Surina, Thom Foster, Anya Sims, Sam Devlin, Dylan Rogers, Tantum Collins, Kaloyan Aleksiev, Louis Kirsch, Edward Hughes · 2026
- Does Fixing Break Security? An Empirical Study of Security Degradation in Iterative LLM-Driven Infrastructure-as-Code Repair
Benjamin Agyekum, Fabio Santos · 2026
- Before You Say It: Anticipating Verbal Behavior from Longitudinal Everyday Conversations with LLMs
Yasith Samaradivakara, Valdemar Danry, Paul Liang, Pattie Maes · 2026
- Vero: Can AI Agents Build Formally Verified Software Repositories?
Zhe Ye, Hantao Lou, Yuechun Sun, Peiyang Song, Zhengxu Yan, Timothe Kasriel, Qingyang Zhang, Kaiyu Yang, Soonho Kong, Jingxuan He, Dawn Song · 2026
- LittleLearner: Language Models Under Pedagogically Controlled Knowledge Exposure
Fanfei Li, Jana Zeller, Manuel Prada-Corral, Thaddäus Wiedemer, Prasanna Mayilvahanan, Ryan Cotterell, Wieland Brendel · 2026
- QuoteBench: How Matched Scores Can Hide Command-Path Failures
Shangao Li, Yao Zhang, Volker Tresp, Yuanyuan Yang · 2026
- V-RAE: Rethinking Video Latent Spaces for Generation
Minghui Guo, Shengqiong Wu, Hao Fei · 2026
- AutoDesign: Meta-Harness Optimization for Long-Horizon Agentic Design
Yaxin Luo, Haobin Jiang, Jialv Zou, Xu Huang, Wenhao Yan, Haodong Li, Zhengrong Yue, Jing Li, Xiaofu Chen, Xiaohan Zhao, Jiacheng Liu, Jiacheng Cui, Zhiqiang Shen, Xiaotong Li · 2026
- Modular Cognitive Architecture Emerges in Large Language Models
Pengrui Han, Jacob Andreas, Evelina Fedorenko, Andrea Gregor de Varda · 2026
- Does a Language Server Save Tokens for Coding Agents? A Measurement Methodology and Preliminary Study
Pengcheng Xu · 2026
- A Year in LLM Serving: Workload Evolution, Caching and Load-Balancing
William Nixon, Jon Durbin, Florian Standhartinger, Haryadi S. Gunawi, Juncheng Yang · 2026
- Weird Machines in Transport Layer Security
Michael Collins, Jada Cumberland, Brianne Dunn, Ross Gore, Samuel Jackson, Sachin Shetty, Jonathan Takeshita · 2026
- A Barrier-Free Synchronization Algorithm for Multi-Engine AI Accelerators
Chungha Sung, Nikil V. Shyamsunder, Hanliang Zhang, Daniel Kroening, Joonwon Choi · 2026
- GPU Offload in Rust: Portable, Safe, and Fast
Manuel S. Drehwald, Marcelo Domínguez, Kevin Sala, Alán Aspuru-Guzik, Johannes Doerfert · 2026
- Engineering Reliable Coding Agents: Evaluating and Operating the System Around the Model
Stephanie Jarmak · 2026
- A counterexample to Kusner's conjecture on equilateral sets
Logan R. Chalmers · 2026
- Scaling Domain Data Repetition in LLM Pretraining
Jingwei Li, Xinran Gu, Rui Dai, Xintong Hao, Chengyin Xu, Yan Wu, Shuran Zheng, Jingzhao Zhang · 2026
- Experimental Study on System-Level Performance Impact of Read Disturbance in Modern SSDs
Yonggon Park, Hyunuk Cho, Onur Mutlu, Sungjin Lee, Jisung Park · 2026
- Intern-S2-Mobius: Foundation Model with Decoupled Knowledge and Reasoning
Kai Chen, Jifeng Ding, Ning Ding, Jiaye Ge, Lixin Gu, Yicheng Gu, Qipeng Guo, Ermo Hua, Haian Huang, Haozheng Hou, Jie Hou, Xiangyu Hong, Che Jiang, Minxi Jin, Cheng Liang, Dahua Lin, Dawei Liu, Kuikun Liu, Chengqi Lv, Haijun Lv, Han Lv, Ningsheng Ma, Biqing Qi, Jianmin Qian, Shiya Su, Youbang Sun, Huanze Tang, Zhongbo Tian, Hanjing Wang, Rui Wang, Ting Wang, Yi Wang, Baiting Wu, Jun Xu, Bowen Yang, Hui Wang, Weida Wang, Haochen Ye, Jiashuo Yu, Shan Yu, Xiaoyi Yu, Qirui Zeng, Qi Zhang, Ming Zhang, Wenwei Zhang, Bowen Zhou, Xinyu Zhou · 2026
- Whose doctor does the AI recommend? An algorithm audit of reputation and demographic signals in large language model-assisted physician choice
Syeda Anshrah Gillani, Mirza Samad Ahmed Baig · 2026
- Memory Allocation for Constant-Bounded Programs
Vinícius Silva, Kael Soares, Márcio Costa e Fernando Magno Quintão Pereira · 2026
- Handover of In-Context Learning State Across Session Boundaries
Masahiro Kato, Taka Kato · 2026
- Trust Without Boundaries: An Architectural Analysis of Satellite Flight Software
Jack Vanlyssel, Gruia-Catalin Roman, Kendra Cook, Sazzadur Rahaman, Afsah Anwar · 2026
- DumpsterCluster: From Dumpster Diving to Serving LLaMA-70B on $60 GPUs
Zeyu Cao, Xuan Guo, Cheng Zhang, Cheuk Hang Lau, Ilia Shumailov, Yiren Zhao · 2026
- Do LLMs Know What to Ask and When? Evaluating Multi-Turn Information Seeking
Yepeng Huang, Jiawen Zhang, Michelle Dai, Xiaorui Su, Shanghua Gao, Zi Wang, Marinka Zitnik · 2026
- Emergent Misaligned Communication in Long-Horizon Multi-Agent LLM Commerce
Zeyuan Li, Lukas Petersson, Alessandro Acquisti, Michiel A. Bakker · 2026
- Training Leaves Traces: Centered Residual Signatures for Language Model Lineage Verification
Aman Singh Thakur, Rayan Khoury · 2026
- StateM: Reaching 95.3% Raw Accuracy, or a \$15 Frontier Run, on Terminal-Bench 2.1 via Harness Scaling
Ziheng Qin, Yaxin Lu, Zhangyang Atlas Wang, Kai Wang · 2026
- From LLM Inference to Agentic Workloads: Characterization and Implications for Serving Systems
Chaokun Chang, Yukun Zhou, Kaihua Fu, Dakai An, Tianyu Feng, Hanfeng Lu, Sheng Yao, Pu Guo, Yinghao Yu, Yizhou Shan, Bo Li, Binhang Yuan, Wei Wang · 2026
- On the depth of Wiles's proof of Fermat's Last Theorem
Yong Cheng, Colin McLarty · 2026
- Bounded Agents: Delegation Security for Multi-Agent AI Systems
Xabier Muruaga · 2026
- When Search Eats the Web: A Model of Corpus Erosion under Generative Extraction
Sylvain Peyronnet · 2026
- Building An Integrated Vector Database System in PostgreSQL
Jiayi Liu, Te Guo, Jianguo Wang · 2026
- Strategic Technical Debt: A Real Options Approach to Early-Stage Software Experimentation
Rashid Azarang, Mohammad Reza Azarang Esfandiari · 2026
- FreeToken: Efficient Edge-Native MoE Serving with Bandwidth-Adaptive Execution
Shuo Yang, Xiaoze Fan, Melissa Pan, Haocheng Xi, Zhe Wang, Shanlin Sun, Kurt Keutzer, Song Han, Matei Zaharia, Chenfeng Xu, Ion Stoica · 2026
- Measuring Obedience to Authority Across Large Language Models with the Milgram Paradigm
Hidayet Aksu · 2026
- Advancing Open and Reproducible Relational Learning: RelArena-$α$, TabPFN-Rel and RPI
Adrian Hayler, Klemens Flöge, Alan Arazi, Rishabh Ranjan, Jure Leskovec, Felix Birkel, Brendan Roof, Anurag Garg, Kristina Collins, Lydia Sidhoum, Jonas Kübler, Siyuan Guo, Oscar Key, Jan Hendrik Metzen, Rylee Grace, David Salinas, Arthur Cahu, Simon Bing, Benjamin Jäger, Tuana Çelik, Mihir Manium, Vitor Monteiro, Jake Robertson, Jerry Chen, Eliott Kalfon, Tomás Pereda, Lilly Wehrhahn, Dominik Safaric, Tobias Schroeder, Georg Grab, Diana Kriuchkova, Clara Cornu, Philipp Singer, Nick Erickson, Vahid Balazadeh, Marie Salmon, Simone Alessi, Kürşat Kaya, Philipp Jund, Léo Grinsztajn, Yann LeCun, Bernhard Schölkopf, Madelon Hulsebos, Lennart Purucker, Sauraj Gambhir, Frank Hutter, Noah Hollmann · 2026
- Estimating global article processing charges paid to 14 publishers for open access between 2019 and 2025
Lisa Matthias, Eric Schares, Juan Pablo Alperin, Leigh-Ann Butler, Sherry Kuang, Nina Schönfelder, Stefanie Haustein · 2026
- A Policy Algebra for Trust-Preserving Agentic AI Execution
Bhaskar Tripathi, Anurag Kumar, Ramendra Kumar, Bhavesh Gadhe · 2026
- Scientific applications of quantum computing: challenges and opportunities
Bruno Camino, C. Richard A. Catlow, John Buckeridge, Alin M. Elena, Vladimir V. Gusev, Sarah Harris, Thomas W. Keal, Glenn Jones, Vivien Kendon, Syma Khalid, Phalgun Lolur, Jamal A. Nasir, Matthew J. Rosseinsky, Chris-Kriton Skylaris, Paul A. Warburton, Scott M. Woodley · 2026
- Characterizing Agentic Flooding of Government Services
Chris Schmitz, Lewis Hammond, Alan Chan · 2026
- Mathematics in the age of AI
Terence Tao · 2026
- Quipu: A Governed Bitemporal Knowledge Graph Store
Steve Brown · 2026
- Model Hypnosis: Strong control of AI via additive subliminal effects
Enric Boix-Adsera, Benedict Tessler · 2026
- Inhomogeneous Einstein metrics on complex projective spaces
Gonzalo Cao-Labora, Alberto Rodríguez-Vázquez · 2026
- Improving the matrix multiplication exponent with modern optimization and AlphaEvolve
Emilien Dupont, Marvin Eisenberger, Borislav Kozlovskii, Abbas Mehrabian, Francisco J. R. Ruiz, Abigail See, Renfei Zhou, Josh Alman, Virginia Vassilevska Williams, Matej Balog · 2026
- The Problem Is the Problem: Towards Scalable Mathematical Discovery
Zeyu Zheng, Shengtong Zhang, Jeremy Avigad, Prasad Tetali, Sean Welleck · 2026
- Without journalists, there is no journalism: the social dimension of generative artificial intelligence in the media
Simón Peña-Fernández, Koldobika Meso-Ayerdi, Ainara Larrondo-Ureta, Javier Díaz-Noci · 2026
- Remote-Timer-as-a-Service: Efficient Microarchitectural Leakage in the Cloud with Remote Timers
Martin Schwarzl, Haocheng Xiao, Albert Pedersen, Sam Ainsworth, Nigel Topham · 2026
- Fool's Gold: Defensive Deception Against Safety-Removal Attacks on Open-Weight Models
Mark Russinovich · 2026
- PTXBench: Benchmarking and Adapting LLMs for GPU Kernel Optimization with Architecture-specific PTX
Genghan Zhang, Yixin Dong, Chengze Fan, Zhichen Zeng, Yueming Yuan, Shaowei Zhu, Kunle Olukotun · 2026
- StartupBench: Benchmarking General-Purpose Agents on Market-Validated End-to-End Workflows
Liya Zhu, Xin Ma, Tao Liu, Haodong Wang, Ge Zhang, Jingzhe Ding, Qingshui Gu, Yongjie Zhong, Jinxiang Meng, Yuan Gao, Yunqiu Zhou, Hao Zhu, Jifeng He, Yongzhi Liao, Xinyi Zhang, Chaoxin Li, Yi Zhu, Xi Lin, Duju Zeng, Xiang Gao, Wen Zhang, Yunyang Wang, Duo Wang, Huan Zhou, Zuo Wang, Jin Chen, Kaiyuan Zhang, Chuqian Yu, Tianhao Yu, Longxiang Liu, Jianbo Xue, Huimin Che, Jiahao Wang, Yujia Qin, Jiaheng Liu, Shen Yan, Xiaolong Chang, Wenhao Huang · 2026
- AutoResearch: Insight In, Hallucination Out
Xiang Liu, Qumeng Sun, Bruno, Xiao Zhang, Jiahao Li, Haoyang Zhang · 2026
- Language Has Two Parameters: Narrative-Induced Semantic Plasticity and Phase-Sensitive Interpretation
Hollis Robbins · 2026
- On the Fragility of Self-Improving Agents: Variance, Task Order, and Underspecification
Qinyuan Ye, Yu Li, Yada Pruksachatkun, Jiaxin Zhang, Chien-Sheng Wu · 2026
- Abliteration Mitigation via Refusal Aliases
Nathan Truong · 2026
- CTTE: An Open Dual-Protocol RISC-V Trace Encoder for N-Trace and E-Trace
Alexander Weiss, Albert Schulz · 2026
- Quasar Impostors: Two Extremely UV-Bright ($M_{\rm UV}\approx-23.5$) Reionisation-Epoch Galaxies Powered by Very Massive Stars
Daming Yang, Joseph F. Hennawi, Sarah E. I. Bosman, Frederick B. Davies, Rychard Bouwens, Timo Kist, Eduardo Bañados, Jiamu Huang, Alice E. Shapley, Marianne Vestergaard, Hiddo S. B. Algera, Silvia Belladitta, Anna-Christina Eilers, Xiaohui Fan, Francesco Guarneri, Xiangyu Jin, Romain A. Meyer, Elia Pizzati, Huub Röttgering, Jan-Torge Schindler, Mauro Stefanon, Feige Wang, Jinyi Yang · 2026
- Radiation damage to the Hubble Space Telescope has been several years out of phase with the Solar cycle
Gavin Leroy, Juan Paolo Lorenzo Gerardo Barrios, Maximilian von Wietersheim-Kramsta, Richard Massey, Richard G. Hayes, Jacob A. Kegerreis, David Lagattuta, Zane D. Lentz, James W. Nightingale, Jesper Skottfelt, Felix Vecchi · 2026
- The VLA and High-Frequency SETI: Expanding the Search for Life
Talon Myburgh, Noah Stiegler, Chenoa D. Tremblay, Joe S. Bright, Ross A. Donnachie · 2026
- Compress and Forget: bitsandbytes Quantization Amplifies Proactive Interference in LLMs
Shayan Shahrabi-Farahani, Dara Rahmati · 2026
- The exact price of local realism in CHSH experiments: a measurement-dependence-detection trade-off surface, a moiré phase-locking mechanism that saturates it, and an unmeasured fringe in the fourfold coincidence sum
Aaron Alai · 2026
- Test-Time Scaling in the Wild: Why Exploitation, Not Exploration, Is the Bottleneck
Davide Romano, Kanak Raj, Jerrod Parker, Daniele Giofrè · 2026
- A Zero--One Law for Subrings of the Reals Closed under Binary Interleaving
Yi Wang · 2026
- SPADE: Self-Play in Adaptive Synthetic Executable Environments
Bo Liu, Simon Yu, Yiding Jiang, Ao Qu, Andrew Zhao, Zichen Liu, Junsu Kim, Zijian Zhou, Seungone Kim, Tongzheng Ren, Mickel Liu, Hanfei Yu, Zhaorun Chen, Weiyan Shi, Paul Pu Liang, Luke Zettlemoyer, Yejin Choi, Natasha Jaques · 2026
- Active Inference as Context Acquisition for AI Agents
Sanchayan Dutta, Sai Niranjan Ramachandran, Suvrit Sra · 2026
- Forking Fast: Efficiently Estimating Uncertainty Dynamics in Text Generation
Eric Bigelow, Amir Zur, Satchel Grant, Tal Haklay, Can Rager, Owen Lewis, Thomas McGrath, Jack Merullo, Ekdeep Singh Lubana, Atticus Geiger · 2026
- A Thread-Register Decoupled GPU Execution Model for Efficient Tensor Computation
Zihan Liu, Jingwen Leng, Yangjie Zhou, Yitong Ding, Guanlin Zhu, Yilu Huang, Chiheng Jin, Chen Zhang, Shixuan Sun, Yu Feng, Anbang Wu, Minyi Guo, Jian Weng, Jiajin Tu, Junsong Wang · 2026
- Escaping the Quicksand: A Call to Arms
Peter Sewell, Jean Pichon-Pharabod · 2026
- Credit Without Ground Truth: Claim-Matched Evaluation of Step-Level Credit with Finite Executed Replay
Haiyue Zhang · 2026
- Inadvertent Context Leakage in Language Models
Jaiden Fairoze, Neal Mangaokar, Kamalika Chaudhuri, Sanjam Garg, Saeed Mahloujifar · 2026
- EnvHarness: Awakening Static Worlds for Agent Learning
Chengsong Huang, Zifeng Wang, Rujun Han, Jun Yan, Yanfei Chen, Zoey CuiZhu, Ke Jiang, Peng Xia, Han Yu, Yufan Zhuang, Yifei Ming, Jiaqi Pan, Bhavana Dalvi Mishra, Jiaxin Huang, Burak Gokturk, Tomas Pfister, Chen-Yu Lee · 2026
- Learning how to Forget: Fine-tuning for Long-Context Sparse Attention
Matthias Seeger, Zeyu Zhang, Vihang Patil, Konstantinos Benidis, Sebastian Schelter · 2026
- EchoCoT: Extracting Hidden Chain-of-Thought from Large Reasoning Models
Yiting Qu, Ziqing Yang, Chi Cui, Ye Leng, Junjie Chu, Yang Zhang · 2026
- Formal Performance and Compile Time Guarantees for Compiler Optimization Heuristics
Nikil V. Shyamsunder · 2026
- Decoding silent reading from non-invasive EEG
Ingo Marquardt, Anthilia Alchanat, Priyanka Jain · 2026
- Phantom Gains: Auditing Self-Improvement Against a Measured Null
Cheng Xu, Nan Yan, Liming Chen, M-Tahar Kechadi · 2026
- Humanoid Musical Robots as Experimental Interfaces for Music-Evoked Emotion
Vincent K. M. Cheung, Jia-Yeu Lin · 2026
- Open-Weight Masked Introspection: Measuring What Language Models Can Report About Their Own Computation
Emilio Ferrara · 2026
- FlavourBench: Executable Culinary Reward Maps for Language Model Evaluation and Post-Training
Josef Chen, Erim Hayretci · 2026
- Portability of Fortran's 'do concurrent' on GPUs II
Ronald M. Caplan, Miko M. Stulajter, Jon A. Linker, Jeff Larkin, Nikolaos Tselepidis, Harald Servat, Shiquan Su, Giacomo Capodaglio, Johanna Potyka · 2026
- Evaluating Skills, Not Just Agents: Agentic Continuous Evaluation of Skills
Christopher Kevin, Narendran Raghavan, Jean-Francois Puget, Roshni Malani, Meghana Puvvadi, Moshe Abramovitch, Mohit Gupta, Rama Akkiraju, Subodh Prabhu, Yogesh Dangi, Wei Luo, Seong Hee Lee · 2026
- A Design Space Exploration of Async/Await
Gavin Gray, Shriram Krishnamurthi, Will Crichton · 2026
- Uncovering and Understanding Hidden Dependencies in the LLM API Reseller Ecosystem via Prefix-Cache Side Channels
Zimo Ji, Xin Wei, Congying Xu, Wenyuan Jiang, Xin Yang, Zongjie Li, Yudong Gao, Shuai Wang · 2026
- AI-to-AI Code Reviews of GitHub Pull Requests
Niruthiha Selvanayagam, Taher A. Ghaleb · 2026
- Reviewing Model Collapse and Countermeasures
Xihao Xie, Beichen Hu · 2026