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
Robust Preference Optimization: Aligning Language Models with Noisy Preference Feedback
arxiv.orgยท19h
ChessArena: A Chess Testbed for Evaluating Strategic Reasoning Capabilities of Large Language Models
arxiv.orgยท19h
Loading...Loading more...