Idris, Agda, Proof Assistants, Type-Level Programming
The Magic is People
typesafety.netยท2d
TabText: Language-Based Representations of Tabular Health Data for Predictive Modelling
arxiv.orgยท23h
Robust Preference Optimization: Aligning Language Models with Noisy Preference Feedback
arxiv.orgยท23h
Loading...Loading more...