MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language

Not In My Git Yard: Catching Backdoors at Commit and Release Time

The Pain Axis: LLMs Represent Self-Directed Harm and Act to Relieve It

Randomized query complexity can beat certificate complexity

GRP-Obliteration: Unaligning LLMs with a Single Unlabeled Prompt

Will there be a 7G?

C*: Unifying Programming and Verification in C (2025)

The k-server conjecture is true

Breaking the 1.58-bit Barrier for Ternary LLMs

RoofLang: Enabling AI-Driven Architecting of LLM Inference Systems

Meta$^N$: Recursive Self-Improvement Through Emergent Depth

Social influence and behavioral contagion experiment with bots on Reddit

Intelligence per Watt: Measuring Intelligence Efficiency of Local AI

Procedural Graphs: Self-Evolving Execution Structures for LLM Agents

Discrete Dipole Approximation Code Ddscat 7.2 (2012)

Harnessing the Universal Geometry of Embeddings

The Emergent Symbolic Structure of Artificial Neural Networks

Higher Multipoles of the Cow

ArXiv has almost 600 submissions today and most are AI slop

Performance Characterization of SPEC CPU 2026 on AMD EPYC 9755 Processor

Beyond Solver Verdicts: Generative Reward Models for Autoformalizations

Mold: A Massively Parallel Linker

GPU Offload in Rust: Portable, Safe, and Fast

Parallel O(sqrt n) Overhead LSD Radix Sort

Kale: A Transformation-Safe Spreadsheet System

Succinct and Fast Tiny Pointer Hash Tables

It's How You Ask: Gender-Associated Linguistic Bias in LLMs

The End of Software Engineering

The Sync Heap: Delete First, Ask Questions Later

The Unseen Delta: Characterizing the Compiler Optimization Landscape via Top-Down Differential Analysis

More →