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. http-server-python http-server-python Public

   Implementation of a simple HTTP server from scratch in Python

   Python

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

   Some proofs from the class on Interactive Theorem Proving

   HTML

6. xor-with-lstm xor-with-lstm Public

   Solving XOR with LSTM. A warmup exercise.

   Jupyter Notebook