SynthesisLab

High-performance Mixed Boolean-Arithmetic (MBA) expression synthesis tool

A High-Performance JAX Framework for Programmatic Reinforcement Learning

Lean proofs of the main results in the Bolt paper

Blazingly fast synthesis of LTL formulas!

The largest curated benchmark suite for LTLf (Linear Temporal Logic on Finite Traces) Learning.

General purpose program synthetiser with existing Programming By Examples (PBE) pipeline

A CUDA-based tool for synthesizing Linear Temporal Logic (LTL) formulas from positive and negative trace examples using GPU acceleration.

Synthesis of string manipulation programs from examples with external knowledge

effectively solving the random population control problem

GRAmmar for Program synthEsis (GRAPE)