AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation.
Vaishnavi PulavarthiDeeksha NandalSoham DanDebjit PalPublished in: CoRR (2024)
Keyphrases
- language model
- language modeling
- probabilistic model
- n gram
- document retrieval
- information retrieval
- speech recognition
- test collection
- language modelling
- query expansion
- statistical language models
- vector space model
- ad hoc information retrieval
- context sensitive
- language models for information retrieval
- smoothing methods
- retrieval model
- language model for information retrieval
- okapi bm
- passage retrieval
- relevance model
- document collections