Idris, Agda, Proof Assistants, Type-Level Programming
Status Week 39
blogs.gnome.orgยท7h
Anchored Supervised Fine-Tuning
arxiv.orgยท21h
The QCET Taxonomy of Standard Quality Criterion Names and Definitions for the Evaluation of NLP Systems
arxiv.orgยท1d
Localizing Task Recognition and Task Learning in In-Context Learning via Attention Head Analysis
arxiv.orgยท21h
Racer progress update (+ some vim support!)
phildawes.netยท3h
Loading...Loading more...