Skip to content

Lizn-zn/Nesy-Programming

Repository files navigation

Nesy-Programming

Code for the paper "Neuro-symbolic Learning Yielding Logical Constraints"

Usage

To reproduce the experimental results, Run the command sh run.sh in each task folder.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published