Timaeus

Popular repositories Loading

1. devinterp devinterp Public

   Tools for studying developmental interpretability in neural networks.

   Python 152 31

2. paper-rllcs-2024 paper-rllcs-2024 Public

   Extras for "Differentiation and Specialization in LLMs"

   HTML 4

3. icl icl Public

   Understand the development of in-context learning in transformers with linear regression data

   HTML 3 1

4. elicitation elicitation Public

   Python 1

5. laplace laplace Public

   Lean 4 formalisation of the anharmonic Laplace asymptotic from the SLT Susceptibility Primer

   Lean 1

6. texpert texpert Public

   An intelligent LaTeX and BibTeX assistant that helps verify and clean up your academic documents.

   Python