Idris, Agda, Proof Assistants, Type-Level Programming
MoonScript, a language that compiles to Lua
moonscript.orgยท16h
Doodling icons in a grid
sachachua.comยท2d
7 Practical Techniques to Reduce LLM Hallucinations
analyticsvidhya.comยท4d
The Three Faces of Generative AI
cmswire.comยท1d
Mira Muratiโs Thinking Machines launches first product, Tinker
siliconrepublic.comยท1d
ICL Optimized Fragility
arxiv.orgยท1d
Improving Cryptocurrency Pump-and-Dump Detection through Ensemble-Based Models and Synthetic Oversampling Techniques
arxiv.orgยท1d
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ยท2d
BioVERSE: Representation Alignment of Biomedical Modalities to LLMs for Multi-Modal Reasoning
arxiv.orgยท12h
Knowledge-Level Consistency Reinforcement Learning: Dual-Fact Alignment for Long-Form Factuality
arxiv.orgยท3d
LLVM Weekly - #371, February 8th 2021
llvmweekly.orgยท1d
Loading...Loading more...