ENTITY
Lean compiler
Lean compiler
PulseAugur coverage of Lean compiler — every cluster mentioning Lean compiler across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
Google's LEAP framework grounds LLMs in Lean compiler
Google has developed a new research framework called LEAP that utilizes a general-purpose LLM within an agentic scaffold. This system grounds each step in the Lean compiler and refines its process through feedback from …
-
Google DeepMind AI solves 9 historic math problems for under $1000
Google DeepMind's AlphaProof Nexus has autonomously solved nine open Erdős mathematical problems, including two that had remained unsolved for 56 years. The AI system, which pairs a large language model with the Lean co…