Login / Signup

Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMs.

Sylvain Kouemo NgassomArghavan Moradi DakhelFlorian TambonFoutse Khomh
Published in: CoRR (2024)
Keyphrases
  • source code
  • data mining
  • information systems
  • byte code
  • real time
  • neural network
  • open source
  • model checking
  • signature verification