productEntity

Lean

From the wire

Original publisher articles citing Lean. Broadside has not yet written editorial coverage for these.

Vector Policy Optimization: Training for Diversity Improves Test-Time Search

via arxiv.orgabout 14 hours ago

CLORE: Content-Level Optimization for Reasoning Efficiency

via arxiv.orgabout 14 hours ago

Using algebra and LLMs to verify a flight-plan bug fix in Lean

via github.io5 days ago

Misconceptions about the UNIX Philosophy

via posixcafe.org5 days ago

← Back to home