importsys
diff --git a/feed.xml b/feed.xml
index 556f728..30a8d0f 100644
--- a/feed.xml
+++ b/feed.xml
@@ -1,4 +1,4 @@
-Jekyll2023-10-29T10:30:36+00:00https://herb-ai.github.io/feed.xmlblankA program synthesis library written in Julia a post with jupyter notebook2023-07-04T12:57:00+00:002023-07-04T12:57:00+00:00https://herb-ai.github.io/blog/2023/jupyter-notebookTo include a jupyter notebook in a post, you can use the following code:
{::nomarkdown}
+Jekyll2024-07-02T14:19:50+00:00https://herb-ai.github.io/feed.xmlblankA program synthesis library written in Julia a post with jupyter notebook2023-07-04T12:57:00+00:002023-07-04T12:57:00+00:00https://herb-ai.github.io/blog/2023/jupyter-notebookTo include a jupyter notebook in a post, you can use the following code:
When writing research software we almost always investigate highly specific properties or algorithms of our domain, leading to us building the tools from scratch over and over again. The very same holds for the field of program synthesis: Tools are hard to run, benchmarks are hard to get and prepare, and its hard to adapt our existing code to a novel idea.
Herb.jl will take care of this for you and helps you defining, solving and extending your program synthesis problems.
Herb.jl provides…
a unified and universal framework for program synthesis
Herb.jl allows you to describe all sorts of program synthesis problems using context-free grammars
a number of state-of-the-art benchmarks and solvers already implemented and usable out-of-the-box
When writing research software we almost always investigate highly specific properties or algorithms of our domain, leading to us building the tools from scratch over and over again. The very same holds for the field of program synthesis: Tools are hard to run, benchmarks are hard to get and prepare, and its hard to adapt our existing code to a novel idea.
Herb.jl will take care of this for you and helps you defining, solving and extending your program synthesis problems.
Herb.jl provides…
a unified and universal framework for program synthesis
a fast notion to describe all sorts of program synthesis problems with different specifications and grammars
a number of state-of-the-art benchmarks and solvers already implemented and usable out-of-the-box
@article{cropper2022inductive,title={Inductive logic programming at 30: a new introduction},author={Cropper, Andrew and Duman{\v{c}}i{\'c}, Sebastijan},journal={Journal of Artificial Intelligence Research},
diff --git a/sitemap.xml b/sitemap.xml
index aacce16..aebe734 100644
--- a/sitemap.xml
+++ b/sitemap.xml
@@ -1 +1 @@
- https://herb-ai.github.io/news/HerbHackathon_1_announcement/2023-06-30T00:00:00+00:00https://herb-ai.github.io/news/HerbHackathon_2_announcement/2023-10-18T00:00:00+00:00https://herb-ai.github.io/blog/2015/code/2015-07-15T15:09:00+00:00https://herb-ai.github.io/blog/2023/jupyter-notebook/2023-07-04T12:57:00+00:00https://herb-ai.github.io/projects/1_project/2023-10-29T10:30:36+00:00https://herb-ai.github.io/projects/2_project/2023-10-29T10:30:36+00:00https://herb-ai.github.io/projects/3_project/2023-10-29T10:30:36+00:00https://herb-ai.github.io/projects/4_project/2023-10-29T10:30:36+00:00https://herb-ai.github.io/projects/5_project/2023-10-29T10:30:36+00:00https://herb-ai.github.io/projects/6_project/2023-10-29T10:30:36+00:00https://herb-ai.github.io/https://herb-ai.github.io/Herb.jl/https://herb-ai.github.io/_pages/dropdown/https://herb-ai.github.io/news/https://herb-ai.github.io/projects/https://herb-ai.github.io/publications/https://herb-ai.github.io/repositories/https://herb-ai.github.io/blog/tag/formatting/https://herb-ai.github.io/blog/tag/code/https://herb-ai.github.io/blog/tag/jupyter/https://herb-ai.github.io/blog/category/sample-posts/https://herb-ai.github.io/blog/2015/https://herb-ai.github.io/blog/2023/
\ No newline at end of file
+ https://herb-ai.github.io/news/HerbHackathon_1_announcement/2023-06-30T00:00:00+00:00https://herb-ai.github.io/news/HerbHackathon_2_announcement/2023-10-18T00:00:00+00:00https://herb-ai.github.io/blog/2015/code/2015-07-15T15:09:00+00:00https://herb-ai.github.io/blog/2023/jupyter-notebook/2023-07-04T12:57:00+00:00https://herb-ai.github.io/projects/1_project/2024-07-02T14:19:50+00:00https://herb-ai.github.io/projects/2_project/2024-07-02T14:19:50+00:00https://herb-ai.github.io/projects/3_project/2024-07-02T14:19:50+00:00https://herb-ai.github.io/projects/4_project/2024-07-02T14:19:50+00:00https://herb-ai.github.io/projects/5_project/2024-07-02T14:19:50+00:00https://herb-ai.github.io/projects/6_project/2024-07-02T14:19:50+00:00https://herb-ai.github.io/https://herb-ai.github.io/Herb.jl/https://herb-ai.github.io/_pages/dropdown/https://herb-ai.github.io/news/https://herb-ai.github.io/projects/https://herb-ai.github.io/publications/https://herb-ai.github.io/repositories/https://herb-ai.github.io/blog/tag/formatting/https://herb-ai.github.io/blog/tag/code/https://herb-ai.github.io/blog/tag/jupyter/https://herb-ai.github.io/blog/category/sample-posts/https://herb-ai.github.io/blog/2015/https://herb-ai.github.io/blog/2023/
\ No newline at end of file
