issues
search
EleutherAI
/
math-lm
MIT License
1.03k
stars
78
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
vyj;tcndf
#106
ornella16
closed
3 months ago
0
Question: load_dataset("EleutherAI/proof-pile-2", "default") ?
#105
yushengsu-thu
closed
7 months ago
1
ygu
#104
Bazun228
opened
8 months ago
0
`proof-pile-2` may not be completely uploaded
#103
ZubinGou
closed
8 months ago
1
Optimizer states?
#102
jenkspt
opened
9 months ago
1
Setup Tutorial and sample Run
#101
andrewarrow
opened
10 months ago
0
A better architecture might be that the language model can determine possible methods to solve mathematical problems？Has anyone thought about this direction?
#100
hxypqr
opened
11 months ago
0
Convert HF to Neox?
#99
aojunzz
opened
11 months ago
0
prompting
#98
Neppy7221
opened
11 months ago
1
Inference code
#97
pakoromilas
opened
11 months ago
0
cannot convert raw llama weights to NeoX
#96
scikkk
opened
11 months ago
2
Fix training submodule with conversion scripts
#95
haileyschoelkopf
closed
11 months ago
0
Have you test Llemma in humaneval?
#94
qiugen
opened
11 months ago
0
Add loss curves in WandB report
#93
haileyschoelkopf
closed
11 months ago
0
DDDK
#92
Davidddk777
closed
11 months ago
0
Ddk
#91
Davidddk777
closed
11 months ago
0
.
#90
Wanfi1
closed
11 months ago
1
2+2
#89
Wanfi1
closed
11 months ago
1
25+17=
#88
IlyaKaufman
closed
11 months ago
1
exporting to Hugging Face?
#87
aojunzz
closed
11 months ago
1
Change all submodules to http
#86
zhangir-azerbayev
closed
11 months ago
0
training loss curve
#85
aojunzz
closed
11 months ago
1
Complementary paper
#84
lhallee
closed
11 months ago
2
Fix typo in algebraic_stack/README.md
#83
eltociear
closed
11 months ago
1
Security warning on --recurse-submodule (of llemma_formal2formal)
#82
jabowery
closed
11 months ago
1
Update requirements.txt
#81
CHLOzzz
closed
11 months ago
2
Update requirements.txt
#80
CHLOzzz
closed
11 months ago
1
about output from one of your problems
#79
nasser1
closed
11 months ago
1
fix links to the datasets
#78
alreadydone
closed
11 months ago
2
What's the prompt template?
#77
apepkuss
closed
11 months ago
1
Update README.md
#76
StellaAthena
closed
11 months ago
0
update links
#75
zhangir-azerbayev
closed
11 months ago
0
standard links
#74
zhangir-azerbayev
closed
11 months ago
0
Update readme
#73
zhangir-azerbayev
closed
11 months ago
0
add harness submodule
#72
zhangir-azerbayev
closed
11 months ago
0
add figure code
#71
keirp
opened
12 months ago
1
Merge commit I forgot about
#70
zhangir-azerbayev
closed
11 months ago
0
Update README
#69
wellecks
closed
12 months ago
1
Blog edits
#68
wellecks
closed
11 months ago
1
Remove duplicate section in docs
#67
wellecks
closed
12 months ago
0
Overlap submodule
#66
wellecks
closed
12 months ago
0
Formal submodule
#65
wellecks
closed
12 months ago
0
Add llemma_formal2formal submodule
#64
wellecks
closed
12 months ago
1
Add overlap submodule
#63
wellecks
closed
12 months ago
0
add submodule for memorization analysis
#62
zhangir-azerbayev
closed
12 months ago
1
add submodule for finetunes
#61
zhangir-azerbayev
closed
12 months ago
0
Proof pile 2
#60
zhangir-azerbayev
closed
1 year ago
0
Lean proofsteps
#59
zhangir-azerbayev
closed
1 year ago
0
Reorganize pretraining docs
#58
zhangir-azerbayev
closed
1 year ago
1
Will llema checkpoint be released?
#57
GanjinZero
closed
1 year ago
1
Next