2025_modellingprogramspaces_prepring
We published our first Herb-related paper “Modelling Program Spaces in Program Synthesis with Constraints” on ArXiv! We introduce our solver BART and our novel notion of syntactic constraints.
We published our first Herb-related paper “Modelling Program Spaces in Program Synthesis with Constraints” on ArXiv! We introduce our solver BART and our novel notion of syntactic constraints.