Pinned Loading

1. llms-backdoor-detection llms-backdoor-detection Public

   This thesis demonstrates the successful injection of hidden backdoors into Llama-3 models and proves that analyzing internal activations via linear probing is a robust, generalizable method for det…

   TeX

2. pylox pylox Public

   Python Implementation of an Interpreter for Lox

   Python 1 1

3. aish aish Public

   aish is a CLI tool that can generate, explain and run bash commands from natural language descriptions.

   Jupyter Notebook 1

4. Interactive-Theorem-Proving-in-Coq Interactive-Theorem-Proving-in-Coq Public

   Some proofs from the class on Interactive Theorem Proving

   HTML

5. xor-with-lstm xor-with-lstm Public

   Solving XOR with LSTM. A warmup exercise.

   Jupyter Notebook

6. llm-pretrainer llm-pretrainer Public

   Single-GPU LLM pretraining

   Python