celinehocquette
Researcher at the university of Oxford. I work on program synthesis / inductive logic programming. @logic-and-learning-lab
University of OxfordLondon
celinehocquette's Stars
google/or-tools
Google's Operations Research tools:
Z3Prover/z3
The Z3 Theorem Prover
fchollet/ARC
The Abstraction and Reasoning Corpus
logic-and-learning-lab/Popper
An inductive logic programming system
stassa/louise
Polynomial-time Meta-Interpretive Learning
logic-and-learning-lab/ilp-experiments
Experimentation framework for Popper