Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.com·2d
⚔️Lean Theorem
Flag this post
A Vision for Future Low-Level Languages
🦀Rust Borrowing
Flag this post
Interpretability Framework for LLMs in Undergraduate Calculus
arxiv.org·3d
🏗️Constructive Logic
Flag this post
Empirical Partial Derivatives
📚Archive Mathematics
Flag this post
Typst's Math Mode Problem
🔗Lisp
Flag this post
We Programmers Need "Results"
📜Proof Carrying Code
Flag this post
Title: Algorithmic Discrepancy Theory
informatics.ed.ac.uk·2d
🎯Performance Proofs
Flag this post
Almost Integers, almost incredible
📐Interval Arithmetic
Flag this post
MIT 6.851: Advanced Data Structures (Spring'21)
💻CS
Flag this post
Corecursion
λLambda Encodings
Flag this post
A Proof of the Riemann Hypothesis
⚔️Lean Theorem
Flag this post
Specifications like temporal logic but with ordinary mathematics
yodaiken.com·17h
📄PostScript
Flag this post
LaTeX, LLMs and Boring Technology
eli.thegreenplace.net·10m
📝Concrete Syntax
Flag this post
STOC 2026 Experimental Program Announcement
thmatters.wordpress.com·12h
🧮Theoretical Computer Science
Flag this post
Researchers discover three factors that make AI agents significantly smarter
the-decoder.com·3h
🧠Intelligence Compression
Flag this post
AI and Intro Theory
🎯Performance Proofs
Flag this post
A major week
🔢Bitwise Algorithms
Flag this post
Half-Quadratic Quantization of large machine learning models
dropbox.tech·2d
📊Quantization
Flag this post
Loading...Loading more...