Codex, the AI coding assistant that writes, tests, and fixes code like a virtual coworker, can now connect to the internet. Plus, ChatGPT Plus users can try it today.

To address this problem ... Our approach uses a model checker to check a set of software library usage pattern candidates against existing programs using that library, and identifies valid patterns ...