arxiv:2410.15700
Jeremiah Zhou
JeremiahZ
AI & ML interests
Math, Code, Mechanistic Interpretability
Recent Activity
authored
a paper
4 days ago
InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert
Iteration on Large-Scale LEAN Problems
new activity
15 days ago
JeremiahZ/roberta-base-rte:Adding `safetensors` variant of this model
new activity
about 1 month ago
JeremiahZ/bert-base-uncased-mrpc:Adding `safetensors` variant of this model
Organizations
models
27
JeremiahZ/roberta-base-rte
Text Classification
•
Updated
•
42
JeremiahZ/bert-base-uncased-mrpc
Text Classification
•
Updated
•
20
JeremiahZ/bert-base-uncased-wnli
Text Classification
•
Updated
•
19
JeremiahZ/bert-base-uncased-qqp
Text Classification
•
Updated
•
19
JeremiahZ/reddit_lda
Updated
JeremiahZ/glove
Updated
JeremiahZ/Hexatagger_CTB
Updated
JeremiahZ/Hexatagger_PTB
Updated
JeremiahZ/imdb_distilbert-base-uncased
Text Classification
•
Updated
•
22
JeremiahZ/bert-base-uncased-sst2
Text Classification
•
Updated
•
89
datasets
10
JeremiahZ/reddit
Viewer
•
Updated
•
1.11M
•
3
JeremiahZ/mosi-text
Viewer
•
Updated
•
2.2k
•
36
JeremiahZ/hendrycks_math_merged
Viewer
•
Updated
•
12.5k
•
37
•
1
JeremiahZ/mbxp_wasm_no_funcname
Viewer
•
Updated
•
773
•
32
JeremiahZ/mbxp_with_stats
Viewer
•
Updated
•
773
•
30
JeremiahZ/humaneval_x_with_stats
Viewer
•
Updated
•
161
•
40
JeremiahZ/mbxp_llvm_wasm
Viewer
•
Updated
•
773
•
30
•
2
JeremiahZ/humaneval_x_llvm_wasm
Viewer
•
Updated
•
161
•
34
•
1
JeremiahZ/simcse_sup_nli
Viewer
•
Updated
•
276k
•
8
JeremiahZ/simcse_unsup_wiki
Viewer
•
Updated
•
1M
•
9