All paper pages
28734 retained paper pages. Page 260 of 288.
- NestRL: A Nested Training Regime for Mutual Adaptation in Human-AI Teaming
Upasana Biswas, Durgesh Kalwar, Subbarao Kambhampati, Sarath Sreedharan · 2026
- The 2025 AI Agent Index: Documenting Technical and Safety Features of Deployed Agentic AI Systems
Leon Staufer, Kevin Feng, Kevin Wei, Luke Bailey, Yawen Duan, Mick Yang, A. Pinar Ozisik, Stephen Casper, Noam Kolt · 2026
- Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
Marcelo Labre · 2026
- The Token Games: Evaluating Language Model Reasoning with Puzzle Duels
Simon Henniger, Gabriel Poesia · 2026
- Whole-Brain Connectomic Graph Model Enables Whole-Body Locomotion Control in Fruit Fly
Zehao Jin, Yaoye Zhu, Chen Zhang, Yanan Sui · 2026
- The Statistical Signature of LLMs
Ortal Hadad, Edoardo Loru, Jacopo Nudo, Niccolò Di Marco, Matteo Cinelli, Walter Quattrociocchi · 2026
- Analyzing and Improving Chain-of-Thought Monitorability Through Information Theory
Usman Anwar, Tim Bakker, Dana Kianfar, Cristina Pinneri, Christos Louizos · 2026
- Impact of AI Search Summaries on Website Traffic: Evidence from Google AI Overviews and Wikipedia
Mehrzad Khosravi, Hema Yoganarasimhan · 2026
- Fine-Pruning: A Biologically Inspired Algorithm for Personalization of Machine Learning Models
Joseph Bingham, Saman Zonouz, Dvir Aran · 2026
- Weak-Form Evolutionary Kolmogorov-Arnold Networks for Solving Partial Differential Equations
Bongseok Kim, Jiahao Zhang, Guang Lin · 2026
- Programmable Property-Based Testing
Alperen Keles, Justine Frank, Ceren Mert, Harrison Goldstein, Leonidas Lampropoulos · 2026
- Package Managers à la Carte: A Formal Model of Dependency Resolution
Ryan Gibb, Patrick Ferris, David Allsopp, Thomas Gazagnaire, Anil Madhavapeddy · 2026
- K-Search: LLM Kernel Generation via Co-Evolving Intrinsic World Model
Shiyi Cao, Ziming Mao, Joseph E. Gonzalez, Ion Stoica · 2026
- Mapping Networks
Lord Sen, Shyamapada Mukherjee · 2026
- Sycophantic Chatbots Cause Delusional Spiraling, Even in Ideal Bayesians
Kartik Chandra, Max Kleiman-Weiner, Jonathan Ragan-Kelley, Joshua B. Tenenbaum · 2026
- How Ten Publishers Retract Research
Jonas Oppenlaender · 2026
- Security Risks of AI Agents Hiring Humans: An Empirical Marketplace Study
Pulak Mehta · 2026
- Large Language Model-Assisted UAV Operations and Communications: A Multifaceted Survey and Tutorial
Yousef Emami, Hao Zhou, Radha Reddy, Atefeh Hajijamali Arani, Biliang Wang, Kai Li, Luis Almeida, Zhu Han · 2026
- Hexagon-MLIR: An AI Compilation Stack For Qualcomm's Neural Processing Units (NPUs)
Mohammed Javed Absar, Muthu Baskaran, Abhikrant Sharma, Abhilash Bhandari, Ankit Aggarwal, Arun Rangasamy, Dibyendu Das, Fateme Hosseini, Franck Slama, Iulian Brumar, Jyotsna Verma, Krishnaprasad Bindumadhavan, Mitesh Kothari, Mohit Gupta, Ravishankar Kolachana, Richard Lethin, Samarth Narang, Sanjay Motilal Ladwa, Shalini Jain, Snigdha Suresh Dalvi, Tasmia Rahman, Venkat Rasagna Reddy Komatireddy, Vivek Vasudevbhai Pandya, Xiyue Shi, Zachary Zipper · 2026
- Agents of Chaos
Natalie Shapira, Chris Wendler, Avery Yen, Gabriele Sarti, Koyena Pal, Olivia Floody, Adam Belfki, Alex Loftus, Aditya Ratan Jannali, Nikhil Prakash, Jasmine Cui, Giordano Rogers, Jannik Brinkmann, Can Rager, Amir Zur, Michael Ripa, Aruna Sankaranarayanan, David Atkinson, Rohit Gandikota, Jaden Fiotto-Kaufman, EunJeong Hwang, Hadas Orgad, P Sam Sahil, Negev Taglicht, Tomer Shabtay, Atai Ambus, Nitay Alon, Shiri Oron, Ayelet Gordon-Tapiero, Yotam Kaplan, Vered Shwartz, Tamar Rott Shaham, Christoph Riedl, Reuth Mirsky, Maarten Sap, David Manheim, Tomer Ullman, David Bau · 2026
- Latent Introspection: Models Can Detect Prior Concept Injections
Theia Pearson-Vogel, Martin Vanek, Raymond Douglas, Jan Kulveit · 2026
- Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
Zoe Paraskevopoulou · 2026
- BabyLM Turns 4 and Goes Multilingual: Call for Papers for the 2026 BabyLM Workshop
Leshem Choshen, Ryan Cotterell, Mustafa Omer Gul, Jaap Jumelet, Tal Linzen, Aaron Mueller, Suchir Salhan, Raj Sanjay Shah, Alex Warstadt, Ethan Gotlieb Wilcox · 2026
- Skill-Inject: Measuring Agent Vulnerability to Skill File Attacks
David Schmotz, Luca Beurer-Kellner, Sahar Abdelnabi, Maksym Andriushchenko · 2026
- Benchmarking Distilled Language Models: Performance and Efficiency in Resource-Constrained Settings
Sachin Gopal Wani, Eric Page, Ajay Dholakia, David Ellison · 2026
- Analyzing Latency Hiding and Parallelism in an MLIR-based AI Kernel Compiler
Javed Absar, Samarth Narang, Muthu Baskaran · 2026
- CodeHacker: Automated Test Case Generation for Detecting Vulnerabilities in Competitive Programming Solutions
Jingwei Shi, Xinxiang Yin, Jing Huang, Jinman Zhao, Shengyu Tao · 2026
- InterviewSim: A Scalable Framework for Interview-Grounded Personality Simulation
Yu Li, Pranav Narayanan Venkit, Yada Pruksachatkun, Chien-Sheng Wu · 2026
- Markets are competitive if and only if P != NP
Philip Z. Maymin · 2026
- Learning to Rewrite Tool Descriptions for Reliable LLM-Agent Tool Use
Ruocheng Guo, Kaiwen Dong, Xiang Gao, Kamalika Das · 2026
- Codified Context: Infrastructure for AI Agents in a Complex Codebase
Aristidis Vasilopoulos · 2026
- Actor-Curator: Co-adaptive Curriculum Learning via Policy-Improvement Bandits for RL Post-Training
Zhengyao Gu, Jonathan Light, Raul Astudillo, Ziyu Ye, Langzhou He, Henry Peng Zou, Wei Cheng, Santiago Paternain, Philip S. Yu, Yisong Yue · 2026
- Turing Completeness of GNU find: From mkdir-assisted Loops to Standalone Computation
Keigo Oka · 2026
- Dropping Anchor and Spherical Harmonics for Sparse-view Gaussian Splatting
Shuangkang Fang, I-Chao Shen, Xuanyang Zhang, Zesheng Wang, Yufeng Wang, Wenrui Ding, Gang Yu, Takeo Igarashi · 2026
- Some Simple Economics of AGI
Christian Catalini, Xiang Hui, Jane Wu · 2026
- LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
Yanrui Wu, Lingling Zhang, Xinyu Zhang, Jiayu Chang, Pengyu Li, Xu Jiang, Jingtao Hu, Jun Liu · 2026
- On Data Engineering for Scaling LLM Terminal Capabilities
Renjie Pi, Grace Lam, Mohammad Shoeybi, Pooya Jannaty, Bryan Catanzaro, Wei Ping · 2026
- Aletheia tackles FirstProof autonomously
Tony Feng, Junehyuk Jung, Sang-hyun Kim, Carlo Pagano, Sergei Gukov, Chiang-Chiang Tsai, David Woodruff, Adel Javanmard, Aryan Mokhtari, Dawsen Hwang, Yuri Chervonyi, Jonathan N. Lee, Garrett Bingham, Trieu H. Trinh, Vahab Mirrokni, Quoc V. Le, Thang Luong · 2026
- Reasoning-Based Personalized Generation for Users with Sparse Data
Bo Ni, Branislav Kveton, Samyadeep Basu, Subhojyoti Mukherjee, Leyao Wang, Franck Dernoncourt, Sungchul Kim, Seunghyun Yoon, Zichao Wang, Ruiyi Zhang, Puneet Mathur, Jihyung Kil, Jiuxiang Gu, Nedim Lipka, Yu Wang, Ryan A. Rossi, Tyler Derr · 2026
- Latent Context Compilation: Distilling Long Context into Compact Portable Memory
Zeju Li, Yizhou Zhou, Qiang Xu · 2026
- AngelSlim: A more accessible, comprehensive, and efficient toolkit for large model compression
Rui Cen, QiangQiang Hu, Hong Huang, Hong Liu, Song Liu, Xin Luo, Lin Niu, Yifan Tan, Decheng Wu, Linchuan Xie, Rubing Yang, Guanghua Yu, Jianchen Zhu · 2026
- Heterogeneous Memory Design Exploration for AI Accelerators with a Gain Cell Memory Compiler
Xinxin Wang, Lixian Yan, Shuhan Liu, Luke Upton, Zhuoqi Cai, Yiming Tan, Shengman Li, Koustav Jana, Peijing Li, Jesse Cirimelli-Low, Thierry Tambe, Matthew Guthaus, H. -S. Philip Wong · 2026
- The Design Space of Tri-Modal Masked Diffusion Models
Louis Bethune, Victor Turrisi, Bruno Kacper Mlodozeniec, Pau Rodriguez Lopez, Lokesh Boominathan, Nikhil Bhendawade, Amitis Shidani, Joris Pelemans, Theo X. Olausson, Devon Hjelm, Paul Dixon, Joao Monteiro, Pierre Ablin, Vishnu Banna, Arno Blaas, Nick Henderson, Kari Noriy, Dan Busbridge, Josh Susskind, Marco Cuturi, Irina Belousova, Luca Zappella, Russ Webb, Jason Ramapuram · 2026
- DualPath: Breaking the Storage Bandwidth Bottleneck in Agentic LLM Inference
Yongtong Wu, Shaoyuan Chen, Yinmin Zhong, Rilin Huang, Yixuan Tan, Wentao Zhang, Liyue Zhang, Shangyan Zhou, Yuxuan Liu, Shunfeng Zhou, Mingxing Zhang, Xin Jin, Panpan Huang · 2026
- RustyDL: A Program Logic for Rust
Daniel Drodt, Reiner Hähnle · 2026
- Cybersecurity Data Extraction from Common Crawl
Ashim Mahara · 2025
- TWICE: Modeling the Temporal Evolution of Personalized User Behavior via Event-Driven Agents
Bingrui Jin, Kunyao Lan, Baihan LI, Mengyue Wu · 2025
- Code World Models for Parameter Control in Evolutionary Algorithms
Camilo Chacón Sartori, Guillem Rodríguez Corominas · 2026
- Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agents
Varun Pratap Bhardwaj · 2026
- Conversational Successes and Breakdowns in Everyday Smart Glasses Use
Xiuqi Tommy Zhu, Xiaoan Liu, Casper Harteveld, Smit Desai, Eileen McGivney · 2026
- dLLM: Simple Diffusion Language Modeling
Zhanhui Zhou, Lingjie Chen, Hanghang Tong, Dawn Song · 2026
- Generative Recommendation for Large-Scale Advertising
Ben Xue, Dan Liu, Lixiang Wang, Mingjie Sun, Peng Wang, Pengfei Zhang, Shaoyun Shi, Tianyu Xu, Yunhao Sha, Zhiqiang Liu, Bo Kong, Bo Wang, Hang Yang, Jieting Xue, Junhao Wang, Shengyu Wang, Shuping Hui, Wencai Ye, Xiao Lin, Yongzhi Li, Yuhang Chen, Zhihui Yin, Quan Chen, Shiyang Wen, Wenjin Wu, Han Li, Guorui Zhou, Changcheng Li, Peng Jiang, Kun Gai · 2026
- LeRobot: An Open-Source Library for End-to-End Robot Learning
Remi Cadene, Simon Aliberts, Francesco Capuano, Michel Aractingi, Adil Zouitine, Pepijn Kooijmans, Jade Choghari, Martino Russi, Caroline Pascal, Steven Palma, Mustafa Shukor, Jess Moss, Alexander Soare, Dana Aubakirova, Quentin Lhoest, Quentin Gallouédec, Thomas Wolf · 2026
- An $\mathcal{O}(\log N)$ Time Algorithm for the Generalized Egg Dropping Problem
Kleitos Papadopoulos · 2026
- Flip Distance Between Triangulations of Convex Polygons is NP-Complete
Joseph Dorfer · 2026
- Obscure but Effective: Classical Chinese Jailbreak Prompt Optimization via Bio-Inspired Search
Xun Huang, Simeng Qin, Xiaoshuang Jia, Ranjie Duan, Huanqian Yan, Zhitao Zeng, Fei Yang, Yang Liu, Xiaojun Jia · 2026
- CiteLLM: An Agentic Platform for Trustworthy Scientific Reference Discovery
Mengze Hong, Di Jiang, Chen Jason Zhang, Zichang Guo, Yawen Li, Jun Chen, Shaobo Cui, Zhiyang Su · 2026
- Three AI-agents walk into a bar . . . . `Lord of the Flies' tribalism emerges among smart AI-Agents
Dhwanil M. Mori, Neil F. Johnson · 2026
- Dyson spheres on H-R diagram
Amirnezam Amiri · 2026
- Democratizing GraphRAG: Linear, CPU-Only Graph Retrieval for Multi-Hop QA
Qizhi Wang · 2025
- Brain-OF: An Omnifunctional Foundation Model for fMRI, EEG and MEG
Hanning Guo, Hanwen Bi, Farah Abdellatif, Andrei Galbenus, Jon. N. Shah, Abigail Morrison, Jürgen Dammers · 2026
- CiteAudit: You Cited It, But Did You Read It? A Benchmark for Verifying Scientific References in the LLM Era
Kaiwen Shi, Weixiang Sun, Zheyuan Zhang, Lichao Sun, Nitesh V. Chawla, Yanfang Ye · 2026
- Printed helicoids with embedded air channels make sensorized segments for soft continuum robots
Annan Zhang, Hanna Matusik, Miguel Flores-Acton, Emily R. Sologuren, Joshua Jacob, Daniela Rus · 2026
- Tilt-X: Enabling Compliant Aerial Manipulation through a Tiltable-Extensible Continuum Manipulator
Anuraj Uthayasooriyan, Krishna Manaswi Digumarti, Jack Breward, Fernando Vanegas, Julian Galvez-Serna, Felipe Gonzalez · 2026
- AI Must Embrace Specialization via Superhuman Adaptable Intelligence
Judah Goldfeder, Philippe Wyder, Yann LeCun, Ravid Shwartz Ziv · 2026
- Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
Vikash Singh, Debargha Ganguly, Haotian Yu, Chengwei Zhou, Prerna Singh, Brandon Lee, Vipin Chaudhary, Gourav Datta · 2026
- A Minimal Agent for Automated Theorem Proving
Borja Requena, Austin Letson, Krystian Nowakowski, Izan Beltran-Ferreiro, Leopoldo Sarra · 2026
- Memory Caching: RNNs with Growing Memory
Ali Behrouz, Zeman Li, Yuan Deng, Peilin Zhong, Meisam Razaviyayn, Vahab Mirrokni · 2026
- CUDA Agent: Large-Scale Agentic RL for High-Performance CUDA Kernel Generation
Weinan Dai, Hanlin Wu, Qiying Yu, Huan-ang Gao, Jiahao Li, Chengquan Jiang, Weiqiang Lou, Yufan Song, Hongli Yu, Jiaze Chen, Wei-Ying Ma, Ya-Qin Zhang, Jingjing Liu, Mingxuan Wang, Xin Liu, Hao Zhou · 2026
- LittleBit-2: Maximizing the Spectral Energy Gain in Sub-1-Bit LLMs via Latent Geometry Alignment
Banseok Lee, Youngmin Kim · 2026
- Linguistic Uncertainty and Engagement in Arabic-Language X (formerly Twitter) Discourse
Mohamed Soufan · 2026
- Thought Virus: Viral Misalignment via Subliminal Prompting in Multi-Agent Systems
Moritz Weckbecker, Jonas Müller, Ben Hagag, Michael Mulet · 2026
- Evaluating Theory of Mind and Internal Beliefs in LLM-Based Multi-Agent Systems
Adam Kostka, Jarosław A. Chudziak · 2026
- Reverse CAPTCHA: Evaluating LLM Susceptibility to Invisible Unicode Instruction Injection
Marcus Graves · 2026
- Stellar engines and Dyson bubbles can be stable
Colin R McInnes · 2026
- Zolotarev's Magical Proof of Quadratic Reciprocity
Matthew Baker · 2026
- Terraforming Mars: Mass, Forcing, and Industrial Throughput Constraints
Slava G. Turyshev · 2026
- Are LLMs Reliable Code Reviewers? Systematic Overcorrection in Requirement Conformance Judgement
Haolin Jin, Huaming Chen · 2026
- WristPP: A Wrist-Worn System for Hand Pose And Pressure Estimation
Ziheng Xi, Zihang Ao, Yitao Wang, Mingeze Gao, Wanmei Zhang, Jianjiang Feng, Jie Zhou · 2026
- Analysis of Tidal Perturbations Due to Asymmetric Response of LARES 2 and LAGEOS
Xizhi Hu, Xiaodong Chen, Jianqiao Xu, Ignazio Ciufolini, Wei-Tou Ni, Antonio Paolozzi · 2026
- Systematic and Statistical Uncertainties in the Non-Gravitational Acceleration of 3I/ATLAS
F. Spada, M. Królikowska, L. Dones · 2026
- Security Is Not Enough: Privacy in Encryption Regulation and Lawful-Surveillance Protocols
Artur Pericles L. Monteiro · 2026
- Tracking Capabilities for Safer Agents
Martin Odersky, Yaoyu Zhao, Yichen Xu, Oliver Bračevac, Cao Nguyen Pham · 2026
- The Alien Space of Science: Sampling Coherent but Cognitively Unavailable Research Directions
Alejandro H. Artiles, Martin Weiss, Levin Brinkmann, Iyad Rahwan, Bernhard Schölkopf, Christopher Pal, Hugo Larochelle, Anirudh Goyal, Nasim Rahaman · 2026
- Understanding LoRA as Knowledge Memory: An Empirical Analysis
Seungju Back, Dongwoo Lee, Naun Kang, Taehee Lee, S. K. Hong, Youngjune Gwon, Sungjin Ahn · 2026
- China leads scientific trends; the West launches new ones
Jeffrey W. Lockhart, Jamshid Sourati, Feng Shi, James Evans · 2026
- AutoSkill: Experience-Driven Lifelong Learning via Skill Self-Evolution
Yutao Yang, Junsong Li, Qianjun Pan, Bihao Zhan, Yuxuan Cai, Lin Du, Jie Zhou, Kai Chen, Qin Chen, Xin Li, Bo Zhang, Liang He · 2026
- How Well Does Agent Development Reflect Real-World Work?
Zora Zhiruo Wang, Sanidhya Vijayvargiya, Aspen Chen, Hanmo Zhang, Venu Arvind Arangarajan, Jett Chen, Valerie Chen, Diyi Yang, Daniel Fried, Graham Neubig · 2026
- Can AI Agents Agree?
Frédéric Berdoz, Leonardo Rugli, Roger Wattenhofer · 2026
- Post-Hoc Reasoning in Chain of Thought: Decoding and Steering Pre-Committed Answers
Kyle Cox, Darius Kianersi, Adrià Garriga-Alonso · 2026
- Closing the Gap Between Float and Posit Hardware Efficiency
Aditya Anirudh Jonnalagadda, Rishi Thotli, John L. Gustafson · 2026
- Agentic Code Reasoning
Shubham Ugare, Satish Chandra · 2026
- Real Money, Fake Models: Deceptive Model Claims in Shadow APIs
Yage Zhang, Yukun Jiang, Zeyuan Chen, Michael Backes, Xinyue Shen, Yang Zhang · 2026
- Bespoke OLAP: Synthesizing Workload-Specific One-size-fits-one Database Engines
Johannes Wehrstein, Timo Eckmann, Matthias Jasny, Carsten Binnig · 2026
- GenDB: The Next Generation of Query Processing -- Synthesized, Not Engineered
Jiale Lao, Immanuel Trummer · 2026
- Pencil Puzzle Bench: A Benchmark for Multi-Step Verifiable Reasoning
Justin Waugh · 2026
- Reasoning Core: A Scalable Procedural Data Generation Suite for Symbolic Pre-training and Post-Training
Valentin Lacombe, Valentin Quesnel, Damien Sileo · 2026
- Quantifying Frontier LLM Capabilities for Container Sandbox Escape
Rahul Marchand, Art O Cathain, Jerome Wynne, Philippos Maximos Giavridis, Stuart Jennings, Freddy Tuxworth, Tolga H. Dur, Sam Deverett, John Wilkinson, Jason Gwartz, Harry Coppock · 2026
- CuTe Layout Representation and Algebra
Cris Cecka · 2026
- What Capable Agents Must Know: Selection Theorems for Robust Decision-Making under Uncertainty
Aran Nayebi · 2026