Type Theory Resources, Programming Language Theory, Formal Systems, Beginner Guides
AI, artisans and brainrot
blog.kronis.dev·1d
Where to find Grokking in LLM Pretraining? Monitor Memorization-to-Generalization without Test
arxiv.org·23h
Loading...Loading more...