Highlights
- Pro
-
mathdsl Public
Forked from gabegrand/liloMathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis
-
neurosym-lib-lilo Public
Forked from kavigupta/neurosym-libNeurosymbolic Library
Jupyter Notebook UpdatedOct 29, 2024 -
laps-dreamcoder Public archive
Forked from mlb2251/dreamcoderMLB LAPS DreamCoder for the MathDomain
-
neural-signatures Public
Machine-learning modelling using signatures conducted at Imperial College London over Summer 2023.
Python UpdatedJul 11, 2023 -
-
-
thunderbird-themes Public
A collection of Thunderbird themes.