issues
search
wellecks
/
llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
MIT License
118
stars
15
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Got NaN eval loss when I set the training batch size to 2.
#23
Car-pe
opened
1 month ago
0
Can not evalate
#22
Car-pe
opened
1 month ago
1
Display helpful message when suggest returns no valid suggestions
#21
kcaze
closed
12 months ago
2
Error: "LayerNormKernelImpl" not implemented for 'Half'
#20
dwrensha
opened
12 months ago
0
Llemma demo
#19
wellecks
closed
1 year ago
0
Runtime benchmarking
#18
wellecks
closed
1 year ago
0
Benchmarking proofsearch
#17
wellecks
closed
1 year ago
0
Add path for imported case
#16
wellecks
closed
1 year ago
0
Reprover
#15
wellecks
closed
1 year ago
0
added runtime script
#14
rah4927
closed
1 year ago
1
Refactor
#13
wellecks
closed
1 year ago
1
Refactor server
#12
rah4927
closed
1 year ago
0
Colab
#11
wellecks
closed
1 year ago
0
added colab support
#10
rah4927
closed
1 year ago
0
Benchmark results?
#9
josojo
closed
1 year ago
1
fix data.py argument
#8
josojo
closed
1 year ago
1
Housekeeping
#7
wellecks
closed
1 year ago
0
Google Colab support
#6
orenelbaum
closed
1 year ago
4
Local inference with llama.cpp
#5
zhangir-azerbayev
opened
1 year ago
5
refactor addSuggestions
#4
kim-em
closed
1 year ago
1
bump and minimize imports
#3
kim-em
closed
1 year ago
1
factor out a MetaM tactic
#2
kim-em
closed
1 year ago
1
Vllm
#1
wellecks
closed
1 year ago
0