HackerPapers

All paper pages

28734 retained paper pages. Page 276 of 288.

  1. Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning

    Shuvendu K. Lahiri · 2026

  2. Assessing the Impact of High-Resolution Imaging on Statistical Validation of TESS Planet Candidates

    Michael Collier, Steven Giacalone, Brian Derfer, David R. Ciardi, Catherine A. Clark, Ian J. M. Crossfield, Sarah Deveny, Sergio B. Fajardo-Acosta, Elise Furlan, Emily A. Gilbert, Steve B. Howell, Adam L. Kraus, Rachel A. Matson, Joshua E. Schlieder, Julian C. van Eyken, David Baker, Khalid Barkaoui, Özgür Baştürk, Mario Basilicata, Izuru Fukuda, Akihiko Fukui, Mourad Ghachoui, Michaël Gillon, Emmanuel Jehin, Jerome de Leon, Luigi Mancini, Francesca Manni, Gabriel Murawski, Bob Massey, Luca Naponiello, Norio Narita, Justus Randolph, Roberto Zambelli, Richard P. Schwarz, Abderahmane Soubkiou, Gregor Srdoc, Chris Stockdale, Toshi Suganuma, Jiaqi Wang, Francis P. Wilkin, Selçuk Yalçınkaya · 2026

  3. Black hole singularity is a surface not a point

    Andrew J. S. Hamilton, Tyler McMaken · 2026

  4. AI Grinding for Fun and Cryptanalysis

    Lukasz Olejnik, Bartosz Naskrecki · 2026

  5. Quantifying AI data center nitrogen oxide (NO$_x$) emissions from space

    Kevin D. Gauld, Daniel J. Varon, Nicholas Balasus, Daniel H. Cusworth · 2026

  6. AutoSaddler: Automatic Harness Optimization with Durable Updates from Agent Execution Traces

    Sungho Park, Wonjoong Kim, Rongyuan Tan, Jue Zhang, Wook-Shin Han, Pengfei Gao, Chanyoung Park, Yongqiang Yao, Rao Fu, Elsie Nallipogu, Qingwei Lin, Saravan Rajmohan, Dongmei Zhang · 2026

  7. What is mathematics now, and what should it be?

    Jeremy Avigad · 2026

  8. mold: A Massively Parallel Linker

    Rui Ueyama · 2026

  9. The Interaction Tax: When Communication Erases Diversity in Multi-Agent Teams

    Summer Eunhyung Ann, Haokun Liu, Chenhao Tan · 2026

  10. The unexpected effectiveness of the Picard maneuver: Seeing three images of the same superluminal spaceship

    Níckolas de Aguiar Alves · 2026

  11. AI Agents Push Humans Out of the Loop

    Margaret Mitchell, Avijit Ghosh, Samir Passi · 2026

  12. Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment

    Stephen Chung, Wenyu Du, William J. Wesley · 2026

  13. Automated Synthesis of Cloud Emulators

    Archit Bhatnagar, Zhenning Yang, Sarah McClure, Yiming Qiu, Sylvia Ratnasamy, Ang Chen · 2026

  14. Semantic Overlays: Mitigating Prompt Injection with Annotations Beyond Tokens and Steering Vectors

    Joshua Penman · 2026

  15. The Shadow Price of Intelligence: Quality Degradation in LLM Inference as a Supply Chain Problem

    Elioth Sanabria · 2026

  16. Anatomy of a Scam Call: What 10,000 real scam and spam calls reveal about how phone scammers operate

    Ethan Traister, Ankit Raj, Jiaqi Gan, Xingyu Shen, Tyler Wu, Yuchen Zhou, Tommy Duong, Kidus Zewde, Siying Chen, Simiao Ren · 2026

  17. pigzpp: Fast, Parallel, Portable Compression for the Whole Stack

    Thamme Gowda · 2026

  18. WiCi: Wireless GPU Computing Infrastructure

    Yibin Shen, Wei Li, Kaiqiang Xu, Zili Meng · 2026

  19. IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++

    Kunlin Liu, Zhenbang Chen, Piyi Zu, Yide Du, Ji Wang · 2026

  20. Joint Optimization of Tool Creation and Use for Large Language Model Agents

    Zhi Rui Tam, Chieh-Yen Lin, Yun-Nung Chen, Shao-Hua Sun, Hung-yi Lee · 2026

  21. Maia 200: A Software Defined Dataflow System for Large-scale AI Acceleration

    Sherry Xu, Marco Heddes, Jackson Peng, Tom Savell, Monica Tang, Prashant Ranjan, Jesse Benson, Ofer Dekel, Saurabh Dighe, Anupama Kurpad, Artour Levin, Matthew Mattina, George Petre, Cheng Tang, Yuan Yu, Li Zhang, Torsten Hoefler · 2026

  22. A Multimodal Foundation Model for Longitudinal Patient Representation and Scalable Insight Generation in Oncology

    Eugene Vorontsov, Yi Kan Wang, Alican Bozkurt, Adam Casson, Ludmila Tydlitatova, Michal Zelechowski, Ezra E. W. Cohen, Jyoti D. Patel, Max Banaszak, Caitlin McWilliams, Shane Colley, Kate Sasser, Ryan Fukushima, Eric Lefkofsky, Razik Yousfi, Siqi Liu · 2026

  23. Meta$^n$: Recursive Self-Improvement through Emergent Depth

    Zae Myung Kim, Young-Jun Lee, Seungyeon Jwa, Dongyeop Kang · 2026

  24. Reading Is Not Using: Retrieval, Judgment, and the Design of AI Financial Research Workflows

    Miao Liu, Zhizhe Liu · 2026

  25. FLINT: Efficiently Leveraging High Bandwidth Flash for Capacity-Scalable LLM Inference Acceleration

    Geraldo F. Oliveira, Arash Tavakkol, Xiangyu Zhu, Ahmet Caner Yüzügüler, Vamanan Arulchelvan, Lukas Cavigelli, Renzo Andri, Mohammad Sadrosadati, Jia Xinglei, Onur Mutlu, Zhou Ke, Shai Bergman, Ji Zhang · 2026

  26. TurnBench: A Multi-Domain Benchmark for Turn-Taking Dynamics in Spoken Dialogue

    Freeman Jiang, Ramon Sanabria, Soham Deshmukh, Bandhav Veluri, Simon Michael Vuch Williams, Elliott K. Suen, Garreth Lee, Kevin Yoonho Choi, Takuya Umeki, Riku Kubo, Sathvik Udupa, Chien-yu Huang, Shih-Yun Shan Kuan, Zhuoyan Tao, Satyapriya Krishna, Sefik Emre Eskimez, Yu Tsao, Hung-yi Lee, Shinji Watanabe · 2026

  27. FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving

    Henry Robbins, Connor Lawless, Madeleine Udell, Ellen Vitercik · 2026

  28. A Programming Paradigm for Spatiotemporal Composability

    Yifan Shi, Wei Zhang, Tianyi Cui · 2026

  29. EVOMAL: Self-Poisoning in Self-Evolving Coding Agents

    Xiaodong Wu, Yu Shi, Qi Li, Zhimin Zhao, Xiangman Li, Bram Adams, Ahmed E. Hassan, Jianbing Ni · 2026

  30. Open-Source 5G RAN Platforms: A Dual Perspective on Performance and Capabilities

    Maria Katarine Santana Barbosa, Iasmin Gomes, Vinícius Melo, Kelvin Lopes Dias · 2026

  31. SlimTCP: It's fast, but not because it's slim

    Mihai Drosi Caju, Costin Raiciu · 2026

  32. Anchoring Bias in LLM-as-a-Judge Systems: Prior Scores Compromise Evaluation Independence

    Ante Kapetanovic, Kemal Altwlkany, Andro Mercep, Tomislav Duricic, Emanuel Lacic · 2026

  33. Beyond the Editing Canvas: Evidence Divergence in OOXML-to-LLM Ingestion

    Side Liu, Jiangpeng Liu, Jinwen Xin, Guojun Peng, Jiang Ming · 2026

  34. Visual General Intelligence: A White Paper

    Hirokatsu Kataoka, Yoshihiro Fukuhara, Yonglong Tian, Shangzhe Wu, Oishi Deb, Ryousuke Yamada, Christian Rupprecht, Jianyuan Wang, Kohsuke Ide, Koichi Namekata, Xianzheng Ma, Yiming Chen, Robert Geirhos, Aditi Raghunathan, Yuki M. Asano, Deva Ramanan, David Fouhey, Andrew J. Davison, Yilun Du, Jiajun Wu, Zhuang Liu · 2026

  35. Prefix Sliding for efficient test-time scaling

    Niklas Muennighoff, Zhengyang Wang, Zeyi Chen, Weijia Shi, Binyuan Hui, John Yang, Dapeng Jiang, Mika Senghaas, Fares Obeid, Johannes Hagemann, Sami Jaghouar, Ludwig Schmidt, Percy Liang, Jason Wei, Andrew Y. Ng, Luke Zettlemoyer, Yejin Choi, Mike Lewis · 2026

  36. SwarmWorld: Stigmergic technological evolution in societies of language-model agents

    Subhadeep Pal, Fiona Y. Wang, Markus J. Buehler · 2026

  37. SKILL.state: Scalable Long-Horizon Agent Skills

    Sanket Badhe, Priyanka Tiwari, Jonghyun Chung · 2026

  38. Kale: A Transformation-Safe Spreadsheet System

    Michael Coblenz, Jacob Yim, Ajinkya Bokade, Mounika Padala, Julia Epshtein, Priyanka Bhatia, Piyush Chauhan, Simran Gill, Aniket Gupta, Grishma Gurbani, Vaibhav Khetan, Arushi Munjal, Jeffery Tung, Joanna Yang · 2026

  39. Redwood: A Frontier AI Accelerator Designed, Verified, and Deployed from Scratch in 2 Weeks by AI

    Architect Labs · 2026

  40. Benchmarking Confidential Computing Performance on NVIDIA Blackwell GPUs

    Amean Asad, Ansgar Grunseid · 2026

  41. PLCBench: Can Autonomous LLM Agents Turn PLC Access into Sustained Physical Impact?

    Yitian Zhou, Jingyu Zheng, Qiliang Jiang, Linkang Du, Haoming Liu, Lichao Wu, Shiyi Zhao, Mengxiang Liu, Ruilong Deng · 2026

  42. The Pulse Beneath the Job Title: Monthly Readings of Requirements and Tasks from 750 Million Chinese Job Ads

    Qin Chen, Ying Fang, Xiangyu Wang, Leo Yang Yang · 2026

  43. KISS-GS: 3D Gaussian Splatting Compression Kept Simple

    Wieland Morgenstern, Friedrich Elias Branschke, Florian Fleischmann, Adrian Szatmari, Paul Schlack, Florian Barthel, Peter Eisert, Anna Hilsmann · 2026

  44. Why not to use the Gaussian kernel

    Toni Karvonen, Chris J. Oates · 2026

  45. Performance Foundations of Parallel & Distributed Reasoning Language Models

    Maciej Besta, Leonard Schmidt, Lara Nonino, Robert Gerstenberger, Pierre Pang, Patrik Okanovic, Ales Kubicek, Tiancheng Chen, Baraq Lipshitz, Torsten Hoefler · 2026

  46. Cross-Lingual Alignment Without Joint Training: Do Monolingual Language Models Converge on Universal Representations?

    Ej Zhou, Suchir Salhan, Catherine Arnett, Anna Korhonen · 2026

  47. Safety Does Not Compose: Non-Decaying Loop State for Autonomous LLM Agents

    Chenhao Wu, Haoxuan Jia, Yang Liu, Yingguang Yang, Yuhan Lin, Chongyang Zhang, Hao Zheng, Yulin Huang, Jianshen Zhang, Yongzhi Qi, Shang Luo, Kefu Xu, Jifeng Zhu, Bin Chong · 2026

  48. LLMs Can Design Near-Optimal OR Algorithms

    Jackie Baek · 2026

  49. Difference-in-Differences on a Censored Rating Scale Can Manufacture an Effect: Evidence from a Pre-Registered LLM-Judge Audit

    Shuyi Fan, Boyuan Deng, Mengyu Xu, Xinhong Xie, Chenyang Li, Hongyang Zhang · 2026

  50. Puro-2B: Poor Lab's Qwen2-1.5B Trained on RTX 5090 within $5090

    Kairong Luo, Jiarui Cui, Yaorui Yin, Shengqi Chen, Yiming Yang, Linxiang Gao, Yanmohan Wang, Chengxia Li, Mingzhe Zhang, Kaifeng Lyu, Wenguang Chen · 2026

  51. WikiSkill: Compiling Agent Experience into Persistent Knowledge for Skill Evolution

    Liyan Tang, Cyrus Rashtchian, Chun-Sung Ferng, Andrew Tomkins, Da-Cheng Juan, Tu Vu · 2026

  52. Adaptation Fidelity of SPEC CPU2026

    Doa'a Al-Otoom, Mahesh Madhav · 2026

  53. Program Learning with Verifiable Rewards: Symbolic Backpropagation for Post-Training LLMs

    Vishvesh Bhat · 2026

  54. Sliding-window beats linear attention

    Alexia Jolicoeur-Martineau, Rhea Sanjay Sukthanker, Pashmina Cameron, Emy Gervais · 2026

  55. How Proper Scoring Rules Shape LLM Forecasting

    Benjamin Turtel, Paul Wilczewski, Kris Skotheim, Ville A. Satopää, Philip E. Tetlock · 2026

  56. Rust's Type Checker Implementation Is Unsound: An Empirical Study on Soundness Bugs in rustc

    Yusung Sim, Sukyoung Ryu, Jaemin Hong · 2026

  57. Safe to Resume? Breaking Execution Continuity of Agent Execution via Rollback

    Guanlong Wu, Dahui Li, Ke Jiang, Jianyu Niu, Cong Wang, Yinqian Zhang · 2026

  58. Can escalation channels redirect reward hacking toward defect disclosure?

    Francesca Gomez · 2026

  59. Learning Human Health and Diseases from 24-hour Wrist Movement

    Yong Wang, Dylan McGagh, Katya Broomberg, Zizheng Zhang, Jonathan Carter, Junayed Naushad, Laura Brocklebank, Yang Sun, George Nicholson, Dianjianyi Sun, Canqing Yu, Jun Lv, Maxim Barnard, Hubert Lam, Andrew Steptoe, David W. Eyre, Liming Li, Zhengming Chen, Naomi Wray, Spiros Denaxas, Gary S. Collins, Huaidong Du, Aiden Doherty, Hang Yuan · 2026

  60. The Emergent Symbolic Structure of Artificial Neural Networks

    R. Thomas McCoy, Paul Soulos, Tal Linzen, Paul Smolensky · 2026

  61. Separating Parsing Expression Grammars using Cell-Probe Lower Bounds

    Jungyeom Kim, Jihyeok Park · 2026

  62. Large-Scale Qualitative Research with AI: Infrastructure, Management and Operation of the Socioscope Data Pipeline

    Saadi Lahlou, Juan Pablo Caicedo, Shriya Sekhsaria, Valentine Fournand, Paulius Yamin, Helga Nowotny · 2026

  63. A Comprehensive Study of Native Code Bugs in Python Applications

    Haoran Yang, Haipeng Cai · 2026

  64. UBASE: An AI Search Engine for Trillion-Scale Vector Data Management at ByteDance

    Yao Tian, Yuncheng Lu, Liyao Xiong, Yuming Xu, Hao Zhang, Weichen Zhao, Xi Zhao, Bo Kuang, Dongyu Wang, Jiehui Li, Yakun Li, Lei Zhang · 2026

  65. Breaking the Exponential Barrier: The First Polynomial-Time Algorithm for the Győri-Lovász Theorem

    Mohammad T. Hajiaghayi, Mahdi JafariRaviz, Alireza Kaviani, Soheil Mohammadkhani · 2026

  66. LLM Judges Verify Presence, Not Absence: Omission Blindness in AI Clinical Notes and What Recovers It

    Sebastian Fox, Luke Markham, Ryan Lail, Michael Karotsieris · 2026

  67. One note in three: a verified census of three deployed AI scribes, and the instrument that counted it

    Sebastian Fox, Luke Markham, Ryan Lail, Michael Karotsieris · 2026

  68. Bounded gaps between primes

    Julia Stadlmann · 2026

  69. Agentic research is oxymoronic

    Natalie B. Hogg · 2026

  70. Harness Engineering: Anatomy, Architecture, and Evolution of Coding Agents -- A Source-Code Study of Eleven Systems

    Paul Barbaste, Tristan Darrigol, Germain Vu, Tom Wiltberger · 2026

  71. Toward a social psychology of AI: language-model agents reproduce human-like minimal-group bias

    Messi H. J. Lee · 2026

  72. Scientific Agent Skills: A Library of Procedural Knowledge for Research Agents

    Timothy Kassis, Vinayak Agarwal, Yuhuan He, Darshil Patel, Aubrey M. Brueckner · 2026

  73. Qwen-Drive-1.0: An Initial Step towards a Vision-Language Foundation Model for Autonomous Driving

    Xin Zhou, Zongchuang Zhao, Zhibo Yang, Mingsheng Li, Humen Zhong, Shuai Bai, Du Chu, Ruizhe Chen, Zhaohai Li, Jun Tang, Qiuyue Wang, Mingkun Yang, Jiazhao Zhang, Dayiheng Liu, Dingkang Liang, Xiang Bai · 2026

  74. WHALE: A Simple Recipe for Joint Harness-Weight Optimization

    Haechan Kim, Yoonho Lee, Gisang Lee, Chelsea Finn, Kangwook Lee · 2026

  75. The Irreversibility Budget: Fleet-Level Risk Accounting and Admission Control for Agent Operating Systems

    Bardia Mohammadi, Laurent Bindschaedler · 2026

  76. What's in Your Agent's Context? Context Privilege Escalation Attacks against AI Agent Harness

    Zichuan Li, Jian Cui, Ashley Chen, Xiaojing Liao, Luyi Xing · 2026

  77. Bandits in Prod: Hyperparameter Optimization at Inference Time

    Louis Abraham, Tuan-Anh Nguyen, Nicolas Devatine · 2026

  78. Diffusion as a Training Curriculum for Timestep-Free Iterative Reasoning

    Mariia Drozdova, Aidan Sirbu, Pietro Miotti, Robert Obryk, Mayalen Etcheverry, Eyvind Niklasson, Blake Richards · 2026

  79. Harness-of-Harness: Multi-Day Autonomous Software Development with Continual Improvement

    Haoyang Yan, Min-le Su, Hangfan Zhang, Zhanhao Li, Chen Zhang, Shao Zhang, Yang Chen, Lei Bai, Shuyue Hu · 2026

  80. Support Local Variables

    Maxwell Bernstein, Takashi Kokubun, Aaron Patterson, Si Xing "Alan" Wu, Kevin Menard · 2026

  81. Performance Characterization of SPEC CPU 2026 on AMD EPYC 9755 Processor

    Kunal Kashyap, Rajiv Ramanathan, Shayantika Bhattacharya · 2026

  82. Facet-0: A Robotic Foundation Model for Contact-Rich Precise Manipulation

    Haoyuan Deng, Haichao Liu, Wenkai Guo, Yuan Ling, Zaijia Yang, Yuanjiang Xue, Haosheng Sun, Liangzi Wang, Ziwei Wang · 2026

  83. NeoMME: A Single-Tower Multimodal-Native Multilingual Foundation Encoder for Efficient Fine-Tuning and Inference

    Aurélien Lac, Tony Wu · 2026

  84. Will there be a 7G?

    Adnan Aijaz · 2026

  85. SchedBlame: Who Ran While You Waited? Culprit-Attributed CPU Contention for Containers on Stock Kernels

    Hao Li, Tonghao Zhang, Honglei Wang · 2026

  86. CivBench: A Long-Horizon Benchmark for Tool-Mediated Agents in Civilization VI

    Austin Tudor David Andrews, Liam Wilkinson, Jamie Heagerty, Harry Coppock, Jakob Nicolaus Foerster, Rui Ponte Costa · 2026

  87. Competitive Market Behavior of LLMs

    Pawel Struski, Jakub Swistak, Inez Okulska, Przemyslaw Biecek · 2026

  88. CORAL: An LLM-Native Harness for Production Recommender Systems

    Muhammad Rafay Azhar, Yuhang Zhou, Gilbert Jiang, Yuchen Wang, Rahul Sharma, Matthew DeSousa, Jiayi Liu, Xin Guo, Lizhu Zhang, Xiangjun Fan · 2026

  89. Language Models Can Control Their Own Attention

    Namgyu Ho, Huzama Ahmad, Woosung Koh, Se-Young Yun, Tal Schuster, Cicero Nogueira dos Santos · 2026

  90. Type Hints in Python Libraries and Frameworks: An Empirical Analysis of Adoption and Maintenance

    Thiago Roberto Magalhães, Fabio Petrillo, João Eduardo Montandon · 2026

  91. Post-Training Language Models for Gold-Medal Performance in Coding Competitions

    Aleksander Ficek, Sean Narenthiran, Mehrzad Samadi, Somshubra Majumdar, Boris Ginsburg · 2026

  92. The Implications of Linguistic Illegibility for LLM Security

    James Mickens · 2026

  93. A new proof that more than $2/3$ of the zeros of the Riemann zeta function are simple and on the critical line

    Youness Lamzouri · 2026

  94. Large-Language Models as a Cognitive Virus

    Ricard Solé, Giulio Ruffini, Francesca Castaldo, Marco Tuccio, Luis F. Seoane, Manlio de Domenico, Santiago F. Elena, David C. Krakauer, Michael Levin · 2026

  95. WeatherNext 3: Increasing resolution and performance of global weather models with raw observations

    Stephan Rasp, Boris Babenko, Dominic Masters, Andrew El-Kadi, Samier Merchant, Guy Shalev, Ilan Price, Fred Zyda, Remi Lam, Sasha Shysheya, Matthew Willson, Stratis Markou, Shreya Agrawal, Suhani Vora, Mohammed Alewi Hassen, Sunny Mak, Tom R. Andersson, Megan Bela, Akib Uddin, Nofar Peled Levi, Ben Gaiarin, Ferran Alet, Aaron Bell, Peter Battaglia, Alvaro Sanchez-Gonzalez · 2026

  96. ESRIcascade.jl: A Julia package for fast computation of the Economic Systemic Risk Index

    Mitja Devetak, Peter Klimek · 2026

  97. Can Julia land on the Moon? On the development of a GNC simulation framework for the Argonaut lunar lander

    Francesco Capolupo, Frederik Markus · 2026

  98. Practice Makes (Im)Perfect: A Look Back at Benchmarking Practices for Microarchitectural Side-Channel Attacks

    Iliana Fayolle, Antoine Geimer, Daniel De Almeida Braga, Clémentine Maurice · 2026

  99. AI-Assisted Design of a Post-Quantum Cryptographic Accelerator: A Deployed-Silicon Case Study

    Jungmin Park, Eunha Kim, Wooseop Kim, Seongjoon Cho, Byungho Cha · 2026

  100. Why Gated DeltaNet Survives 4-Bit Quantization: NVFP4 W4A4 for the Recurrent Half of a Hybrid 27B LLM

    Sergii Kozyrev, Davyd Maiboroda · 2026