Nesy-Programming
October 28, 2024 ยท View on GitHub
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.
October 28, 2024 ยท View on GitHub
Code for the paper "Neuro-symbolic Learning Yielding Logical Constraints"
To reproduce the experimental results, Run the command sh run.sh in each task folder.