# Lean proof refactoring entry scores 86.31 points under US$3 per problem

_Published Wednesday, November 11, 2026 at 4:26 AM EST · AI, Science · Latest · Tier 2 — Notable_

Researchers report in a preprint that their automated Lean proof refactoring entry scored 86.31 points across 60 final problems, compared with 33.33 for reference proofs. It cost US$166.33 at list prices, counting every call, and placed 8th at the deadline.

The system selected models for individual stages using measured performance per dollar and applied programmatic rewrite rules checked by the compiler. Spending averaged US$2.772 per problem and reached at most US$2.874, below the US$3 cap. Rules fixed before release added 0.93 points; gains from later passes were measured in sample.

## Sources

- [cs.AI updates on arXiv.org](https://arxiv.org/abs/2611.13011)

---
Canonical: https://techandbusiness.org/newswire/zXk2U9qacJu5EmQsjxIVhd
Published: 2026-11-11T09:26:21.447Z
Story chronology: 2026-11-11T05:00:00.000Z
Retrieved: 2026-11-11T12:44:38.587Z
Publisher: Tech & Business (techandbusiness.org)