cd/entity/Lean Focused Research Organization· home› entities› Lean Focused Research Organization

grep -l @lean focused research organization /news/*.json | wc -l → 2

Lean Focused Research Organization

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…

08:00

2026-07-26

amazon.science

artificial-intelligence

Amazon is investing in the Lean Focused Research Organization

Amazon is making the largest single donation in the history of the Lean Focused Research Organization (FRO) to support the development of Lean, a programming language that enables mathematical proofs …

// co-occurs with top 8 entities

Palomar 1 Terence Tao 1 Matthew Ballard 1 Nestor Guillen 1 Jaume de Dios Pont 1 Institute for Computer-Aided Reasoning in Mathematics 1 UCLA 1 Amazon 1

// topics top 6 topics

artificial intelligence 2 ai research 2 ai tools 1 ai infrastructure 1 ai safety 1 ai agents 1