INDEX

Explanations

elements related to mathematical proofs and formal arguments

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

New Auto-Interp

Top Features by Cosine Similarity

Comparing With GEMMA-2-2B @ 25-gemmascope-res-16k

Configuration

google/gemma-scope-2b-pt-res/layer_25/width_16k/average_l0_116

Prompts (Dashboard)

36,864 prompts, 128 tokens each

Dataset (Dashboard)

monology/pile-uncopyrighted

Features

16,384

Data Type

float32

Hook Name

blocks.25.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

findpost

-0.79

########.

-0.68

 createSprite

-0.66

 незавершена

-0.64

CloseOperation

-0.62

</caption>

-0.60

 snippetHide

-0.60

Diweddarwch

-0.59

 ExecuteAsync

-0.58

λευτα

-0.56

POSITIVE LOGITS

Proof

0.93

 Proof

0.89

 PROOF

0.65

PROOF

0.64

 proof

0.63

proof

0.61

 Proofs

0.60

 Conversely

0.60

Conversely

0.59

QED

0.57

Activations Density 0.860%

elements related to mathematical proofs and formal arguments

No Comments

No Known Activations