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.:
Date of Patent:
Aug. 11, 2026
Filed:
Jan. 31, 2025
Oracle International Corporation, Redwood Shores, CA (US);
Dharma Ganesan, Baltimore, MD (US);
David Clifton, Columbia, MD (US);
Oracle International Corporation, Redwood Shores, CA (US);
Abstract
Some embodiments relate to techniques including: accessing a prompt that is associated with a logical reasoning problem; generating one or more logical steps of a logical response based on the prompt by using a generative artificial intelligence (GenAI) model; for each of the one or more logical steps of the logical response: querying one or more theorem solvers using the logical response and the logical reasoning problem; receiving, in response to the query, one or more feedback from the one or more theorem solvers corresponding to the logical response of the logical reasoning problem; and updating the logical response based on the one or more feedback; determining that the logical response is complete and verified from the one or more theorem solvers; and outputting, in response to determining that the logical response is complete and verified, the logical response on a user interface.