INDEX

Explanations

mathematical theorems and proofs

New Auto-Interp

Configuration

Prompts (Dashboard)

238,145 prompts, 512 tokens each

Dataset (Dashboard)

lmsys + oasst1

Embeds

IFrame

Link

Not in Any Lists

No Comments

Negative Logits

 Snapchat

0.82

 Billie

0.82

 PUBG

0.79

 TikTok

0.79

 WooCommerce

0.79

 Tiktok

0.78

 mercado

0.77

 Instagram

0.76

 Mercado

0.76

 vaping

0.75

POSITIVE LOGITS

 theorems

1.96

 theorem

1.75

 Theorems

1.74

 mathematicians

1.70

 Theorem

1.70

Theorem

1.66

 algebraic

1.60

 mathematical

1.58

 proofs

1.55

theorem

1.48

Activations Density 0.377%