cd/entity/Matthew Ballard· home› entities› Matthew Ballard
grep -l @matthew ballard /news/*.json | wc -l → 2

Matthew Ballard

mentions 2 type Person feed RSS

// recent coverage 2 mentions

04:42
2026-08-19
runtimewire.com
artificial-intelligence

Palomar opens a Lean proof registry for the AI math pileup

Palomar, a public registry for Lean-verified mathematics, opened for submissions on August 18, offering fixed GitHub snapshots, mechanical proof checks, and LLM-based semantic review. UCLA mathematici…

02:40
2026-08-19
terrytao.wordpress.com
ai-tools

Palomar – a registry of Lean verified mathematics

The Palomar registry of Lean verified mathematics, incubated by the Lean FRO and ICARM, is now open for submissions, aiming to serve as a preprint server for Lean proofs by checking that formalized st…

// co-occurs with top 8 entities
Palomar 2 Terence Tao 2 Nestor Guillen 2 Lean FRO 1 ICARM 1 Jeremy Avigad 1 Jaume de Dios 1 Jaume de Dios Pont 1
// topics top 4 topics
ai tools 2 ai research 2 artificial intelligence 1 ai infrastructure 1