FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving.
Xiaohan LinQingxing CaoYinya HuangHaiming WangJianqiao LuZhengying LiuLinqi SongXiaodan LiangPublished in: CoRR (2024)
Keyphrases
- theorem proving
- language model
- formal verification
- language modeling
- theorem prover
- model checking
- first order logic
- n gram
- probabilistic model
- term rewriting
- test collection
- document retrieval
- query expansion
- proof procedure
- automated reasoning
- statistical language models
- language modelling
- consequence finding
- proof planning
- geometry theorem proving
- language model for information retrieval
- information retrieval
- retrieval model
- speech recognition
- vector space model
- parallel search
- inference rules
- ad hoc information retrieval
- language models for information retrieval
- relevance model
- computer algebra systems
- translation model
- document ranking
- context sensitive
- temporal logic
- keywords