Herb.jl: Teaching Programs How to Program with Program Synthesis

Offered By: The Julia Programming Language via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore program synthesis with Herb.jl in this 10-minute conference talk from JuliaCon 2024. Discover how this Julia library automates program generation from specifications, providing a toolbox for developing new synthesizers and unifying various synthesis approaches. Learn about Herb.jl's dual goals of filling a community gap and creating a framework for easy application of existing synthesizers to new problems. Gain insights into how Julia enhances library development, algorithm speed, and synthesis procedure composability in the context of program synthesis.

Syllabus

Herb.jl: Teaching programs how to program with program synthesis | Hinnerichs | JuliaCon 2024

Taught by

The Julia Programming Language

Related Courses

Introduction to Artificial Intelligence
Stanford University via Udacity Probabilistic Graphical Models 1: Representation
Stanford University via Coursera Artificial Intelligence for Robotics
Stanford University via Udacity Computer Vision: The Fundamentals
University of California, Berkeley via Coursera Learning from Data (Introductory Machine Learning course)
California Institute of Technology via Independent