Neel Somani
neelsomani
ยท
AI & ML interests
Mechanistic interpretability & formal methods
Recent Activity
updated a dataset about 2 months ago
AutomataBench/automata-bench published a dataset about 2 months ago
AutomataBench/automata-benchOrganizations
