ENTITY
Rodrigo Mendoza-Smith
Rodrigo Mendoza-Smith
PulseAugur coverage of Rodrigo Mendoza-Smith — every cluster mentioning Rodrigo Mendoza-Smith across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
Expander SAEs offer parameter-efficient dictionaries for neural network interpretability
Researchers have introduced Expander Sparse Autoencoders (SAEs), a novel approach to interpret neural network activations by using parameter-efficient dictionaries. This method significantly reduces the number of learne…
-
New research quantifies axiom of choice's geometric impact on AI proof assistants
Researchers have developed a method to measure the geometric impact of the axiom of choice within mathematical proofs using Lean 4. By analyzing over 470,000 declarations in Mathlib, they identified a measurable geometr…