IIIT-H Prof’s Tool Aims to Verify AI-Generated Code

Prof. Abhishek Singh and his team are working on a tool to find bugs in computer programs written by AI.

Many bugs start when humans describe what they want the program to do, but their words can be unclear.

The team's tool tries to catch these bugs early by using special testing methods.

They focus on programs that do many things at once, which are harder to test.

Their tool uses smart testing that understands how these programs work on real computers.

The goal is to make sure AI-written code is safe and works correctly, which is important as more code is written by machines.