Lei Bu

M-agents harbor 158 unique implementation bugs that could lead to critical failures in real-world applications, and a new tool can identify over 60% of these issues automatically.

LLMs can now automatically generate formal specifications for real-world programs with high precision and recall, thanks to a novel specification refinement mechanism that leverages program mutations.