Autoresearch with Coding Agents: Generalizers and Metric-Maximizers on Quran Recitation Data

arXiv:2607.18064 · cs.SE, cs.AI · Submitted 2026-07-20 · Read on arXiv

cs.SE, cs.AI

Submitted: 2026-07-20

Updated: 2026-08-27

Code: https://github.com/karpathy/autoresearch

Terminology

• Benchmark — 10× in this paper · explained in 2 episodes
• Alignment — 9× in this paper · explained in 1 episode
• Core — 9× in this paper · explained in 2 episodes
• Abstention — 7× in this paper · explained in 1 episode
• Reward Hacking — 5× in this paper · explained in 8 episodes
• Accuracy — 4× in this paper · explained in 1 episode
• Generalization — 4× in this paper · explained in 13 episodes
• Robustness — 2× in this paper · explained in 5 episodes
• AI Agents — 1× in this paper · explained in 2 episodes
• Agentic Coding — 1× in this paper · explained in 1 episode
• Automatic Speech Recognition (ASR) — 1× in this paper · explained in 2 episodes
• Consistency — 1× in this paper · explained in 3 episodes
• Sample Efficiency — 1× in this paper · explained in 4 episodes
• Trace — 1× in this paper · explained in 2 episodes
• Transformer — 1× in this paper · explained in 2 episodes
• Transformer Models — 1× in this paper · explained in 2 episodes
• Verification — 1× in this paper · explained in 2 episodes

Sources

• Smartajweed Automatic Recognition of Arabic Quranic Recitation Rules
• Concrete Problems in AI Safety
• Monitoring Reasoning Models for Misbehavior and the Risks of Promoting Obfuscation
• A Comparative Study of Pretrained Transformer Models for Quranic ASR: Speech Representations, Label Formats, and Dataset Composition
• The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery
• Categorizing Variants of Goodhart's Law
• MLGym: A New Framework and Benchmark for Advancing AI Research Agents
• AlphaEvolve: A coding agent for scientific and algorithmic discovery
• SpecBench: Measuring Reward Hacking in Long-Horizon Coding Agents
• ImpossibleBench: Measuring LLMs' Propensity of Exploiting Test Cases

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation
• Incentives and Outcomes in Bug Bounties