SHF: Small: Synthesizing Mixed Discrete/Continuous Programs with the Neurosymbolic Librarian

Information

  • NSF Award
  • 2310350
Owner
  • Award Id
    2310350
  • Award Effective Date
    10/1/2023 - 8 months ago
  • Award Expiration Date
    9/30/2026 - 2 years from now
  • Award Amount
    $ 600,000.00
  • Award Instrument
    Standard Grant

SHF: Small: Synthesizing Mixed Discrete/Continuous Programs with the Neurosymbolic Librarian

This project concerns automatically generating computer programs that can use neural networks and other machine learning models as subroutines. Programs like these are important because they form the cornerstone of modern machine learning systems, and also because symbolic programs and neural networks are complementary in their abilities, so such systems could learn to solve many diverse problems using a mixture of neural networks and symbolic code. However such programs are difficult to automatically generate or synthesize. The project’s novelties are new strategies that makes it much easier to generate such programs by using machine learning. The project's impact is a step toward systems that could learn to solve new problems using a mixture of neural networks and symbolic code, as well as a step toward Artificial Intelligence (AI) systems that could assist the development of further AI systems.<br/><br/>From a technical perspective the project presents a way of jointly generating symbolic code and neural network weights both using gradient descent, by relaxing the discrete space of symbolic code into a continuous form. Because convergence of this relaxation can be difficult, the investigator proposes learning to generate the code in a multitask setting, which allows learning across many problems to aid convergence. The results will be showcased on generating 3-dimensional graphics programs, mixing implicit neural representations of geometry with discrete graphics primitives, as well as a few-shot learning domain.<br/><br/>This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

  • Program Officer
    Pavithra Prabhakarpprabhak@nsf.gov7032922585
  • Min Amd Letter Date
    7/26/2023 - 10 months ago
  • Max Amd Letter Date
    7/26/2023 - 10 months ago
  • ARRA Amount

Institutions

  • Name
    Cornell University
  • City
    ITHACA
  • State
    NY
  • Country
    United States
  • Address
    341 PINE TREE RD
  • Postal Code
    148502820
  • Phone Number
    6072555014

Investigators

  • First Name
    Kevin
  • Last Name
    Ellis
  • Email Address
    kellis@cornell.edu
  • Start Date
    7/26/2023 12:00:00 AM

Program Element

  • Text
    Software & Hardware Foundation
  • Code
    7798

Program Reference

  • Text
    SMALL PROJECT
  • Code
    7923
  • Text
    Formal Methods and Verification
  • Code
    8206