Papers › Projecting Assumptions: The Duality Between Sparse Autoencoders and Concept Geometry

Projecting Assumptions: The Duality Between Sparse Autoencoders and Concept Geometry

3 Mar 2025arXiv:2503.01822archive 2025-07-28

Sai Sumedh R. Hindupur, Ekdeep Singh Lubana, Thomas Fel, Demba Ba

Sparse Autoencoders (SAEs) are widely used to interpret neural networks by identifying meaningful concepts from their representations. However, do SAEs truly uncover all concepts a model relies on, or are they inherently biased toward certain kinds of concepts? We introduce a unified framework that recasts SAEs as solutions to a bilevel optimization problem, revealing a fundamental challenge: each SAE imposes structural assumptions about how concepts are encoded in model representations, which in turn shapes what it can and cannot detect. This means different SAEs are not interchangeable -- switching architectures can expose entirely new concepts or obscure existing ones. To systematically probe this effect, we evaluate SAEs across a spectrum of settings: from controlled toy models that isolate key variables, to semi-synthetic experiments on real model activations and finally to large-scale, naturalistic datasets. Across this progression, we examine two fundamental properties that real-world concepts often exhibit: heterogeneity in intrinsic dimensionality (some concepts are inherently low-dimensional, others are not) and nonlinear separability. We show that SAEs fail to recover concepts when these properties are ignored, and we design a new SAE that explicitly incorporates both, enabling the discovery of previously hidden concepts and reinforcing our theoretical insights. Our findings challenge the idea of a universal SAE and underscores the need for architecture-specific choices in model interpretability. Overall, we argue an SAE does not just reveal concepts -- it determines what can be seen at all.

PaperPDFCode Syntology ran

In Syntology Open this paper in Syntology's Atlas, the map of the papers in Syntology's graph and their citations.

For agents, Syntology's MCP tool lists every function and class Syntology harvested from this paper and whether it ran (how to connect): get_harvested_code_for_paper(arxiv_id="2503.01822")

Code

Syntology Ran 19 of 37 code samples harvested from 3 repositories linked to this paper; 18 have no recorded run. Of those that ran: 1 ran · honoured contract; 5 ran · our draft was wrong; 8 ran · fixture could not drive it; 5 ran with no contract checked.

By repository: found in paper text by Syntology: 37 samples from 3 repositories, 19 ran. The run record, sample by sample. “Ran” means executed on a synthesized input, not that the code is correct or reproduces the paper.

Sai-Sumedh/SaeConceptDuality-SpaDE found in paper text by SyntologyMIT report
EkdeepSLubana/spadeFormalGrammars found in paper text by SyntologyMIT report
KempnerInstitute/Overcomplete found in paper text by Syntology report

Repository list and official/mentioned flags are the archive's, frozen 2025-07-28. Reachability, where shown, is from one Syntology probe window (2026-09-16 to 2026-09-18); repositories not probed show nothing. GitHub stars are not tracked.

Code Syntology ran Syntology

37 samples harvested; 19 ran; 1 honoured the contract we drafted; 18 have no recorded run. Read from Syntology's graph 2026-09-24; that is when this build read the record, not when the samples ran.

1ran · honoured contract
5ran · our draft was wrong
8ran · fixture could not drive it
5ran
18unverified

Licence: 0 of the 37 samples are pointer only, meaning Syntology does not serve that copy's text. This page shows no code text for any sample; each one links to its file in the repository.

Harvested from 3 repositories linked to this paper, official or community; each sample names its own and says which. “Ran” means the sample executed on a synthesized input. It does not mean the output is correct, and nothing here reproduces the paper's results. “Honoured” and “violated” refer to a contract Syntology drafted from the code itself; “our draft was wrong” and “fixture could not drive it” are failures of Syntology's instrument, not of the code.

Each sample ends with its code_sha256, Syntology's identity for that exact code. An agent fetches the stored sample with Syntology's MCP tool get_code(code_sha256="…") (how to connect); click an identity to copy that call.

Repository labels, per sample. official repository: The archive marks this repository official for the paper. named in the paper: The archive records that the paper mentions this repository; it is not marked official. community (archive-listed): In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper. found in paper text by Syntology: Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted. community: Not in the archive's code links for this paper; a community repository Syntology harvested. Samples from a repository marked official are listed first. Licence labels name the repository's licence as recorded at harvest. “Pointer only” means Syntology does not serve that copy's text, for one of four reasons: no licence file was found; the licence was not identified; the licence is recorded as permissive but that copy's record is not marked cleared; or the licence is outside the permissive list Syntology serves text under (MIT, Apache-2.0, BSD and similar). Some licences outside that list permit redistribution, such as WTFPL, and GPL-3.0 under its conditions; they are simply not on the list. Hover a licence label for the reason. File links open the file on GitHub at the default branch, which may have changed since the harvest.

DictionaryLayer KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran MIT (permissive) · f4b90d4a8d7a8df8 · report
JumpReLU KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran MIT (permissive) · 39b7b96e4c0c2ddc · report
TieableEncoder KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran fingerprinted MIT (permissive) · 700cf74572418934 · report
cauchy_kernel KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran · fixture could not drive it fingerprinted MIT (permissive) · fd68d9928b455631 · report
cosine_kernel KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran · fixture could not drive it fingerprinted MIT (permissive) · 435b7a2c349bf155 · report
define_prior EkdeepSLubana/spadeFormalGrammars/dgp/utils.py found in paper text by Syntology ran MIT (permissive) · 4138f619ef3ab02c · report
epanechnikov_kernel KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran · fixture could not drive it fingerprinted MIT (permissive) · a567c13de0aceb15 · report
gaussian_kernel KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran · fixture could not drive it fingerprinted MIT (permissive) · cb509c068da815e4 · report
get_module EkdeepSLubana/spadeFormalGrammars/utils/analysis.py found in paper text by Syntology ran MIT (permissive) · bfa0b6ce30af730f · report
jump_relu KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran · our draft was wrong MIT (permissive) · 9af77435852d70eb · report
normalize_identity KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran · honoured contract fingerprinted MIT (permissive) · ee12fc4a6248f097 · report
normalize_l1 KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran · our draft was wrong fingerprinted MIT (permissive) · a7aa0b2ccc793f82 · report
normalize_l2 KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran · our draft was wrong fingerprinted MIT (permissive) · efac2c02b2c4b989 · report
normalize_max_l1 KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran · our draft was wrong fingerprinted MIT (permissive) · 9dbc9e9b26b1a18e · report
normalize_max_l2 KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran · our draft was wrong fingerprinted MIT (permissive) · b0f9943a802bf49f · report
quartic_kernel KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran · fixture could not drive it fingerprinted MIT (permissive) · 2adaee6f999cee83 · report
rectangle_kernel KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran · fixture could not drive it fingerprinted MIT (permissive) · af2189e3bb817b0b · report
silverman_kernel KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran · fixture could not drive it fingerprinted MIT (permissive) · 46f3c01f0b0c7c48 · report
triangular_kernel KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology ran · fixture could not drive it fingerprinted MIT (permissive) · fa1a887be1a53353 · report
BaseDictionaryLearning KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology unverified MIT (permissive) · 3dca837c21e29bc5 · report
EncoderFactory KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology unverified MIT (permissive) · bbf8fa2e6a8b0d3c · report
JumpSAE KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology unverified MIT (permissive) · 915ef400e3c55ea7 · report
SAE KempnerInstitute/Overcomplete/overcomplete/sae/jump_sae.py found in paper text by Syntology unverified MIT (permissive) · eafd4c95fdf03869 · report
data_n_loaders Sai-Sumedh/SaeConceptDuality-SpaDE/functions/get_data.py found in paper text by Syntology unverified MIT (permissive) · 0788ffd60162d5e5 · report
getActivations EkdeepSLubana/spadeFormalGrammars/figures/compute_corrmaps.py found in paper text by Syntology unverified MIT (permissive) · 83b36163cec01c2a · report
getActivations EkdeepSLubana/spadeFormalGrammars/figures/compute_metrics.py found in paper text by Syntology unverified MIT (permissive) · 8364a1e2bf292345 · report
get_dataloader EkdeepSLubana/spadeFormalGrammars/dgp/dataloader.py found in paper text by Syntology unverified MIT (permissive) · 834a92ff49752de4 · report
get_pos_data EkdeepSLubana/spadeFormalGrammars/figures/compute_corrmaps.py found in paper text by Syntology unverified MIT (permissive) · 56291f3f5cd9fdac · report
get_pos_data EkdeepSLubana/spadeFormalGrammars/figures/compute_metrics.py found in paper text by Syntology unverified MIT (permissive) · 368f326e3a51cf18 · report
get_semicircle Sai-Sumedh/SaeConceptDuality-SpaDE/functions/get_data.py found in paper text by Syntology unverified MIT (permissive) · 538e46bf31beace3 · report
grammar_evals EkdeepSLubana/spadeFormalGrammars/evals/evals.py found in paper text by Syntology unverified MIT (permissive) · 2e4225b09bbdd765 · report
jumprelu EkdeepSLubana/spadeFormalGrammars/sae/saes.py found in paper text by Syntology unverified MIT (permissive) · 6f7a4cc489051fdf · report
linear_pieces Sai-Sumedh/SaeConceptDuality-SpaDE/functions/utils.py found in paper text by Syntology unverified MIT (permissive) · c85ad84383f852e6 · report
read_hyperparameters Sai-Sumedh/SaeConceptDuality-SpaDE/functions/utils.py found in paper text by Syntology unverified MIT (permissive) · 974d150ff5d7b382 · report
rectangle EkdeepSLubana/spadeFormalGrammars/sae/saes.py found in paper text by Syntology unverified MIT (permissive) · 7c06d045892ef607 · report
softplus_inverse EkdeepSLubana/spadeFormalGrammars/sae/saes.py found in paper text by Syntology unverified MIT (permissive) · c22f704a96321b8f · report
top_k_top_p_filtering EkdeepSLubana/spadeFormalGrammars/model/model.py found in paper text by Syntology unverified MIT (permissive) · 4088666d0047518a · report

Tasks

Bilevel Optimization

Results from the paper archive 2025-07-28

No leaderboard rows for this paper in the archive.

Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections