Feeds to Scour
SubscribedAll
Scoured 26557 posts in 16.7 ms
Why not use Lean?  ⚔️Lean Theorem
lawrencecpaulson.github.io·2d·Hacker News
Learning to Reason with Insight for Informal Theorem Proving  🧮Theorem Proving
arxiv.org·5d
Mechanistic interpretability and lean  ⚔️Lean Tactics
alok.github.io·4d
Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour  ⚔️Lean Tactics
dsyme.net·5d·Hacker News
Signal Shot: verify the Signal protocol and its Rust implementation using Lean  ⚔️Lean Tactics
leodemoura.github.io·5d·Lobsters, Hacker News
LemmaScript: A Verification Toolchain for TypeScript via Dafny  ✅Format Verification
midspiral.com·3d·Lobsters, Hacker News
Verified Deep Learning with Lean 4  ⚔️Lean Tactics
brettkoonce.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
From Fuzzy to Formal: Scaling Hospital Quality Improvement with AI  🧠Intelligence Compression
arxiv.org·2d
Formalizing Gr\"obner Basis Theory in Lean  ⚔️Lean Theorem
arxiv.org·4d
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
TensorRocq: Enabling diagrammatic reasoning in Rocq  🧮Datalog Systems
arxiv.org·4d
Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees  📐Binary Grammars
arxiv.org·3d
Probabilistic Programs of Thought  🔲Cellular Automata
arxiv.org·4d
Disentangling Mathematical Reasoning in LLMs: A Methodological Investigation of Internal Mechanisms  ✓Automated Theorem Proving
arxiv.org·5d
Formalizing Wu-Ritt Method in Lean 4  ⚔️Lean Tactics
arxiv.org·4d
Less Is More: Cognitive Load and the Single-Prompt Ceiling in LLM Mathematical Reasoning  🎯Interactive Provers
arxiv.org·3d
ErrorRadar: Benchmarking Complex Mathematical Reasoning of Multimodal Large Language Models Via Error Detection  🔗Parser Combinators
arxiv.org·4d
Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1  🎯Performance Proofs
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