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

Characterizing Agentic Flooding of Government Services

Stop Anthropomorphizing Intermediate Tokens as Reasoning/Thinking Traces (2025)

A Design Space Exploration of Async/Await

A SAT Attack on Tarski's High School Algebra Problem

Demystifying Deep Learning Compiler Frontend Bugs: An LLM-Aided Empirical Study

DiffusionGemma Technical Report

Longest Straight Line Paths on Water or Land on the Earth (2018)

Black hole singularity is a surface not a point

High-Resolution Imaging for Statistical Validation of TESS Planet Candidates

Phantom Gains: Auditing Self-Improvement Against a Measured Null

From Quantum Relative Entropy to the Semiclassical Einstein Equations (2025)

The Depth of Wiles's Proof of Fermat's Last Theorem

Mathematics in the age of AI

Chain-of-Thought Reasoning in the Wild Is Not Always Faithful (2025)

Compiling Agent Experience into Persistent Knowledge for Skill Evolution

Google's AI photoscanner can determine body fat through selfies

Arthur Eddington's Theory of Everything (2015)

GPU Offload in Rust: Portable, Safe, and Fast

Agentic Context Management: Memory and Cost as Architecture Problems

Do Chatbot LLMs Talk Too Much?

Universality of Gradient Descent Neural Network Training

Are Latent Reasoning Models Easily Interpretable?

AutoSaddler: Automatic Harness Optimization

Memory Allocation for Constant-Bounded Programs

A Thread-Register Decoupled GPU Execution Model for Efficient Tensor Computation

Investigating Power-Confluent Drawings for Network Visualization

Improving matrix multiplication exponent with optimization and AlphaEvolve

Decoding silent reading from non-invasive EEG

Simplifying and Refactoring Introductory Calculus (2018)

More →