sun-wendy

AI & Math at MIT | Interested in AI safety

MITCambridge, MA

Pinned Repositories

6.4400-project
Final project for 6.4400 - Computer Graphics (fall 2023)
Language:Makefile00
beltrami-diffusion-graph-classification
Implementation of Beltrami Flow & Neural Diffusion on Graphs (BLEND) by Chamberlain et al. (2021) for graph classification
Language:Python10
curriculum-learning-classification
Language:Jupyter Notebook00
cv-project
Final project for 6.8301 - Computer Vision (spring 2024)
Language:Jupyter Notebook00
DafnyBench
DafnyBench: A Benchmark for Formal Software Verification
Language:Dafny11 1 02
dictionary_learning
Language:Python00
guarantees-based-mechanistic-interpretability
Language:Jupyter Notebook00
rl-laplacian
Language:Jupyter Notebook10
sae-rm
Using SAE's to interpret Reward Models (RM)
Language:Jupyter Notebook10
safelife-option
Language:Python00

sun-wendy/DafnyBench
DafnyBench: A Benchmark for Formal Software Verification
Language:Dafny11 1 02
sun-wendy/beltrami-diffusion-graph-classification
Implementation of Beltrami Flow & Neural Diffusion on Graphs (BLEND) by Chamberlain et al. (2021) for graph classification
Language:Python10
sun-wendy/rl-laplacian
Language:Jupyter Notebook10
sun-wendy/sae-rm
Using SAE's to interpret Reward Models (RM)
Language:Jupyter Notebook10
sun-wendy/6.4400-project
Final project for 6.4400 - Computer Graphics (fall 2023)
Language:Makefile00
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