Romain Simon

Slean Verified. What verified means

Verify AI research claims with certificates checked by the Lean kernel.

slean.org

Built by

Romain Simon Romain Simon @romainsimon

Verified member

This member showed they're a real person with a government ID and a selfie, and the name next to the badge matches their ID. Each person can verify one account.

Verifying is optional, so no badge doesn't mean someone isn't real.

Learn more