INDEX

Explanations

loop invariant and preconditions

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

 scolded

0.39

紛

0.37

อส

0.36

 adhesion

0.35

 dute

0.35

𝖔

0.34

 siding

0.34

 kerül

0.34

 rodzaju

0.34

нун

0.34

POSITIVE LOGITS

 invariant

1.06

invariant

0.98

 invariants

0.93

Invariant

0.88

 preconditions

0.84

 precondition

0.83

 invari

0.71

 post

0.64

 пост

0.62

post

0.58

Activations Density 0.001%