Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🤖 Automated Reasoning
Theorem Proving, SAT Solvers, Lean
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
7557
posts in
8.6
ms
An
Introduction
to
Lean
4
uv.es
·
4h
💻
Programming Languages
ToolMATH
: A Math Tool Benchmark for
Realistic
Long-Horizon Multi-Tool Reasoning
arxiv.org
·
2d
🤖
Agentic AI
Claude Skills and
Subagents
: Escaping the Prompt Engineering
Hamster
Wheel
towardsdatascience.com
·
1h
✍️
Prompt Engineering
Benchmarks
for AI-assisted
Formal
Verification
lesswrong.com
·
5d
🧮
Complexity Theory
TorchLean
:
Formalizing
Neural Networks in Lean
arxiv.org
·
1d
💬
LLMs
Accuracy
vs. Speed in Local LLMs: Finding Your
Sweet
Spot
grigio.org
·
6h
·
Discuss:
Hacker News
🎛️
Fine-tuning
A Coding Implementation to Build a
Hierarchical
Planner
AI Agent Using Open-Source LLMs with Tool Execution and Structured Multi-Agent Reasoning
marktechpost.com
·
13h
🤖
Agentic AI
Differential
Logic
• 13
inquiryintoinquiry.com
·
23h
∀
Mathematical Logic
Tripling
an LLM's
ARC-AGI-2
score with code evolution
imbue.com
·
19h
·
Discuss:
Hacker News
⚡
Code Generation
Learning about
automated
prompts
marcabraham.com
·
8h
✍️
Prompt Engineering
Data
Structures
and
Algorithms
Introduction
hellointerview.com
·
11h
⚙️
Algorithms
[
Python/Sage
]
Extended
Hidden Number Problem
leetarxiv.substack.com
·
1d
·
Discuss:
r/programming
🔐
Cryptography
Solving
hard
problems
marcg.net
·
1d
🧮
Complexity Theory
Artificial Intelligence and
Intelligent
Empowerment
thoughtworks.com
·
18h
🎯
AI Agents
Scaling ML Inference on Databricks: Liquid or
Partitioned
?
Salted
or Not?
towardsdatascience.com
·
3h
⚙️
MLOps
AI
Assisted
Coding
kirit.com
·
1d
·
Discuss:
Hacker News
⚡
Code Generation
Researchers double AI training speeds by taming long-tail
inefficiencies
in processor
utilization
notebookcheck.net
·
19h
🎛️
Fine-tuning
Mercury
2: The AI Model That Feels
Instant
analyticsvidhya.com
·
23h
🤖
Game AI
Pairing-based Functional
Commitments
for Circuits with
Shorter
Parameters
eprint.iacr.org
·
4d
⚡
Speculative Decoding
Instant
DB
clones
for AI agents
contextbits.com
·
19h
·
Discuss:
Hacker News
🎯
AI Agents
Loading...
Loading more...
Page 2 »
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