HalluVault: A Novel Logic Programming-aided Metamorphic Testing Framework for Detecting Fact-Conflicting Hallucinations in Large Language Models.
Ningke LiYuekang LiYi LiuLing ShiKailong WangHaoyu WangPublished in: CoRR (2024)
Keyphrases
- logic programming
- language model
- logic programs
- probabilistic model
- cooperative multi agent
- n gram
- language modeling
- deductive databases
- logic programming language
- extended logic programs
- answer set programming
- constraint logic programming
- programming language
- information retrieval
- document retrieval
- test collection
- default logic
- nonmonotonic reasoning
- relevance model
- stable models
- reasoning about actions
- statistical language models
- data mining
- software engineering
- smoothing methods
- language modelling
- computational logic
- database systems