Model Theory, Proof Theory, Completeness, Decidability
โญ ggml-org whisper.cpp
waylonwalker.comยท1d
The 2R-Conjecture for the Hegselmann--Krause Model: A Proof in Expectation and New Directions
arxiv.orgยท4d
Family Alignment Problems
lesswrong.comยท19h
Topos Causal Models
arxiv.orgยท5d
After studying high-performing PMs for years, I noticed something strange:
threadreaderapp.comยท13h
HistoViT: Vision Transformer for Accurate and Scalable Histopathological Cancer Diagnosis
arxiv.orgยท30m
I took a break
waylonwalker.comยท1d
โญ grantjenks python-c2f
waylonwalker.comยท1d
Loading...Loading more...