Feeds to Scour
SubscribedAll
Scoured 26487 posts in 20.4 ms
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4  ⚔️Lean Tactics
arxiv.org·5d
Working with Claude Code: A Field Manual  ⚔️Lean Tactics
blog.iannelson.uk·19h·Hacker News
Cursor for LibreOffice, Week 4-6  🌳Incremental Parsing
keithcu.com·2d·Hacker News
Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour  ⚔️Lean Tactics
dsyme.net·5d·Hacker News
Spotting Specification Gaps with Small Proof-Oriented Tests  ⚔️Lean Tactics
risemsr.github.io·4d·Hacker News
Finding duplicated code with tools from your CS course  λLambda Encodings
purplesyringa.moe·3d·Hacker News
Token Maxer, Eventually  ⚔️Lean Tactics
brunokiafuka.substack.com·5d·Substack
DryRUN: On the Role of Public Tests in LLM-Driven Code Generation  ⚔️Lean Tactics
arxiv.org·1d
Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline  👑Coq Tactics
arxiv.org·3d
On Reasoning-Centric LLM-based Automated Theorem Proving  🧮Theorem Proving
arxiv.org·3d
CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation  🏗️Compiler Archaeology
arxiv.org·3d
Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs  🎯Performance Proofs
arxiv.org·3d
Learning to Reason with Insight for Informal Theorem Proving  🧮Theorem Proving
arxiv.org·5d
A taxonomy for controlling (in)consistency  🤝Paxos Consensus
arxiv.org·3d
Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints  👑Isabelle
arxiv.org·5d
LinuxArena: A Control Setting for AI Agents in Live Production Software Environments  🧮Z3 Solver
arxiv.org·5d
Automatic constraint satisfaction problem  🧮Constraint SMT
arxiv.org·3d
Advancing BDD Software Testing: Dynamic Scenario Re-Usability and Step Auto-Comp  🧪Property-Based Testing
arxiv.org·4d·Hacker News
Crash-free Deductive Verifiers  🛡️Proof-Carrying Archives
arxiv.org·3d
False Security Confidence in Benign LLM Code Generation  🧪CBOR Fuzzing
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