issues
search
gpoesia
/
minimo
Learning Formal Mathematics from Intrinsic Motivation
MIT License
9
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
fix: use format_exception instead of format_exc
#17
maharajamihir
opened
1 day ago
0
fixed rediscovering trivial conjectures
#16
maharajamihir
opened
1 day ago
0
Dstack scripts added
#15
ProjectGleb
opened
1 day ago
0
Feat/light weight model checkpointing
#14
maharajamihir
closed
5 days ago
0
feat: Add debug log on proof search completion
#13
emergenz
closed
5 days ago
0
Illegal Instruction (core dumped)
#12
ayush1801
opened
1 week ago
2
Log logprobs
#11
maharajamihir
closed
1 week ago
0
feat: Switch to mle_logging for tboard, local analysis & to escape wandb vendor lock-in
#10
emergenz
closed
1 week ago
0
Goal conditioning
#9
maharajamihir
closed
2 weeks ago
0
fix: typo in conjecture outcome during sampling
#8
emergenz
closed
2 weeks ago
1
feat: Added install script for one-command installation
#7
emergenz
closed
1 day ago
0
feat: distributed setup including redis install script, docs and launchers
#6
emergenz
closed
2 weeks ago
0
feat: add launchers and documentation for distributed setup
#5
emergenz
opened
2 weeks ago
1
fix: use extension-module for pyo3
#4
emergenz
closed
2 weeks ago
1
fix: use extension-module for pyo3 (#1)
#3
emergenz
closed
2 weeks ago
2
Expand documentation - distributed training
#2
maharajamihir
opened
3 weeks ago
2
Running Experiment: "No module named 'domain'" Error
#1
khilling
closed
1 month ago
2