CodeHalu: Code Hallucinations in LLMs Driven by Execution-based Verification.
Yuchen TianWeixiang YanQian YangQian ChenWen WangZiyang LuoLei MaPublished in: CoRR (2024)
Keyphrases
- symbolic execution
- code generation
- source code
- data driven
- data flow
- control flow
- static analysis
- model checking
- java virtual machine
- face verification
- byte code
- concurrent systems
- formal methods
- plan generation
- cryptographic protocols
- web applications
- functional verification
- data mining
- execution environment
- test generation