Loreon
Labs
Platform
Docs
Home
Ecosystems
Jupyter Notebook
minimo
Learning Formal Mathematics from Intrinsic Motivation
Jupyter Notebook
Emerging
GitHub
Stars
—
Forks
2
Contributors
6
Last push
13mo ago
Recent commits
Latest commits.
fix extrinsic problems
7f4f23a
Moksh Jain
15mo ago
Merge branch 'main' of github.com:gpoesia/minimo
fbb3300
Moksh Jain
15mo ago
induction
72e5074
Moksh Jain
15mo ago
Merge pull request #1 from michaelrizvi/main
adbb171
Moksh Jain
15mo ago
add testing on external data
f1b238d
Moksh Jain
15mo ago
added kleene logic problemset to the problems.py
9e63788
michaelrizvi
15mo ago
Add extrinsic evaluation problems
8804240
Gabriel Poesia
16mo ago
Fix obscure corner case in conjecturing
e99371e
Gabriel Poesia
16mo ago
Top contributors
Builders behind this project.
MJ10
10 commits
gpoesia
7 commits
emergenz
3 commits
maharajamihir
2 commits
namin
2 commits
michaelrizvi
1 commits
