ATG: Benchmarking Automated Theorem Generation for Generative Language Models.
Xiaohan LinQingxing CaoYinya HuangZhicheng YangZhengying LiuZhenguo LiXiaodan LiangPublished in: CoRR (2024)
Keyphrases
- language model
- language modeling
- probabilistic model
- context sensitive
- document retrieval
- n gram
- information retrieval
- generative model
- retrieval model
- query expansion
- language modelling
- test collection
- speech recognition
- language modeling framework
- document ranking
- pseudo relevance feedback
- ad hoc information retrieval
- smoothing methods
- statistical language models
- language model for information retrieval
- language modeling approaches
- language models for information retrieval
- translation model
- vector space model
- cross lingual
- word error rate