EleutherAI/math-lm

Issues

• vyj;tcndf

  #106 opened 6 months ago by ornella16
  0

• Question: load_dataset("EleutherAI/proof-pile-2", "default") ?

  #105 opened 10 months ago by yushengsu-thu
  1

• ygu

  #104 opened a year ago by Bazun228
  0

• `proof-pile-2` may not be completely uploaded

  #103 opened a year ago by ZubinGou
  1

• Optimizer states?

  #102 opened a year ago by jenkspt
  1

• Setup Tutorial and sample Run

  #101 opened a year ago by andrewarrow
  0

• cannot convert raw llama weights to NeoX

  #96 opened a year ago by scikkk
  2

• A better architecture might be that the language model can determine possible methods to solve mathematical problems？Has anyone thought about this direction?

  #100 opened a year ago by hxypqr
  0

• Convert HF to Neox?

  #99 opened a year ago by aojunzz
  0

• prompting

  #98 opened a year ago by Neppy7221
  1

• Inference code

  #97 opened a year ago by pakoromilas
  0

• Complementary paper

  #84 opened a year ago by lhallee
  2

• exporting to Hugging Face?

  #87 opened a year ago by aojunzz
  1

• Have you test Llemma in humaneval?

  #94 opened a year ago by qiugen
  0

• Ddk

  #91 opened a year ago by Davidddk777
  0

• training loss curve

  #85 opened a year ago by aojunzz
  1

• DDDK

  #92 opened a year ago by Davidddk777
  0

• .

  #90 opened a year ago by Wanfi1
  1

• 2+2

  #89 opened a year ago by Wanfi1
  1

• 25+17=

  #88 opened a year ago by IlyaKaufman
  1

• Security warning on --recurse-submodule (of llemma_formal2formal)

  #82 opened a year ago by jabowery
  1

• about output from one of your problems

  #79 opened a year ago by nasser1
  1

• What's the prompt template?

  #77 opened a year ago by apepkuss
  1

• Will llema checkpoint be released?

  #57 opened a year ago by GanjinZero
  1

• Isabelle Tactic Prediction (Eval Task)

  #7 opened a year ago by haileyschoelkopf
  0

• Premise Selection (Eval Task)

  #6 opened a year ago by haileyschoelkopf
  3

• NaturalProofs (Eval Task)

  #4 opened a year ago by haileyschoelkopf
  3

• Open Source Replication of Minerva base model?

  #33 opened a year ago by brando90
  1

• Citation for this repo

  #34 opened a year ago by brando90
  1

• Implement calculator for GSM8k

  #1 opened a year ago by zhangir-azerbayev
  2

• Deepmind Math (Eval Task)

  #2 opened a year ago by haileyschoelkopf
  1

• Mathematica and Matlab

  #16 opened a year ago by zhangir-azerbayev
  4

• Isabelle github data

  #39 opened a year ago by wellecks
  1

• Isabelle github data

  #38 opened a year ago by wellecks
  0

• Add common math datasets that have a training split

  #35 opened a year ago by wellecks
  2

• ProofNet Autoformalization (Eval Task)

  #9 opened 2 years ago by haileyschoelkopf
  7

• Date cutoff for github code

  #31 opened 2 years ago by wellecks
  1

• Coq

  #26 opened 2 years ago by wellecks
  8

• Data work

  #19 opened 2 years ago by zhangir-azerbayev
  2

• Additional languages from Stack

  #24 opened 2 years ago by wellecks
  5

• Filtering Github issues and diffs

  #10 opened 2 years ago by zhangir-azerbayev
  1

• IsarStep (Eval Task)

  #5 opened 2 years ago by haileyschoelkopf
  1

• MiniF2F Autoformalization (Eval Task)

  #8 opened 2 years ago by haileyschoelkopf
  1

• LILA (Eval Task)

  #3 opened 2 years ago by haileyschoelkopf
  8