Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification
Where to find Grokking in LLM Pretraining? Monitor Memorization-to-Generalization without Test
arxiv.org·3d
Loading...Loading more...
Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification