Idris, Agda, Proof Assistants, Type-Level Programming
Localizing Task Recognition and Task Learning in In-Context Learning via Attention Head Analysis
arxiv.orgยท1d
Text-Based Approaches to Item Alignment to Content Standards in Large-Scale Reading & Writing Tests
arxiv.orgยท1h
Diagnose, Localize, Align: A Full-Stack Framework for Reliable LLM Multi-Agent Systems under Instruction Conflicts
arxiv.orgยท1d
Racer progress update (+ some vim support!)
phildawes.netยท7h
TabText: Language-Based Representations of Tabular Health Data for Predictive Modelling
arxiv.orgยท1d
Loading...Loading more...