BitsExplorer

BitsExplorer finds what people are building with AI, every day. See today's picks →

Preview of Coding Agents Coding Theory

Coding Agents Coding Theory

Supplementary code and data for 'Coding Agents for Coding Theory' (NeurIPS 2026 MATH-AI workshop): 13 improved lower bounds for quaternary edit-metric codes, verifiers, and run records

Description excerpted from the original listing, which is linked below.

Open it Source code

The week in AI-built software

Every Monday: how many projects were built with AI that week, which tools built them, where they came from, and the week's picks.

Read the latest week