TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.
Jing XiongJianhao ShenYe YuanHaiming WangYichun YinZhengying LiuLin LiZhijiang GuoQingxing CaoYinya HuangChuanyang ZhengXiaodan LiangMing ZhangQun LiuPublished in: EMNLP (2023)
Keyphrases
- language model
- language modeling
- probabilistic model
- generative model
- document retrieval
- n gram
- language modelling
- information retrieval
- query expansion
- speech recognition
- statistical language models
- ad hoc information retrieval
- language models for information retrieval
- language modeling framework
- retrieval model
- test collection
- smoothing methods
- query terms
- context sensitive
- spoken term detection
- term dependencies
- translation model
- pseudo relevance feedback
- vector space model
- co occurrence
- search engine