Details are in the paper: arxiv.org/abs/2410.13032
We also developed a cool package for circuit testing: github.com/blei-lab/cir...
Find us at the NeurIPS Thursday poster session or at the bestest dim sum restaurant in Vancouver!
@claudiashi.bsky.social
machine learning, causal inference, science of llm, ai safety, phd student @bleilab, keen bean https://www.claudiashi.com/
Details are in the paper: arxiv.org/abs/2410.13032
We also developed a cool package for circuit testing: github.com/blei-lab/cir...
Find us at the NeurIPS Thursday poster session or at the bestest dim sum restaurant in Vancouver!
Our tests reveal gaps between the idealized version of the circuit representation and what we find in practice. By formalizing desirable properties, we hope to refine the circuit hypothesis, addressing questions such as what is the "optimal" level of granularity
10.12.2024 18:36 โ ๐ 2 ๐ 0 ๐ฌ 1 ๐ 0Findings: Synthetic circuits align with all the ideal criteria. Semi-synthetic circuits pass some of the idealized tests. Circuits in the wild pass none of the idealized tests
10.12.2024 18:36 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0
We apply our tests to six benchmark circuits from the literature: two synthetic circuits, two semi-synthetic circuits (circuits discovered on toy transformer models), and two circuits in the wild (circuits discovered on transformer models such as GPT-2).
We compare the candidate circuit against random circuits drawn from a reference distribution. We vary the reference distribution to change the hardness of the test.
10.12.2024 18:36 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0The idealized tests are stringent, so we developed two flexible tests that quantify:
Sufficiency Test: How faithful is faithful enough?
Partial Necessity Test: How much knockdown effect is significant?
Independence Test: Removing the circuit renders the model output independent of that of the circuit
Minimality Test: All edges in the circuit are necessary for the task
We translate these properties into three idealized tests:
Equivalence Test: The circuit and the original model have the same chance of outperforming each other
We formalize three criteria of an idealized circuit and develop hypothesis tests for them:
1๏ธโฃ Mechanism Preservation: The circuit should preserve the model's behavior
2๏ธโฃ Localization: Removing the circuit disables the task
3๏ธโฃ Minimality: The circuit contains no redundant parts
The circuit hypothesis proposes that LLM capabilities emerge from small subnetworks within the model. But how can we actually test this? ๐ค
joint work with @velezbeltran.bsky.social @maggiemakar.bsky.social @anndvision.bsky.social @bleilab.bsky.social Adria @far.ai Achille and Caro
hiiiii
04.12.2024 20:31 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0I'd love to be added to the starter pack! I work on causal inference.
04.12.2024 16:28 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0Hi Rob, I'd love to added to the starter pack.
04.12.2024 16:27 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0I'd love to be added! i am bayesian adjacent!
04.12.2024 16:25 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0i'd love to be added!
04.12.2024 16:24 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Hi! I'd love to be added to the starter pack!
04.12.2024 16:17 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Hi! could you also add me to the mech interp list? I do mech interp research.
04.12.2024 16:16 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0@datatherapist.bsky.social i'd love to be added to the new one! thank you
04.12.2024 16:13 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0