US Patent Issued to ASSI International Business Machines, Rensselaer Polytechnic Institute on March 17 for "Generative reasoning for symbolic discovery" (American, Swiss Inventors)

ALEXANDRIA, Va., March 17 -- United States Patent no. 12,579,463, issued on March 17, was assigned to ASSI International Business Machines Corp. (Armonk, N.Y.) and Rensselaer Polytechnic Institute (Troy, N.Y.).

"Generative reasoning for symbolic discovery" was invented by Cristina Cornelio (Kilchberg, Switzerland), Ruixuan Yan (Troy, N.Y.), Vasily Pestun (Newmarket, N.H.) and Lior Horesh (North Salem, N.Y.).

According to the abstract* released by the U.S. Patent & Trademark Office: "Provide a background theory applicable to a scientific problem as input to a computerized generative reasoner, which in turn produces a plurality of provable conjectures applicable to the problem, based on the input. Provide the plurality of provable conjectur...