MindPattern
← The Wire
Source trail

leodemoura.github.io

Public MindPattern findings, entities, and graph evidence that cite this source.

Findings
1
All-time hits
1
High value
0
Last seen

Connected entities

LeanLeo de Moura

Related findings

  1. 2026-03-04 / HACKER NEWSLeo de Moura Formal Verification for AI Code via LeanLean creator argues formal verification is the only scalable answer to AI code that half fails security tests. 249 pts.
Open latest cited source