ENTITY Ben Lorica

Ben Lorica

PulseAugur coverage of Ben Lorica — every cluster mentioning Ben Lorica across labs, papers, and developer communities, ranked by signal.

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

1

1 over 90d

TIER MIX · 90D

TOPICS

SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL

COMMENTARY · CL_333236 · Oct 29 · 15:29

AI enhances formal verification with Lean, says creator Leo de Moura

Leo de Moura, creator of the Lean programming language and theorem prover, discussed the intersection of AI and formal verification in a recent interview. He highlighted how AI is making formal verification more accessi…