Experiments on Hallucination Detection and Recovery
In this initial post on Hallucination Detection and Recovery and follow-up, I explore the use of the interactive theorem prover Lean and its features to help LLMs detect and recover from hallucinations in solving coding tasks.
Experiments on Hallucination Detection and Recovery
In this initial post on Hallucination Detection and Recovery and follow-up, I explore the use of the interactive theorem prover Lean and its features to help LLMs detect and recover from hallucinations in solving coding tasks.