Add news + paper

Author: THinnerichs

_bibliography/papers.bib

@@ -1,4 +1,9 @@
 ---
+Add publications as usual. To display, you may add the the following entries. 
+
+  abbr={ILP}, % Which topic
+  bibtex_show={true}, % Show in publications
+  selected={true},  % Adds to starting page
 ---
 
 @article{cropper2022inductive,
@@ -13,4 +18,14 @@ @article{cropper2022inductive
   year={2022}
 }
 
+@article{hinnerichs2025modelling,
+  abbr={PS},
+  bibtex_show={true},
+  selected={true},
+  title={Modelling Program Spaces in Program Synthesis with Constraints},
+  author={Hinnerichs, Tilman and Swinkels, Bart and de Jong, Jaap and Reid, Reuben Gardos and Magirescu, Tudor and Yorke-Smith, Neil and Dumancic, Sebastijan},
+  journal={arXiv preprint arXiv:2508.00005},
+  year={2025}
+}
+
 

_news/2025_modellingProgramSpaces_prepring.md

@@ -0,0 +1,9 @@
+---
+layout: post
+date: 2025-07-01
+inline: true
+related_posts: false
+---
+
+We published our first Herb-related paper ["Modelling Program Spaces in Program Synthesis with
+Constraints"](https://arxiv.org/pdf/2508.00005) on ArXiv! We introduce our solver BART and our novel notion of syntactic constraints.

_news/HerbHackathon_6.md

@@ -0,0 +1,8 @@
+---
+layout: post
+date: 2024-07-05
+inline: true
+related_posts: false
+---
+
+A year since our first, we are now in our fifth HerbHackathon. With JuliaCon next week, we are getting Herb ready for the world to see, adding our new [Garden](https://github.com/Herb-AI/Garden) with Herb implementations of other synthesizers.