SpecGen: Automated Generation of Formal Program Specifications via Large Language Models.
Lezhi MaShangqing LiuYi LiXiaofei XieLei BuPublished in: CoRR (2024)
Keyphrases
- language model
- language modeling
- context sensitive
- formal specification
- n gram
- probabilistic model
- speech recognition
- document retrieval
- retrieval model
- information retrieval
- test collection
- query expansion
- language models for information retrieval
- language modelling
- vector space model
- statistical language models
- smoothing methods
- translation model
- language model for information retrieval
- ad hoc information retrieval
- document ranking
- high level
- okapi bm
- pseudo relevance feedback
- information extraction