Finite-state transducers for substitution tilings

Professional software developers don't vibe, they control

Designing Predictable LLM-Verifier Systems for Formal Method Guarantee

On the Existence, Impact, and Origin of Hallucination-Associated Neurons in LLMs

Computational complexity of New York Times games

Galois Slicing as Automatic Differentiation

LionsOS Design, Implementation and Performance

Baseline: Operation-Based Evolution and Versioning of Data

A Century of Noether's Theorem

Universal Reasoning Model (53.8% pass 1 ARC1 and 16.0% ARC 2)

Classical billiards can compute (2d billiard systems are Turing complete)

The universal weight subspace hypothesis

Detailed balance in large language model-driven agents

A quarter of US-trained scientists eventually leave

Signaling in the Age of AI: Evidence from Cover Letters

Optical context compression is just (bad) autoencoding

Olaf: Bringing an Animated Character to Life in the Physical World

Terrain Diffusion: A Diffusion-Based Successor to Perlin Noise

LionsOS Design, Implementation and Performance

Measuring Agents In Production (survey paper)

Defeating Prompt Injections by Design

HTML as an Accessible Format for Papers (2023)

AI-Triggered Delusional Ideation as Folie a Deux Technologique

An Orbital House of Cards: Frequent Megaconstellation Close Conjunctions

How elites could shape mass preferences as AI reduces persuasion costs

Training LLMs for Honesty via Confessions

Hardness of observing strong-to-weak symmetry breaking

Toward P != NP: An Observer-Theoretic Separation via SPDP Rank and a ZFC-Equivalent Foundation within the N-Frame Model

Pose-free 3D Gaussian splatting via shape-ray estimation

Zebra-Llama – Towards efficient hybrid models

More →