Semiclassical Gravity Efficiently Solves NP-Complete Problems

Is Grep All You Need? How Agent Harnesses Reshape Agentic Search

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

Tokenomics: Quantifying Where Tokens Are Used in Agentic Software Engineering

Trees to Flows and Back: Unifying Decision Trees and Diffusion Models

Benchmarks in Leipzig

HetGPU: The pursuit of making binary compatibility towards GPUs

If LLMs Have Human-Like Attributes, Then So Does Age of Empires II

Maxproof

NektarIR: A Domain-Specific Compiler for High-Order Finite Element Operations on Heterogeneous Hardware

Unified Controllable and Faithful Text-to-CAD Generation with LLMs

The Life and Works of Raoul Bott (2002)

FP8 Is All You Need (Part 1): Debunking Hardware FP64 as the HPC Holy Grail

An Empirical Comparison of General Context-Free Parsers

Using Optical Aberrations to Distinguish Real Astronomical Transients

Can LLMs Beat Classical Hyperparameter Optimization Algorithms?

An introduction to functional analysis for science and engineering

If LLMs Have Human-Like Attributes, Then So Does Age of Empires II

Efficient and Training-Free Single-Image Diffusion Models

Do transformers need three projections? Systematic study of QKV variants

Latent Agents: A Post-Training Procedure for Internalized Multi-Agent Debate

Microsoft paper shows GitHub Copilot increases productivity 40%

PassNet: Scaling Large Language Models for Graph Compiler Pass Generation

Deterministic Fully-Static Whole-Binary Translation Without Heuristics

MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization

Orbitals from Entanglement: Quantum Information gives rise to Chemical bonds

The Green Side of the Lua

How to Write to SSDs

Constraint Decay: The Fragility of LLM Agents in Back End Code Generation

Practical Formal Verification for MLIR Programs

More →