Astro Automata
Astro Automata Group at the University of Cambridge
Pinned Loading
Repositories
Showing 9 of 9 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.
- LLM_PCA Public
Top languages
Loading…
Most used topics
Loading…