Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚖️ Inference Rules
Type Systems, Judgments, Proof Trees, Formal Semantics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81183
posts in
1.04
s
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
14h
🧮
Theorem Provers
On
convexity
and efficiency in
semantic
systems
arxiv.org
·
14h
∀
Quantified Types
Building a Robust
Classifier
with
Stacked
Generalization
dev.to
·
1h
·
Discuss:
DEV
🌱
Minimal ML
My Most Important C++
Aha
!
Moments
...Ever
artima.com
·
2d
🔬
Nanopasses
🥇Top AI
Papers
of the Week
nlp.elvissaravia.com
·
2d
🌱
Minimal ML
A Simple
Method
for
Commonsense
Reasoning
dev.to
·
2d
·
Discuss:
DEV
🌱
Minimal ML
Math
Game Monday: What’s My
Rule
?
denisegaskins.com
·
1d
🐹
Minimal Go
Graph
algebra
en.wikipedia.org
·
15h
🔗
Category Theory
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
25m
·
Discuss:
Hacker News
🧩
SAT Solvers
Revisiting
Regular
Types
abseil.io
·
2d
🚀
Hindley-Milner+
Varparser
Reveals How LLM Log
Parsing
Benefits From Variable Data
quantumzeitgeist.com
·
1d
📊
Log Parsers
Snippets
With Regular
Expressions
irreal.org
·
3h
📚
Factor
A Very Good
Guess
gregmorris.co.uk
·
9h
🌱
Minimal ML
Your LLM-as-a-Judge is
Asking
the Wrong Question
veris.ai
·
4h
·
Discuss:
Hacker News
🧪
Parser Testing
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
2h
·
Discuss:
Hacker News
🪜
Recursive Descent
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
10h
🧪
Parser Testing
Some Open Problems in Probability that are Relevant to Applied Statistics (my talk this Wed
noon
at the Columbia statistics department student
seminar
)
statmodeling.stat.columbia.edu
·
5h
🔍
ML Language
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
Spec-driven
development doesn't work if you're too confused to write the
spec
-
deontologician
publish.obsidian.md
·
13h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🎮
Language Ergonomics
Automated Extraction and Formalization of
Presuppositions
in Philosophical Discourse via Neuro‑Symbolic Reasoning **Abstract** Presupposition—the
unstated
ba...
freederia.com
·
4d
🪜
Recursive Descent
Loading...
Loading more...
« Page 2
•
Page 4 »
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
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