ReleaseGoogle (DeepMind / Gemini)Google (DeepMind / Gemini)published May 6, 2026seen 5d

google-deepmind/formal-conjectures bench-v1-lean4.27.0

google-deepmind/formal-conjectures

Open original ↗

Captured source

source ↗
GH
GitHub/github.com/google-deepmind/formal-conjectures
google-deepmind/formal-conjectures bench-v1-lean4.27.0
Source ↗
published May 6, 2026seen 5dcaptured 10hhttp 200method plain

bench-v1-lean4.27.0

Repository: google-deepmind/formal-conjectures

Tag: bench-v1-lean4.27.0

Published: 2026-05-06T07:42:07Z

Prerelease: no

Release notes: Category breakdown:

  • research open 1029
  • research solved 836
  • test 467
  • API 155
  • textbook 128

Notability

notability 5.0/10

New benchmark from DeepMind for formal conjectures.