EleutherAI/math-lm issues and pull requests

#108 - Match

Issue - State: open - Opened by Vencha-ops about 1 month ago - 1 comment

#107 - Дано: F=2H x=50мм Знайти: k-?

Issue - State: open - Opened by Sykamaria about 1 month ago

#106 - vyj;tcndf

Issue - State: closed - Opened by ornella16 6 months ago

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

Issue - State: closed - Opened by yushengsu-thu 10 months ago - 1 comment

#104 - ygu

Issue - State: open - Opened by Bazun228 10 months ago

#103 - `proof-pile-2` may not be completely uploaded

Issue - State: closed - Opened by ZubinGou 11 months ago - 1 comment

#102 - Optimizer states?

Issue - State: open - Opened by jenkspt 11 months ago - 1 comment

#101 - Setup Tutorial and sample Run

Issue - State: open - Opened by andrewarrow about 1 year ago

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

Issue - State: open - Opened by hxypqr about 1 year ago

#99 - Convert HF to Neox?

Issue - State: open - Opened by aojunzz about 1 year ago

#98 - prompting

Issue - State: open - Opened by Neppy7221 about 1 year ago - 1 comment

#97 - Inference code

Issue - State: open - Opened by pakoromilas about 1 year ago

#96 - cannot convert raw llama weights to NeoX

Issue - State: open - Opened by scikkk about 1 year ago - 2 comments

#95 - Fix training submodule with conversion scripts

Pull Request - State: closed - Opened by haileyschoelkopf about 1 year ago

#94 - Have you test Llemma in humaneval?

Issue - State: open - Opened by qiugen about 1 year ago

#93 - Add loss curves in WandB report

Pull Request - State: closed - Opened by haileyschoelkopf about 1 year ago

#92 - DDDK

Issue - State: closed - Opened by Davidddk777 about 1 year ago

#91 - Ddk

Issue - State: closed - Opened by Davidddk777 about 1 year ago

#90 - .

Issue - State: closed - Opened by Wanfi1 about 1 year ago - 1 comment

#89 - 2+2

Issue - State: closed - Opened by Wanfi1 about 1 year ago - 1 comment

#88 - 25+17=

Issue - State: closed - Opened by IlyaKaufman about 1 year ago - 1 comment

#87 - exporting to Hugging Face?

Issue - State: closed - Opened by aojunzz about 1 year ago - 1 comment

#86 - Change all submodules to http

Pull Request - State: closed - Opened by zhangir-azerbayev about 1 year ago

#85 - training loss curve

Issue - State: closed - Opened by aojunzz about 1 year ago - 1 comment

#84 - Complementary paper

Issue - State: closed - Opened by lhallee about 1 year ago - 2 comments

#83 - Fix typo in algebraic_stack/README.md

Pull Request - State: closed - Opened by eltociear about 1 year ago - 1 comment

#82 - Security warning on --recurse-submodule (of llemma_formal2formal)

Issue - State: closed - Opened by jabowery about 1 year ago - 1 comment

#81 - Update requirements.txt

Pull Request - State: closed - Opened by CHLOzzz about 1 year ago - 2 comments

#80 - Update requirements.txt

Pull Request - State: closed - Opened by CHLOzzz about 1 year ago - 1 comment

#79 - about output from one of your problems

Issue - State: closed - Opened by nasser1 about 1 year ago - 1 comment

#78 - fix links to the datasets

Pull Request - State: closed - Opened by alreadydone about 1 year ago - 2 comments

#77 - What's the prompt template?

Issue - State: closed - Opened by apepkuss about 1 year ago - 1 comment

#76 - Update README.md

Pull Request - State: closed - Opened by StellaAthena about 1 year ago

#75 - update links

Pull Request - State: closed - Opened by zhangir-azerbayev about 1 year ago

#74 - standard links

Pull Request - State: closed - Opened by zhangir-azerbayev about 1 year ago

#73 - Update readme

Pull Request - State: closed - Opened by zhangir-azerbayev about 1 year ago

#72 - add harness submodule

Pull Request - State: closed - Opened by zhangir-azerbayev about 1 year ago

#71 - add figure code

Pull Request - State: open - Opened by keirp about 1 year ago - 1 comment

#70 - Merge commit I forgot about

Pull Request - State: closed - Opened by zhangir-azerbayev about 1 year ago

#69 - Update README

Pull Request - State: closed - Opened by wellecks about 1 year ago - 1 comment

#68 - Blog edits

Pull Request - State: closed - Opened by wellecks about 1 year ago - 1 comment

#67 - Remove duplicate section in docs

Pull Request - State: closed - Opened by wellecks about 1 year ago

#66 - Overlap submodule

Pull Request - State: closed - Opened by wellecks about 1 year ago

#65 - Formal submodule

Pull Request - State: closed - Opened by wellecks about 1 year ago

#64 - Add llemma_formal2formal submodule

Pull Request - State: closed - Opened by wellecks about 1 year ago - 1 comment

#63 - Add overlap submodule

Pull Request - State: closed - Opened by wellecks about 1 year ago

#62 - add submodule for memorization analysis

Pull Request - State: closed - Opened by zhangir-azerbayev about 1 year ago - 1 comment

#61 - add submodule for finetunes

Pull Request - State: closed - Opened by zhangir-azerbayev about 1 year ago

#60 - Proof pile 2

Pull Request - State: closed - Opened by zhangir-azerbayev about 1 year ago

#59 - Lean proofsteps

Pull Request - State: closed - Opened by zhangir-azerbayev about 1 year ago

#58 - Reorganize pretraining docs

Pull Request - State: closed - Opened by zhangir-azerbayev about 1 year ago - 1 comment

#57 - Will llema checkpoint be released?

Issue - State: closed - Opened by GanjinZero about 1 year ago - 1 comment

#56 - Cleanup for training replication details

Pull Request - State: closed - Opened by haileyschoelkopf about 1 year ago

#55 - removed unused files and directories

Pull Request - State: closed - Opened by zhangir-azerbayev about 1 year ago

#54 - Isabelle Proofsteps

Pull Request - State: closed - Opened by marco-dossantos about 1 year ago - 3 comments

#53 - Add replication instructions for training

Pull Request - State: closed - Opened by haileyschoelkopf about 1 year ago - 1 comment

#52 - Fix tex language filtering

Pull Request - State: closed - Opened by zhangir-azerbayev about 1 year ago

#51 - Goat dataset script

Pull Request - State: closed - Opened by wellecks over 1 year ago - 1 comment

#50 - Faster repo name extraction

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago - 2 comments

#49 - Allow downloading more than 1020 repositories

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago - 4 comments

#48 - add haskell

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago

#47 - add three more small stack exchange servers

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago

#46 - scripts for downloading redpajama arxiv

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago

#45 - redpajama arxiv

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago - 1 comment

#44 - Fortran

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago

#43 - Fixes to process_stack.py

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago

#42 - Matlab

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago - 1 comment

#41 - Lean github

Pull Request - State: closed - Opened by wellecks over 1 year ago

#40 - Isabelle github script

Pull Request - State: closed - Opened by wellecks over 1 year ago - 1 comment

#39 - Isabelle github data

Issue - State: closed - Opened by wellecks over 1 year ago - 1 comment

#38 - Isabelle github data

Issue - State: closed - Opened by wellecks over 1 year ago

#37 - Remove web directory

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago - 3 comments

#36 - update neox

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago - 2 comments

#35 - Add common math datasets that have a training split

Issue - State: closed - Opened by wellecks over 1 year ago - 2 comments
Labels: data

#34 - Citation for this repo

Issue - State: closed - Opened by brando90 over 1 year ago - 1 comment

#33 - Open Source Replication of Minerva base model?

Issue - State: closed - Opened by brando90 over 1 year ago - 1 comment

#32 - [Fixes #31] Add cutoff when downloading GitHub repo

Pull Request - State: closed - Opened by leo-du over 1 year ago - 1 comment

#31 - Date cutoff for github code

Issue - State: closed - Opened by wellecks over 1 year ago - 1 comment
Labels: good first issue, data

#30 - various small fixes

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago

#29 - Github script, applied to coq repos

Pull Request - State: closed - Opened by wellecks over 1 year ago - 5 comments

#28 - arXIv: made columns uniform; made shards smaller

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago

#27 - Docs update, random seeds

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago

#26 - Coq

Issue - State: closed - Opened by wellecks over 1 year ago - 8 comments
Labels: data

#25 - Complete non-web components of proof-pile-v2

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago - 1 comment

#24 - Additional languages from Stack

Issue - State: closed - Opened by wellecks over 1 year ago - 5 comments
Labels: data

#23 - Neox submodule

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago

#22 - Neox

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago - 3 comments

#21 - Tidying

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago - 1 comment

#20 - aitp

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago

#19 - Data work

Issue - State: closed - Opened by zhangir-azerbayev over 1 year ago - 2 comments

#18 - WIP: changes to source code dataset, issues and diffs, stack exchange

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago - 1 comment

#17 - changed saving scheme

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago

#16 - Mathematica and Matlab

Issue - State: closed - Opened by zhangir-azerbayev over 1 year ago - 4 comments
Labels: good first issue, data

#15 - delete sage, delete mathematica, fix r

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago

#14 - feat: get_math_text

Pull Request - State: closed - Opened by EdAyers over 1 year ago

#13 - Add a Julia filter

Pull Request - State: closed - Opened by jonathan-laurent over 1 year ago - 7 comments

#12 - Jupyter notebook

Pull Request - State: closed - Opened by wellecks over 1 year ago - 5 comments

#11 - added requirements.txt

Pull Request - State: closed - Opened by zhangir-azerbayev over 1 year ago

#10 - Filtering Github issues and diffs

Issue - State: closed - Opened by zhangir-azerbayev over 1 year ago - 1 comment
Labels: data

#9 - ProofNet Autoformalization (Eval Task)

Issue - State: closed - Opened by haileyschoelkopf almost 2 years ago - 7 comments
Labels: eval

GitHub / EleutherAI/math-lm issues and pull requests