ExplorerSocial IntelligencePROAd IntelligencePROSettings
Back to explorer

Trend detail

Recent snapshotNo longer in the live ranking

Formal Conjectures

Last seen at rank #178 on 24 Apr 2026, 14:46 across 1 source.

Total score19.2
Last rank#178
Sources1
Last signal24 Apr 2026

History

Recent score trajectory

Score

Component breakdown

Sources

Last known drivers

GitHubPresent in the latest recent snapshot for this trend

Evidence

Last captured signals

google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.24 Apr 2026, 14:45