Skip to content
@timaeus-research

Timaeus

Popular repositories Loading

  1. devinterp devinterp Public

    Tools for studying developmental interpretability in neural networks.

    Python 155 33

  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 archive

    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

Repositories

Showing 10 of 13 repositories
  • verso-blueprint Public Forked from leanprover/verso-blueprint

    Shared Timaeus Blueprint framework for paper anchors; maintained Lean 4.33.0 fork

    timaeus-research/verso-blueprint's past year of commit activity
    Lean 0 Apache-2.0 6 0 0 Updated Oct 2, 2026
  • laplace Public archive

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

    timaeus-research/laplace's past year of commit activity
    Lean 1 0 0 14 Updated Sep 28, 2026
  • grammar Public archive

    Lean 4 formalisation of Section 4 of the grammar paper (fluctuation function, normal-crossing blocks, Taylor tree); factored out of laplace

    timaeus-research/grammar's past year of commit activity
    Lean 0 0 0 0 Updated Sep 28, 2026
  • icl Public

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

    timaeus-research/icl's past year of commit activity
    HTML 3 1 1 0 Updated Sep 11, 2026
  • lean4 Public Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    timaeus-research/lean4's past year of commit activity
    Lean 0 Apache-2.0 1,035 0 3 Updated Sep 9, 2026
  • skypilot Public archive

    Run, manage, and scale AI workloads on any AI infrastructure. Use one system to access & manage all AI compute (Kubernetes, Slurm, 20+ clouds, on-prem).

    timaeus-research/skypilot's past year of commit activity
    Python 0 Apache-2.0 0 0 1 Updated Aug 25, 2026
  • inspect_swe Public Forked from meridianlabs-ai/inspect_swe

    Software Engineering Agents for Inspect AI

    timaeus-research/inspect_swe's past year of commit activity
    Python 0 MIT 48 0 0 Updated Jul 28, 2026
  • elicitation Public
    timaeus-research/elicitation's past year of commit activity
    Python 1 MIT 0 0 1 Updated Jul 21, 2026
  • devinterp Public

    Tools for studying developmental interpretability in neural networks.

    timaeus-research/devinterp's past year of commit activity
    Python 155 MIT 33 0 2 Updated Apr 23, 2026
  • gdocs-image-expand Public

    Chrome extension: full-screen pan-and-zoom viewer for images in Google Docs

    timaeus-research/gdocs-image-expand's past year of commit activity
    JavaScript 0 0 0 0 Updated Mar 2, 2026
View all repositories

Most used topics

Loading…