Cristina Cornelio

4 Patents

• US125794632026

  Generative Reasoning for Symbolic Discovery

  Rensselaer Polytechnic Institute

  0 cites
• US117413752023

  Capturing the Global Structure of Logical Formulae with Graph Long Short-term Memory

  International Business Machines Corporation

  0 cites
• US116571942023

  Experimental Design for Symbolic Model Discovery

  INTERNATIONAL BUSINESS MACHINES CORPORATION

  0 cites
• US115445972023

  Problem Manipulators for Language-independent Computerized Reasoning

  INTERNATIONAL BUSINESS MACHINES CORPORATION

  0 cites