A general LLM code agent paired with a Coq verification harness automatically proves all 4,257 Iris separation logic lemmas and 318 reglang lemmas with zero failures.
Survey of hallucination in natural language generation
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
years
2026 4representative citing papers
EGC reveals that graph consistency measures align with hallucinations in Llama-2 but reverse direction in GPT-4, GPT-3.5 and Mistral-7B on the RAGTruth QA split, indicating model-family-specific hallucination patterns.
A neuro-symbolic agent system for requirements reuse achieves 100% coverage and 0.2% constraint violations by construction through symbolic enforcement of an OOMRAM lattice.
CitePrism is a human-in-the-loop framework combining LLM contextual analysis, semantic embeddings, and metadata verification for citation auditing, achieving Cohen's kappa of 0.429 against human labels in a single manuscript with 104 references.
citing papers explorer
-
Harnessing Code Agents for Automatic Software Verification
A general LLM code agent paired with a Coq verification harness automatically proves all 4,257 Iris separation logic lemmas and 318 reglang lemmas with zero failures.
-
Evidence Graph Consistency in Retrieval-Augmented Generation: A Model-Dependent Analysis of Hallucination Detection
EGC reveals that graph consistency measures align with hallucinations in Llama-2 but reverse direction in GPT-4, GPT-3.5 and Mistral-7B on the RAGTruth QA split, indicating model-family-specific hallucination patterns.
-
Neuro-Symbolic Agents for Hallucination-Free Requirements Reuse
A neuro-symbolic agent system for requirements reuse achieves 100% coverage and 0.2% constraint violations by construction through symbolic enforcement of an OOMRAM lattice.
-
CitePrism: Human-in-the-Loop AI for Citation Auditing and Editorial Integrity
CitePrism is a human-in-the-loop framework combining LLM contextual analysis, semantic embeddings, and metadata verification for citation auditing, achieving Cohen's kappa of 0.429 against human labels in a single manuscript with 104 references.