LANTERN: Illuminating Hidden Mathematical Knowledge in Language Models
LANTERN uses model activations to surface OEIS relations, verifying 62 links including four claimed novel ones.
1 stories, newest first · one card per story
LANTERN uses model activations to surface OEIS relations, verifying 62 links including four claimed novel ones.
Today 1.1K readers · 1.5K views · 474 reads · all time 184K views