LeanDojo

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:software
gptkbp:createdBy gptkb:Yuhuai_Wu
researchers at Google DeepMind
gptkbp:focusesOn gptkb:machine_learning
automated reasoning
formal theorem proving
gptkbp:github https://github.com/lean-dojo/LeanDojo
gptkbp:hostedBy gptkb:GitHub
https://www.w3.org/2000/01/rdf-schema#label LeanDojo
gptkbp:license gptkb:MIT_License
gptkbp:programmingLanguage gptkb:Python
gptkb:Lean
gptkbp:relatedTo gptkb:Lean
theorem proving
gptkbp:usedFor research in automated theorem proving
benchmarking machine learning models for theorem proving
gptkbp:bfsParent gptkb:Lean_4
gptkbp:bfsLayer 6