INDEX

Explanations

structure and elements of mathematical proofs and theorems

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

New Auto-Interp

Top Features by Cosine Similarity

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

Configuration

google/gemma-scope-2b-pt-res/layer_23/width_16k/average_l0_75

Prompts (Dashboard)

36,864 prompts, 128 tokens each

Dataset (Dashboard)

monology/pile-uncopyrighted

Features

16,384

Data Type

float32

Hook Name

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

URLException

-0.68

 незавершена

-0.62

mybatisplus

-0.62

expandindo

-0.56

 Roskov

-0.56

TintMode

-0.55

 Walkover

-0.53

sizeCache

-0.52

 createSprite

-0.51

 Audiodateien

-0.50

POSITIVE LOGITS

Proof

1.10

 Proof

1.09

 proof

1.01

 Theorem

0.98

proof

0.97

 Lemma

0.95

PROOF

0.91

 lemma

0.90

Theorem

0.89

 Proposition

0.89

Activations Density 1.031%

structure and elements of mathematical proofs and theorems

No Comments

No Known Activations