Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·3w
🔢Number Theory
Flag this post
Problems and Consequences of Bilateral Notions of (Meta-)Derivability
arxiv.org·2w
📐Mathematics
Flag this post
Most proofs are trivial
lawrencecpaulson.github.io·3w
🔢Number Theory
Flag this post
Nonmonotonic Logic
cambridge.org·1w·
Discuss: Hacker News
🔢Number Theory
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🔢Number Theory
Flag this post
r/mathematics
reddit.com·1d·
Discuss: r/mathematics
🔢Number Theory
Flag this post
LLMs for Nominative Determinism
yuri.is·3w·
Discuss: Hacker News
📐Mathematics
Flag this post
Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.com·2w·
Discuss: Lobsters, Hacker News
📐Mathematics
Flag this post
News for October 2025
ptreview.sublinear.info·2d
🔢Number Theory
Flag this post
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·3w
🔢Number Theory
Flag this post
Six Simple Sudoku Solvers IV: Haskell
blog.veitheller.de·3w
⚙️Compilers
Flag this post
Conjecturing: An Overlooked Step in Formal Mathematical Reasoning
arxiv.org·3w·
Discuss: Hacker News
📐Mathematics
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·6d
⚙️Compilers
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·6d
🌐WebAssembly
Flag this post
computational trilogy in nLab
ncatlab.org·2w
⚙️Compilers
Flag this post
Another way of doing big O notation
alok.github.io·4d
🔢Number Theory
Flag this post
SATisfying Solutions to Difficult Problems!
vaibhavsagar.com·2w·
Discuss: Lobsters, Hacker News, r/programming
🔢Number Theory
Flag this post
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·3w
⚙️Compilers
Flag this post
Interpretability Framework for LLMs in Undergraduate Calculus
arxiv.org·2w
⚙️Compilers
Flag this post
Emily Riehl is rewriting the foundations of higher category theory (2021)
quantamagazine.org·2w·
Discuss: Hacker News
📐Mathematics
Flag this post