Skip to content
cs-conference-ranking.org

A Semantic Search Engine for Mathlib4.

Guoxiong Gao, Haocheng Ju, Jiedong Jiang, Zihan Qin, Bin Dong

VenueA*EMNLP
Year2024
ProceedingsEMNLP (Findings)
DBLP recordconf/emnlp/GaoJJQ024 ↗

Browse the full EMNLP paper archive.