Massey, who was 30 weeks pregnant and spent four years with the company, was laid off via an e-mail sent to her inbox.

A new “semi-formal reasoning” approach forces AI models to trace code paths and justify conclusions, improving accuracy while ...