Idris, Agda, Proof Assistants, Type-Level Programming
The Magic is People
typesafety.netยท2d
How I Overcame Analysis Paralysis with Cognitive Theory from the 70s
hackernoon.comยท1d
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ยท17h
TabText: Language-Based Representations of Tabular Health Data for Predictive Modelling
arxiv.orgยท17h
Robust Preference Optimization: Aligning Language Models with Noisy Preference Feedback
arxiv.orgยท17h
Loading...Loading more...