Image de couverture de livre

Herb.jl: A Unifying Program Synthesis Library

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hinnerichs, Tilman, Reid, Reuben Gardos, de Jong, Jaap, Swinkels, Bart, Wochner, Pamela, Filat, Nicolae, Magurescu, Tudor, Hanou, Issa, Dumancic, Sebastijan
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages Artificial Intelligence Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Modelling Program Spaces in Program Synthesis with Constraints
par: Hinnerichs, Tilman, et autres
Publié: (2025)

Revisiting Landmarks: Learning from Previous Plans to Generalize over Problem Instances
par: Hanou, Issa, et autres
Publié: (2025)

Declarative Design of Neural Predicates in Neuro-Symbolic Systems
par: Hinnerichs, Tilman, et autres
Publié: (2024)

A Divide-Align-Conquer Strategy for Program Synthesis
par: Witt, Jonas, et autres
Publié: (2023)

Learning logic programs by discovering higher-order abstractions
par: Hocquette, Céline, et autres
Publié: (2023)

Temporal Taskification in Streaming Continual Learning: A Source of Evaluation Instability
par: Filat, Nicolae, et autres
Publié: (2026)

From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey
par: Marra, Giuseppe, et autres
Publié: (2021)

Learning Logical Rules using Minimum Message Length
par: Sharma, Ruben, et autres
Publié: (2025)

Precomputing Multi-Agent Path Replanning using Temporal Flexibility
par: Hanou, Issa, et autres
Publié: (2026)

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

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

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
par: Hinnerichs, Tilman, et autres
Publié: (2022)

Trustchain -- Trustworthy Decentralised Public Key Infrastructure for Digital Credentials
par: Hobson, Tim, et autres
Publié: (2023)

RoDia: A New Dataset for Romanian Dialect Identification from Speech
par: Rotaru, Codrut, et autres
Publié: (2023)

Cascaded Cross-Modal Transformer for Audio-Textual Classification
par: Ristea, Nicolae-Catalin, et autres
Publié: (2024)

Sulfonated Co‐Poly(arylene‐ethynylene) PolyHIPE Hydrogels: Synthesis and Structure–Activity Relationships
par: Aleksander Saša Markovič, et autres
Publié: (2026)

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

State Space Model Programming in Turing.jl
par: Hargreaves, Tim, et autres
Publié: (2025)

ModuleMixins.jl.jl
par: Johan Hidding
Publié: (2026)

edwardlavender/Patter.jl: Patter.jl
par: Edward Lavender
Publié: (2025)

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

Reproducing and Improving CheXNet: Deep Learning for Chest X-ray Disease Classification
par: Strick, Daniel J., et autres
Publié: (2025)

Herbs for all seasons
Publié: (1983)

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

Uniform interpolation for interpretability logic
par: Horvat, Sebastijan, et autres
Publié: (2025)

Learning Rate Curriculum
par: Croitoru, Florinel-Alin, et autres
Publié: (2022)

Unified Cross-Modal Medical Image Synthesis with Hierarchical Mixture of Product-of-Experts
par: Dorent, Reuben, et autres
Publié: (2024)

Chapter States of emergency and fundamental rights in books and in action
par: Florczak-Wątor, Monika, et autres
Publié: (2024)

Journal of HerbMed Pharmacology
Publié: (2015)

A broken debris cascade as a possible source of hot dust emission in transitioning planet-forming disks
par: Swinkels, Niels, et autres
Publié: (2024)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
par: Mazouz, Rayan, et autres
Publié: (2026)

Copulas.jl: A fully Distributions.jl-compliant copula package
par: Laverny, Oskar, et autres
Publié: (2024)

FormulaCompiler.jl and Margins.jl: Efficient Marginal Effects in Julia
par: Feltham, Eric
Publié: (2026)

FeAmGen.jl: A Julia Program for Feynman Amplitude Generation
par: Wu, Quan-feng, et autres
Publié: (2023)

The Quantum Memory Matrix: A Unified Framework for the Black Hole Information Paradox
par: Neukart, Florian, et autres
Publié: (2025)

oneAPI.jl
par: Besard, Tim
Publié: (2025)

OpticalFibers.jl
par: Vanvincq, Olivier
Publié: (2026)

Luna-Rust.jl
par: Valenzuela Berríos, Diego Andrés, et autres
Publié: (2026)

CL-MAE: Curriculum-Learned Masked Autoencoders
par: Madan, Neelu, et autres
Publié: (2023)

AcceleratedKernels.jl: Cross-Architecture Parallel Algorithms from a Unified, Transpiled Codebase
par: Nicusan, Andrei-Leonard, et autres
Publié: (2025)