NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
A Semantic Search Engine for Mathlib4
Guoxiong Gao
|
Haocheng Ju
|
Jiedong Jiang
|
Zihan Qin
|
Bin Dong
|
Paper Details:
Month: November
Year: 2024
Location: Miami, Florida, USA
Venue:
F |
i |
n |
d |
i |
n |
g |
s |
- |
E |
M |
N |
L |
P |
Citations
URL
No Citations Yet
https://leansearch.net
https://github.com/reaslab/LeanSearch
https://leanprover-community.github.io/mathlib4_docs/
https://github.com/leanprover-community/mathlib4
https://leanprover.zulipchat.com/#narrow/stream/219941-
https://www.moogle.ai/
https://github.com/albertqjiang/MMA/tree/main/data
Field Of Study