sun-wendy

AI & Math at MIT | Interested in AI safety

MITCambridge, MA

Pinned Repositories

DafnyBench
DafnyBench: A Benchmark for Formal Software Verification
Language:Dafny15 1 03
dictionary_learning
Language:Python00
guarantees-based-mechanistic-interpretability
Language:Jupyter Notebook00
rl-laplacian
Language:Jupyter Notebook1 0 00
sae-rm
Using SAE's to interpret Reward Models (RM)
Language:Jupyter Notebook1 0 01
safelife-option
Language:Python00

sun-wendy's Repositories

sun-wendy/DafnyBench
DafnyBench: A Benchmark for Formal Software Verification
Language:Dafny15 1 03
sun-wendy/beltrami-diffusion-graph-classification
Implementation of Beltrami Flow & Neural Diffusion on Graphs (BLEND) by Chamberlain et al. (2021) for graph classification
Language:Python1 2 10
sun-wendy/rl-laplacian
Language:Jupyter Notebook1 0 00
sun-wendy/sae-rm
Using SAE's to interpret Reward Models (RM)
Language:Jupyter Notebook1 0 01
sun-wendy/6.4400-project
Final project for 6.4400 - Computer Graphics (fall 2023)
Language:Makefile0 1 00
sun-wendy/curriculum-learning-classification
Language:Jupyter Notebook00
sun-wendy/cv-project
Final project for 6.8301 - Computer Vision (spring 2024)
Language:Jupyter Notebook00
sun-wendy/dictionary_learning
Language:Python00
sun-wendy/guarantees-based-mechanistic-interpretability
Language:Jupyter Notebook00
sun-wendy/safelife-option
Language:Python00
sun-wendy/wendysun.io
My personal website
Language:HTML00