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:
Mar. 17, 2026
Filed:
Oct. 02, 2020
International Business Machines Corporation, Armonk, NY (US);
Rensselaer Polytechnic Institute, Troy, NY (US);
Cristina Cornelio, Kilchberg, CH;
Ruixuan Yan, Troy, NY (US);
Vasily Pestun, Newmarket, NH (US);
Lior Horesh, North Salem, NY (US);
ASSI International Business Machines Corporation, Armonk, NY (US);
Rensselaer Polytechnic Institute, Troy, NY (US);
Abstract
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 conjectures and a set of input training data to a computerized model inference engine, which fits the input training data to the plurality of provable conjectures to obtain at least one candidate symbolic model reflecting scientific laws associated with the problem. Reduce a search space of a computerized prediction module by providing to the computerized prediction module at least one candidate symbolic model. Provide new data to the computerized prediction module, which searches in the reduced search space to make a prediction related to the problem based on the new data and the at least one candidate symbolic model.