Cover Image

Herb.jl: A Unifying Program Synthesis Library

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hinnerichs, Tilman, Reid, Reuben Gardos, de Jong, Jaap, Swinkels, Bart, Wochner, Pamela, Filat, Nicolae, Magurescu, Tudor, Hanou, Issa, Dumancic, Sebastijan
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Artificial Intelligence Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Modelling Program Spaces in Program Synthesis with Constraints
by: Hinnerichs, Tilman, et al.
Published: (2025)

Revisiting Landmarks: Learning from Previous Plans to Generalize over Problem Instances
by: Hanou, Issa, et al.
Published: (2025)

Declarative Design of Neural Predicates in Neuro-Symbolic Systems
by: Hinnerichs, Tilman, et al.
Published: (2024)

A Divide-Align-Conquer Strategy for Program Synthesis
by: Witt, Jonas, et al.
Published: (2023)

Learning logic programs by discovering higher-order abstractions
by: Hocquette, Céline, et al.
Published: (2023)

Temporal Taskification in Streaming Continual Learning: A Source of Evaluation Instability
by: Filat, Nicolae, et al.
Published: (2026)

From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey
by: Marra, Giuseppe, et al.
Published: (2021)

Learning Logical Rules using Minimum Message Length
by: Sharma, Ruben, et al.
Published: (2025)

Precomputing Multi-Agent Path Replanning using Temporal Flexibility
by: Hanou, Issa, et al.
Published: (2026)

Conditional Uncertainty-Aware Political Deepfake Detection with Stochastic Convolutional Neural Networks
by: Gardoş, Rafael-Petruţ
Published: (2026)

COST-BENEFIT ANALYSIS OF INTEGRATED PEST MANAGEMENT IN SOYBEAN CROPS IN THE MIDWEST REGION OF BRAZIL
by: Denise Wochner
Published: (2022)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
by: Hinnerichs, Tilman, et al.
Published: (2022)

Trustchain -- Trustworthy Decentralised Public Key Infrastructure for Digital Credentials
by: Hobson, Tim, et al.
Published: (2023)

RoDia: A New Dataset for Romanian Dialect Identification from Speech
by: Rotaru, Codrut, et al.
Published: (2023)

Cascaded Cross-Modal Transformer for Audio-Textual Classification
by: Ristea, Nicolae-Catalin, et al.
Published: (2024)

Sulfonated Co‐Poly(arylene‐ethynylene) PolyHIPE Hydrogels: Synthesis and Structure–Activity Relationships
by: Aleksander Saša Markovič, et al.
Published: (2026)

Strategic planning for poverty reduction in Vietnam : progress and challenges for meeting the localized millennium development goals / Rob Swinkels, Carrie Turk
by: Swinkels, Rob
Published: (2003)

State Space Model Programming in Turing.jl
by: Hargreaves, Tim, et al.
Published: (2025)

ModuleMixins.jl.jl
by: Johan Hidding
Published: (2026)

edwardlavender/Patter.jl: Patter.jl
by: Edward Lavender
Published: (2025)

The Art of Reception: Field Visits as Microcosms for Development Interventions of Non‐Governmental Organisations in Uganda
by: Caspar Edward Swinkels
Published: (2025)

Reproducing and Improving CheXNet: Deep Learning for Chest X-ray Disease Classification
by: Strick, Daniel J., et al.
Published: (2025)

Herbs for all seasons
Published: (1983)

Autonomous Task Completion Based on Goal-directed Answer Set Programming
by: Tudor, Alexis R.
Published: (2025)

Uniform interpolation for interpretability logic
by: Horvat, Sebastijan, et al.
Published: (2025)

Learning Rate Curriculum
by: Croitoru, Florinel-Alin, et al.
Published: (2022)

Unified Cross-Modal Medical Image Synthesis with Hierarchical Mixture of Product-of-Experts
by: Dorent, Reuben, et al.
Published: (2024)

Chapter States of emergency and fundamental rights in books and in action
by: Florczak-Wątor, Monika, et al.
Published: (2024)

Journal of HerbMed Pharmacology
Published: (2015)

A broken debris cascade as a possible source of hot dust emission in transitioning planet-forming disks
by: Swinkels, Niels, et al.
Published: (2024)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
by: Mazouz, Rayan, et al.
Published: (2026)

Copulas.jl: A fully Distributions.jl-compliant copula package
by: Laverny, Oskar, et al.
Published: (2024)

FormulaCompiler.jl and Margins.jl: Efficient Marginal Effects in Julia
by: Feltham, Eric
Published: (2026)

FeAmGen.jl: A Julia Program for Feynman Amplitude Generation
by: Wu, Quan-feng, et al.
Published: (2023)

The Quantum Memory Matrix: A Unified Framework for the Black Hole Information Paradox
by: Neukart, Florian, et al.
Published: (2025)

oneAPI.jl
by: Besard, Tim
Published: (2025)

OpticalFibers.jl
by: Vanvincq, Olivier
Published: (2026)

Luna-Rust.jl
by: Valenzuela Berríos, Diego Andrés, et al.
Published: (2026)

CL-MAE: Curriculum-Learned Masked Autoencoders
by: Madan, Neelu, et al.
Published: (2023)

AcceleratedKernels.jl: Cross-Architecture Parallel Algorithms from a Unified, Transpiled Codebase
by: Nicusan, Andrei-Leonard, et al.
Published: (2025)