Idris, Agda, Proof Assistants, Type-Level Programming
The Magic is People
typesafety.net·2d
Anchored Supervised Fine-Tuning
arxiv.org·12h
How I Overcame Analysis Paralysis with Cognitive Theory from the 70s
hackernoon.com·1d
HiViS: Hiding Visual Tokens from the Drafter for Speculative Decoding in Vision-Language Models
arxiv.org·12h
Issue 491
haskellweekly.news·5d
Localizing Task Recognition and Task Learning in In-Context Learning via Attention Head Analysis
arxiv.org·12h
Loading...Loading more...