Picture for Anish Mudide

Anish Mudide

Efficient Dictionary Learning with Switch Sparse Autoencoders

Add code
Oct 10, 2024
Viaarxiv icon

DafnyBench: A Benchmark for Formal Software Verification

Add code
Jun 12, 2024
Viaarxiv icon

Opening the AI black box: program synthesis via mechanistic interpretability

Add code
Feb 07, 2024
Viaarxiv icon