Automatic Generation of Diverse Fact-Conflicting Hallucination Test Cases for Large Language Models using Logic Programming and Metamorphic Testing

Leveraging logic programming and metamorphic testing, HalluVault automatically generates diverse and reliable test cases to detect fact-conflicting hallucinations in large language models.