From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
arxiv.orgΒ·14h
πIsabelle
Flag this post
My Favorite Math Problem
βοΈLean Theorem
Flag this post
locally presentable (infinity,n)-category
ncatlab.orgΒ·3h
πCategory Theory
Flag this post
Introduction: Truthmaker Semantics: What, What For, and How?
π’Denotational Semantics
Flag this post
Graphs defined on algebras
cameroncounts.wordpress.comΒ·7h
πSpectral Graph Theory
Flag this post
Referential Transparency
π»Programming languages
Flag this post
Tradeoffs in System Security
systemsapproach.orgΒ·11h
πNetworkProtocols
Flag this post
Knowledge Reasoning Involving Four Types of Syllogisms
arxiv.orgΒ·14h
πCoq
Flag this post
Variants of Fitch Cheneyβs Trick
possiblywrong.wordpress.comΒ·2d
πΌCassette Hacking
Flag this post
Linkage
11011110.github.ioΒ·2d
πMathematical Art
Flag this post
Cleaning up messy dates in JSON
alexwlchan.netΒ·7h
β
Format Verification
Flag this post
Distinguished Lecture - hosted by UKRI CDT in Natural Language Processing
informatics.ed.ac.ukΒ·4h
π΄σ §σ ’σ ³σ £σ ΄σ ΏScottish Computing
Flag this post
Langβs theorem β Pt. I: the classical result
ayoucis.wordpress.comΒ·1d
πCategory Theory
Flag this post
Monday Morning Haskell: Serializing an HTTP Response & Running the Server
mmhaskell.comΒ·9h
πNetwork Protocols
Flag this post
Loading...Loading more...