INDEX

Explanations

mathematical concepts and structures in formal proofs

oai_token-act-pair · gpt-4o-mini

New Auto-Interp

Configuration

chanind/gemma-2-2b-batch-topk-matryoshka-saes-w-32k-l0-40/standard/blocks.12.hook_resid_post

Prompts (Dashboard)

24,576 prompts, 128 tokens each

Dataset (Dashboard)

monology/pile-uncopyrighted

Features

32,768

Data Type

float32

Hook Name

blocks.12.hook_resid_post

Architecture

jumprelu

Context Size

1,024

Dataset

chanind/pile-uncopyrighted-gemma-1024-abbrv-1B

Embeds

IFrame

Link

Not in Any Lists

No Comments

Negative Logits

 Wiring

-0.58

TagMode

-0.57

RequestOptions

-0.56

 elek

-0.54

Drawn

-0.54

RunWith

-0.54

cipated

-0.54

óri

-0.52

 приш

-0.52

出版年

-0.52

POSITIVE LOGITS

__':

0.75

__":

0.74

UseVisualStyle

0.67

 uſed

0.66

 becauſe

0.64

 Jefus

0.62

Efq

0.62

 Cæsar

0.61

 Paramètres

0.60

 Reſ

0.59

Activations Density 0.123%

mathematical concepts and structures in formal proofs

No Comments

No Known Activations