activity
20192026
most citedAnalyzing and Improving Neural Networks by Generating Semantic Counterexamples through Differentiable Rendering

8 citations · 9 across the 8 of their papers we have counts for

collaborators

8 papers

cs.LG2026

Estimating the expected output of wide random MLPs more efficiently than sampling

Wilson Wu, Victor Lecomte, Michael Winer +3

By far the most common way to estimate an expected loss in machine learning is to draw samples, compute the loss on each one, and take the empirical average. However, sampling is n…

cs.LG2025

Bayesian Influence Functions for Hessian-Free Data Attribution

Philipp Alexander Kreer, Wilson Wu, Maxwell Adam +2

Classical influence functions face significant challenges when applied to deep neural networks, primarily due to non-invertible Hessians and high-dimensional parameter spaces. We p…

math.FA2025

C*-like modules and matrix -operator norms

Alessandra Calin, Ian Cartwright, Luke Coffman +5

We present a generalization of Hölder duality to algebra-valued pairings via -modules. Hölder duality states that if and are conjugate exponen…

cs.LG2024

Towards a unified and verified understanding of group-operation networks

Wilson Wu, Louis Jaburi, Jacob Drori +1

A recent line of work in mechanistic interpretability has focused on reverse-engineering the computation performed by neural networks trained on the binary operation of finite grou…

cs.LG2024★ 1 cited

Do language models plan ahead for future tokens?

Wilson Wu, John X. Morris, Lionel Levine

Do transformers "think ahead" during inference at a given position? It is known transformers prepare information in the hidden states of the forward pass at time step that is t…

cs.FL2023

Learning Deterministic Finite Automata from Confidence Oracles

Wilson Wu

We discuss the problem of learning a deterministic finite automaton (DFA) from a confidence oracle. That is, we are given access to an oracle with incomplete knowledge of some…

cs.CC2020

Distributed Verifiers in PCP

Nagaganesh Jaladanki, Wilson Wu

Traditional proof systems involve a resource-bounded verifier communicating with a powerful (but untrusted) prover. Distributed verifier proof systems are a new family of proof mod…

cs.LG2019★ 8 cited

Analyzing and Improving Neural Networks by Generating Semantic Counterexamples through Differentiable Rendering

Lakshya Jain, Varun Chandrasekaran, Uyeong Jang +6

Even as deep neural networks (DNNs) have achieved remarkable success on vision-related tasks, their performance is brittle to transformations in the input. Of particular interest a…