compositional_concepts. Code for the CCE algorithm proposed in "Towards Compositionality in Concept Learning" at ICML 2024.
16pips. [NeurIPS 2025] PIPS: Per-Instance Program Synthesis
4BAP. Java
4nesy_prompting. Code for constructing and evaluating neuro-symbolic prompting methods. Used for experiments in "The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models."
3Kale-lang. Basic language built for personal edification off the LLVM Kaleidoscope tutorial.
1