INDEX

Explanations

mathematical terms and symbols related to sequences and algebra in formal proofs

oai_token-act-pair · gpt-4o-mini Triggered by @bot

mathematical sequences and types

np_acts-logits-general · gemini-2.5-flash-lite

New Auto-Interp

Top Features by Cosine Similarity

Comparing With GEMMA-2-9B-IT @ 9-gemmascope-res-131k

Configuration

google/gemma-scope-9b-it-res/layer_9/width_131k/average_l0_121

Prompts (Dashboard)

24,576 prompts, 128 tokens each

Dataset (Dashboard)

monology/pile-uncopyrighted

Features

131,072

Data Type

float32

Hook Name

blocks.9.hook_resid_post

Hook Layer

Architecture

jumprelu

Context Size

1,024

Dataset

monology/pile-uncopyrighted

Activation Function

relu

Embeds

IFrame

Link

Not in Any Lists

No Comments

Negative Logits

 initComponents

-0.88

setVerticalGroup

-0.88

parsedMessage

-0.70

CodedInputStream

-0.63

 snippetHide

-0.63

SerializedSize

-0.62

SequentialGroup

-0.61

ConstraintMaker

-0.56

PerformLayout

-0.56

AntiForgeryToken

-0.56

POSITIVE LOGITS

 ujednoznacz

0.41

 scomp

0.38

ValueStyle

0.33

 protoimpl

0.32

setCursor

0.32

本

0.31

export

0.31

şiv

0.31

 tenue

0.30

Controllo

0.30

Activations Density 0.357%

mathematical terms and symbols related to sequences and algebra in formal proofs

mathematical sequences and types

No Comments

No Known Activations