US Patent Issued to Microsoft Technology Licensing on Sept. 29 for "Scalable generative AI-based tool infrastructure" (Oregon, Washington Inventors)

ALEXANDRIA, Va., Sept. 30 -- United States Patent no. 12,748,791, issued on Sept. 29, was assigned to Microsoft Technology Licensing LLC (Redmond, Wash.).

"Scalable generative AI-based tool infrastructure" was invented by Erik William Berg (Portland, Ore.), Yash Jayesh Dagli (Kirkland, Wash.) and Amber Elisabeth Telfer Norris (Hillsboro, Ore.).

According to the abstract* released by the U.S. Patent & Trademark Office: "Embodiments of the present disclosure include a formal verification method comprising a plurality of custom generative AI-based tools configured in a bottoms up methodology to generate formal verification code using an LLM. In another embodiment, the present disclosure includes a generative AI-based tool architecture compri...