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: CoRR (2023)
Keyphrases
- language model
- language modeling
- document retrieval
- probabilistic model
- generative model
- retrieval model
- query expansion
- information retrieval
- test collection
- ad hoc information retrieval
- speech recognition
- n gram
- language modeling framework
- relevance model
- language modelling
- smoothing methods
- language models for information retrieval
- query terms
- vector space model
- statistical language models
- translation model
- context sensitive
- language model for information retrieval
- document ranking
- pseudo relevance feedback
- term frequency
- retrieval effectiveness
- co occurrence
- decision trees