cd/entity/Palomar· home› entities› Palomar
grep -l @palomar /news/*.json | wc -l → 2

Palomar

mentions 2 type Organization 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
Terence Tao 2 Matthew Ballard 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