Timaeus
Popular repositories Loading
-
paper-rllcs-2024
paper-rllcs-2024 PublicExtras for "Differentiation and Specialization in LLMs"
HTML 3
-
texpert
texpert PublicAn intelligent LaTeX and BibTeX assistant that helps verify and clean up your academic documents.
Python
-
jaxgmg
jaxgmg Public archiveForked from matomatical/jaxgmg
JAX-based environments and RL baselines for studying goal misgeneralisation.
Python
-
Repositories
- laplace Public
Lean 4 formalisation of the anharmonic Laplace asymptotic from the SLT Susceptibility Primer
- inspect_swe Public Forked from meridianlabs-ai/inspect_swe
Software Engineering Agents for Inspect AI
- elicitation Public
- skypilot Public
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).
- gdocs-image-expand Public
Chrome extension: full-screen pan-and-zoom viewer for images in Google Docs
- jaxgmg Public archive Forked from matomatical/jaxgmg
JAX-based environments and RL baselines for studying goal misgeneralisation.
- texpert Public
An intelligent LaTeX and BibTeX assistant that helps verify and clean up your academic documents.
- icl Public
Understand the development of in-context learning in transformers with linear regression data
Top languages
Loading…
Most used topics
Loading…