Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Lean
📐 Lean
Specific
lean4, lean theorem prover, mathlib, formal proof
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18
posts in
7.1
ms
JamesC-xhecarpenxer/JC-Compute-Model: This is JC Compute a solution for digital trust.
🔀
CRDTs
Content type:
Code
github.com
·
6d
6 days ago
·
Hacker News
Actions for JamesC-xhecarpenxer/JC-Compute-Model: This is JC Compute a solution for digital trust.
Proof
System Timelines
λ
Type Theory
Content type:
Blog
klatz.co
·
1d
1 day ago
Actions for Proof System Timelines
Programming Languages Software Award
📐
Formal Methods
sigplan.org
·
11h
11 hours ago
Actions for Programming Languages Software Award
Formal
Foundations and
Proof-Carrying
Certificates for q-ary Covering Codes in
Lean
4
🔷
Lattice Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Formal Foundations and Proof-Carrying Certificates for q-ary Covering Codes in Lean 4
Less-relevant results
Rank Ceiling for Twiddle-Perturbation Faults on the Forward NTT
🤝
Paxos Consensus
eprint.iacr.org
·
3d
3 days ago
Actions for Rank Ceiling for Twiddle-Perturbation Faults on the Forward NTT
You don't need Copilot for code completion, try this instead
💻
Software Engineering
mistral.ai
·
2d
2 days ago
·
r/GithubCopilot
Actions for You don't need Copilot for code completion, try this instead
FOD#155: Continual
Learning
in LLMs: Why AI Models Need Sleep
💻
Software Engineering
turingpost.com
·
1d
1 day ago
Actions for FOD#155: Continual Learning in LLMs: Why AI Models Need Sleep
TiruArt/Pedigree-Polytopes-Lean4
: Lean 4 machine-verified
proof
that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
🐓
Coq
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
Evaluation of LLMs for Mathematical
Formalization
in
Lean
🧮
SMT Solvers
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Evaluation of LLMs for Mathematical Formalization in Lean
A
Proof
in Coq that Core Logic is not Paraconsistent
λ
Type Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for A Proof in Coq that Core Logic is not Paraconsistent
meleantonio forked meleantonio/autoform-bot from facebookresearch/autoform-bot
💻
Livecoding
Content type:
Code
github.com
·
5d
5 days ago
Actions for meleantonio forked meleantonio/autoform-bot from facebookresearch/autoform-bot
TheoremBench
: Evaluating LLMs on Theorem
Proving
in
Formal
Mathematics
🐓
Coq
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics
meleantonio starred facebookresearch/autoform-bot
💻
Livecoding
Content type:
Code
github.com
·
5d
5 days ago
Actions for meleantonio starred facebookresearch/autoform-bot
Optimizing the Cost-Quality Tradeoff of Agentic
Theorem
Provers
in
Lean
🐓
Coq
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean
Goedel-Architect: Streamlining
Formal
Theorem
Proving
with Blueprint Generation and Refinement
📐
Formal Methods
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement
Formal
verification of the S-two AIR
📐
Formal Methods
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Formal verification of the S-two AIR
Imbuing Large Language Models with Bidirectional Logic for Robust Chain Repair
🧮
SMT Solvers
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Imbuing Large Language Models with Bidirectional Logic for Robust Chain Repair
Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems
🧮
Constraint Solvers
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help