logo

For the Inventor, By the Inventor

The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Patent No.:

US 12748791 B1

PDFFull Text
Date of Patent:
Sep. 29, 2026

Filed:

May. 31, 2024

Scalable generative ai-based tool infrastructure

Applicant:

Microsoft Technology Licensing, Llc, Redmond, WA (US);

Inventors:

Erik William Berg, Portland, OR (US);

Yash Jayesh Dagli, Kirkland, WA (US);

Amber Elisabeth Telfer Norris, Hillsboro, OR (US);

Assignee:

Microsoft Technology Licensing, LLC, Redmond, WA (US);

Attorney:

Seed Intellectual Property Law Group LLP

Primary Examiner:

Polina G Peach

Int. Cl.
CPC ...
G06F 16/00 (2019.01); G06F 11/362 (2025.01); G06F 16/334 (2025.01); G06F 16/338 (2019.01); G06F 30/31 (2020.01); G06F 30/3323 (2020.01); G06F 30/398 (2020.01); G06F 40/40 (2020.01); G06N 3/0475 (2023.01);
U.S. Cl.
CPC ...
G06F 16/3347 (2019.01); G06F 11/362 (2013.01); G06F 16/338 (2019.01); G06F 30/31 (2020.01); G06F 30/3323 (2020.01); G06F 30/398 (2020.01); G06F 40/40 (2020.01); G06N 3/0475 (2023.01);
Abstract

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 comprising an index of code examples. A query from a user is used to retrieve code examples, and the query and code examples are sent to an LLM to generate code corresponding to the query.

Find Patent Forward Citations

Berg, Erik. (2026). Scalable generative ai-based tool infrastructure (U.S. Patent No. 12748791). U.S. Patent and Trademark Office. https://idiyas.com/patent/badge/12748791

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

Loading…