Idris, Agda, Proof Assistants, Type-Level Programming
Friday open line
arktimes.comยท7h
Doodling icons in a grid
sachachua.comยท2d
Huawei's new open source technique shrinks LLMs to make them run on less powerful, less expensive hardware
venturebeat.comยท7h
ICL Optimized Fragility
arxiv.orgยท2d
Improving Cryptocurrency Pump-and-Dump Detection through Ensemble-Based Models and Synthetic Oversampling Techniques
arxiv.orgยท2d
Thinking Machines' first official product is here: meet Tinker, an API for distributed LLM fine-tuning
venturebeat.comยท2d
Seeing Before Reasoning: A Unified Framework for Generalizable and Explainable Fake Image Detection
arxiv.orgยท3d
Knowledge-Level Consistency Reinforcement Learning: Dual-Fact Alignment for Long-Form Factuality
arxiv.orgยท4d
LLVM Weekly - #317, January 27th 2020
llvmweekly.orgยท2d
LLVM Weekly - #393, July 12th 2021
llvmweekly.orgยท2d
LLVM Weekly - #371, February 8th 2021
llvmweekly.orgยท2d
Loading...Loading more...