InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert Iteration on Large-Scale LEAN Problems
Paper
•
2410.15700
•
Published
Jeremiah Zhou
JeremiahZ
AI & ML interests
Math, Code, Mechanistic Interpretability
Recent Activity
authored
a paper
3 days ago
InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert
Iteration on Large-Scale LEAN Problems
new activity
14 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
JeremiahZ's activity
authored
a
paper
3 days ago
Adding `safetensors` variant of this model
#4 opened 17 days ago
by
SFconvertbot
Adding `safetensors` variant of this model
#4 opened about 1 month ago
by
SFconvertbot
Adding `safetensors` variant of this model
#2 opened about 1 month ago
by
SFconvertbot
Adding `safetensors` variant of this model
#4 opened 2 months ago
by
SFconvertbot
authored
3
papers
3 months ago
InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning
Paper
•
2402.06332
•
Published
•
18
StackSight: Unveiling WebAssembly through Large Language Models and Neurosymbolic Chain-of-Thought Decompilation
Paper
•
2406.04568
•
Published
Scaling Behavior for Large Language Models regarding Numeral Systems: An Example using Pythia
Paper
•
2409.17391
•
Published
upvoted
a
collection
6 months ago
upvoted
a
collection
9 months ago
updated
a
model
9 months ago
updated
a
dataset
9 months ago
[bot] Conversion to Parquet
#1 opened 10 months ago
by
parquet-converter
updated
a
dataset
10 months ago
updated
a
model
11 months ago
liked
a
dataset
11 months ago
liked
a
dataset
about 1 year ago
[bot] Conversion to Parquet
#1 opened about 1 year ago
by
parquet-converter
updated
2
datasets
about 1 year ago