issues
search
siddhartha-gadgil
/
LeanAide
Tools based on AI for helping with Lean 4
Apache License 2.0
65
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
PutnamSessions
#51
ajay-k-nair
closed
1 hour ago
0
putnam batch 101-200
#50
VaishnaviShirsath11
closed
1 hour ago
0
Save translations generated as prompt resources
#49
siddhartha-gadgil
opened
1 month ago
0
Add definitions in roundtrip prompt
#48
siddhartha-gadgil
closed
1 month ago
0
Include more information while pretty-printing
#47
siddhartha-gadgil
opened
1 month ago
2
Multi-shot translation
#46
siddhartha-gadgil
opened
1 month ago
1
More efficient embedding lookup
#45
siddhartha-gadgil
opened
1 month ago
2
End of Source for OCR
#44
AnirudhG07
closed
1 month ago
1
about the prompts_subprocesses.py file
#43
sushrutjog
closed
1 month ago
2
Elaboration check at command level only
#42
siddhartha-gadgil
closed
1 month ago
2
berkeley file mmd -> md
#41
AnirudhG07
closed
1 month ago
0
ocr rules added for better image to latex
#40
AnirudhG07
closed
1 month ago
1
Fixed some punctuations in MathDoc and ocr rules
#39
AnirudhG07
closed
1 month ago
4
fixed json_formatted input bug
#38
AnirudhG07
closed
4 months ago
0
More corrected jsons
#37
AnirudhG07
closed
4 months ago
1
Corrected Json + code
#36
AnirudhG07
closed
4 months ago
4
microsoft phi-3 instruct llm data
#35
AnirudhG07
closed
5 months ago
1
Berkeley math problems json fixes
#34
AnirudhG07
closed
5 months ago
0
Berkeley math json and Test runs
#33
AnirudhG07
closed
5 months ago
0
Update to v8.0.0-rc1
#32
siddhartha-gadgil
closed
6 months ago
0
Speed up search for nearest embeddings
#31
siddhartha-gadgil
closed
1 year ago
1
Repeat queries if no outputs
#30
siddhartha-gadgil
closed
1 year ago
1
Aesop cleaner running
#29
siddhartha-gadgil
closed
1 year ago
3
Introduce terms and lemmas based on context
#28
siddhartha-gadgil
closed
1 year ago
0
Targeted rewrite: conv_rw?
#27
siddhartha-gadgil
opened
1 year ago
8
Bump torch from 1.12.0 to 1.13.1 in /web_serv
#26
dependabot[bot]
closed
1 year ago
0
Reorg
#25
0art0
closed
1 year ago
0
Gpt 3.5 turbo
#24
siddhartha-gadgil
closed
1 year ago
3
Merge `master` into `main`
#23
0art0
closed
1 year ago
0
Code actions for name suggestions
#22
0art0
closed
1 year ago
0
Re structure enhancements
#21
0art0
closed
1 year ago
1
Re structure
#20
0art0
closed
1 year ago
14
Clean up, abstract configuration
#19
siddhartha-gadgil
closed
1 year ago
7
Bump pillow from 9.2.0 to 9.3.0 in /web_serv
#18
dependabot[bot]
closed
2 years ago
0
Lean update
#17
0art0
closed
2 years ago
19
Merge `main` with `lean-update` to update `Mathbin`
#16
0art0
closed
2 years ago
0
Move `yake` to the server
#15
siddhartha-gadgil
closed
2 years ago
0
Bump joblib from 1.1.0 to 1.2.0 in /web_serv
#14
dependabot[bot]
closed
2 years ago
0
Merge for lean update
#13
0art0
closed
2 years ago
0
Lean-chat++
#12
ayush1801
closed
2 years ago
1
Rudimentary Proof search step using "first tactic" prompts
#11
siddhartha-gadgil
closed
2 years ago
4
Improve keyword-based prompting
#10
0art0
closed
1 year ago
4
Use docstrings from definitions as well as theorems
#9
siddhartha-gadgil
closed
1 year ago
6
Benchmark and optimize steps of translation
#8
siddhartha-gadgil
closed
1 year ago
2
Case transformations for dot notation
#7
siddhartha-gadgil
closed
1 year ago
3
LaTeX converted partially to unicode
#6
siddhartha-gadgil
closed
1 year ago
11
Using codeActions
#5
siddhartha-gadgil
closed
1 year ago
53
Use mathport translations
#4
siddhartha-gadgil
closed
1 year ago
3
Better Equivalence proving
#3
siddhartha-gadgil
closed
1 year ago
6
Prompts for formulas, ellipses, subscripts, idioms, terminology
#2
siddhartha-gadgil
opened
2 years ago
11
Next