ALEXANDRIA, Va., Aug. 12 -- United States Patent no. 12,705,250, issued on Aug. 11, was assigned to Oracle International Corp. (Redwood Shores, Calif.).
"Verifiable logical reasoning using GenAI" was invented by Dharma Ganesan (Baltimore) and David Clifton (Columbia, Md.).
According to the abstract* released by the U.S. Patent & Trademark Office: "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 th...