Idris, Agda, Proof Assistants, Type-Level Programming
Friday open line
arktimes.comยท4h
7 Practical Techniques to Reduce LLM Hallucinations
analyticsvidhya.comยท4d
Building a small DSL for 3D with python.
m0th.bearblog.devยท5d
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
LLVM Weekly - #141, Sep 12th 2016
llvmweekly.orgยท1d
LLVM Weekly - #162, Feb 6th 2017
llvmweekly.orgยท1d
Loading...Loading more...