Idris, Agda, Proof Assistants, Type-Level Programming
v3.39.2
gitlab.exherbo.orgยท3h
Desbordante/desbordante-core v2.4.0
github.comยท1d
Robust Preference Optimization: Aligning Language Models with Noisy Preference Feedback
arxiv.orgยท2d
๐ง Heโs Building the Plumbing For AI to Use the Internet
kill-the-newsletter.comยท17h
Loading...Loading more...