Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / EleutherAI/math-lm issues and pull requests
#108 - Match
Issue -
State: open - Opened by Vencha-ops 21 days ago
- 1 comment
#107 - Дано: F=2H x=50мм Знайти: k-?
Issue -
State: open - Opened by Sykamaria 24 days ago
#106 - vyj;tcndf
Issue -
State: closed - Opened by ornella16 5 months ago
#105 - Question: load_dataset("EleutherAI/proof-pile-2", "default") ?
Issue -
State: closed - Opened by yushengsu-thu 9 months ago
- 1 comment
#104 - ygu
Issue -
State: open - Opened by Bazun228 9 months ago
#103 - `proof-pile-2` may not be completely uploaded
Issue -
State: closed - Opened by ZubinGou 10 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 12 months 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
#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
#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