Sir-Bench – benchmark for security incident response agents

Prefill-as-a-Service:KVCache of Next-Generation Models Could Go Cross-Datacenter

Mathematical methods and human thought in the age of AI

Adding Compilation Metadata To Binaries To Make Disassembly Decidable

KV Cache Compression 900000x Beyond TurboQuant and Per-Vector Shannon Limit

A Canonical Generalization of OBDD

Generating Hierarchical JSON Representations of Scientific Sentences Using LLMs

CVA6-CFI: A First Glance at RISC-V Control-Flow Integrity Extensions

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)

AI Assistance Reduces Persistence and Hurts Independent Performance

Probing the Planck scale with quantum computation

Finetuning Activates Verbatim Recall of Copyrighted Books in LLMs

How long-distance couples use digital games to facilitate intimacy (2025)

The case for zero-error horizons in trustworthy LLMs

MegaTrain: Full Precision Training of 100B+ Parameter LLMs on a Single GPU

Fuzzing REST APIs in Industry: Necessary Features and Open Problems

Where are the humans? A scoping review fairness in multi-agent AI systems.

Agentic Code Optimization via Compiler-LLM Cooperation

Stanford study reveals AI vision models invent images they never see

Wavelets on Graphs via Spectral Graph Theory (2009)

Agentic AI and the next intelligence explosion

Mathematical methods and human thought in the age of AI

Shor's algorithm is possible with as few as 10k reconfigurable atomic qubits

Why AI systems don't learn – On autonomous learning from cognitive science

UC Irvine researchers bring down AI powered drones with painted umbrellas

TinyLoRA – Learning to Reason in 13 Parameters

Successes and Breakdowns in Everyday Non-Display Smart Glasses Use

A Reinforcement Learning Environment for Automatic Code Optimization in the MLIR Compiler

Researchers improve lower bounds for some Ramsey numbers using AlphaEvolve

Non-trivial error in physics paper found via Lean

More →