Login / Signup
Doolittle: Benchmarks and Corpora for Academic Writing Formalization.
Shizhe Diao
Yongyu Lei
Liangming Pan
Tianqing Fang
Wangchunshu Zhou
Sedrick Scott Keh
Min-Yen Kan
Tong Zhang
Published in:
EMNLP (2023)
Keyphrases
</>
knowledge representation
natural language processing
information systems
formal model
text corpora
benchmark suite
real time
wide range
artificial intelligence
database systems
text mining
formal analysis
data collections
operational semantics
collaborative writing