Feeds to Scour
SubscribedAll
Scoured 26509 posts in 20.4 ms
On Reasoning-Centric LLM-based Automated Theorem Proving  ✓Automated Theorem Proving
arxiv.org·3d
Why not use Lean?  🔬Lean
lawrencecpaulson.github.io·2d·Hacker News
AI and Teaching  🧭Content Discovery
eiexchange.com·2d·Hacker News
Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour  ⚔️Lean Tactics
dsyme.net·5d·Hacker News
Mechanistic interpretability and lean  ⚔️Lean Tactics
alok.github.io·3d
LemmaScript: A Verification Toolchain for TypeScript via Dafny  ✅Format Verification
midspiral.com·3d·Lobsters, Hacker News
Signal Shot: verify the Signal protocol and its Rust implementation using Lean  ⚔️Lean Tactics
leodemoura.github.io·5d·Lobsters, Hacker News
Verus is a tool for verifying the correctness of code written in Rust  🦀Rust Verification
verus-lang.github.io·4d·Hacker News
A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect  👑Coq Tactics
arxiv.org·1d
Common Foundations for Recursive Shape Languages  🔤Type Theory
arxiv.org·1d
Is Four Enough? Automated Reasoning Approaches and Dual Bounds for Condorcet Dimensions of Elections  🧮Kolmogorov Bounds
arxiv.org·2d
From Fuzzy to Formal: Scaling Hospital Quality Improvement with AI  🧠Intelligence Compression
arxiv.org·2d
Learning to Reason with Insight for Informal Theorem Proving  ✓Automated Theorem Proving
arxiv.org·5d
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4  ⚔️Lean Tactics
arxiv.org·5d
Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs  🎯Performance Proofs
arxiv.org·3d
Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints  👑Isabelle
arxiv.org·5d
TensorRocq: Enabling diagrammatic reasoning in Rocq  🧮Datalog Systems
arxiv.org·4d
From Finite Enumeration to Universal Proof: Ring-Theoretic Foundations for PQC Hardware Masking Verification  ⚡Circuit Verification
arxiv.org·3d
Formalizing Gr\"obner Basis Theory in Lean  🔬Lean
arxiv.org·4d
Architecture Matters More Than Scale: A Comparative Study of Retrieval and Memory Augmentation for Financial QA Under SME Compute Constraints  🦀Rusty Databases
arxiv.org·4d

No more posts from matmat's subscribed feeds.

Scour all 24370 feedsLearn more about Feeds

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help