Herb_bart_arxiv_2025
We published our first Herb-related paper “Modelling Program Spaces in Program Synthesis with Constraints” on ArXiv, introducing our solver BART and a new notion of syntactic constraints.
We published our first Herb-related paper “Modelling Program Spaces in Program Synthesis with Constraints” on ArXiv, introducing our solver BART and a new notion of syntactic constraints.