two-dimensional category
ncatlab.orgยท1d
๐Category Theory
Flag this post
My Favorite Math Problem
๐ฒProof Irrelevance
Flag this post
From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
arxiv.orgยท10h
๐Isabelle
Flag this post
Graphs defined on algebras
cameroncounts.wordpress.comยท3h
๐Spectral Graph Theory
Flag this post
Counting past infinity
youtube.comยท1d
๐ผTape Algebra
Flag this post
Distilling the Deep: A 3-Line AI Reasoning Challenge with 6 Hard Problems
๐งฎKolmogorov Complexity
Flag this post
Linkage
11011110.github.ioยท1d
๐Mathematical Art
Flag this post
Conquering Complexity: Parallel Proof Search for Superhuman AI by Arvind Sundararajan
๐ฏPerformance Proofs
Flag this post
Christoph Breitkopf: Interval Tables in Common Lisp
bokesan.blogspot.comยท3d
๐Lisp
Flag this post
The elementary theory of surreal arithmetic is bi-interpretable with set theory, Notre Dame Logic Seminar, November 2025
jdh.hamkins.orgยท4d
๐งฌFunctional Programming
Flag this post
Updated paper: Moduli spaces of semiorthogonal decompositions in families
pbelmans.ncag.infoยท15h
๐งฎAlgebraic Archives
Flag this post
Langโs theorem โ Pt. I: the classical result
ayoucis.wordpress.comยท1d
๐Category Theory
Flag this post
A treap week
๐จGraph Coloring
Flag this post
7 Steps to Build a Simple RAG System from Scratch
kdnuggets.comยท19m
๐Concrete Syntax
Flag this post
Loading...Loading more...