Astro Automata
Astro Automata Group at the University of Cambridge
Pinned Loading
Repositories
Showing 10 of 11 repositories
- lean4-wasm-in-browser Public Forked from cauli/lean4-wasm-in-browser
Run lean4 directly in your browser
-
-
-
- SymTorch_symbolic_distillation_GNNs Public
Reproducing the main results from 'Discovering Symbolic Models from Deep Learning with Inductive Biases' by Cranmer et. al. (2020) using the SymTorch package.
Top languages
Loading…
Most used topics
Loading…