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
🎯 Constraint Solving
SAT Solvers, SMT, Optimization, Declarative Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
185119
posts in
10.2
ms
FGRPO
: Fine-grained reasoning preference optimization with iterative
stabilization
for mathematical reasoning in large language model
sciencedirect.com
·
1d
🧩
Constraint Solvers
ConstraintBench
:
Benchmarking
LLM Constraint Reasoning on Direct Optimization
arxiv.org
·
3d
🧩
Constraint Solvers
Ganak
: The Making of a
Versatile
, High Performance Model Counter
msoos.org
·
1d
·
Discuss:
Hacker News
🧩
Constraint Solvers
🚀
LeetCode
Top 150
dev.to
·
1d
·
Discuss:
DEV
🚀
Code Motion
How to
efficiently
learn the
necessary
tools and methods _around_ programming itself?
en.wikipedia.org
·
9h
·
Discuss:
r/learnprogramming
📐
Mathematical Computing
Complexity of Satisfiability in
Kochen-Specker
Partial Boolean Algebras
arxiv.org
·
23h
🧩
SAT Solvers
RL
Training For
Math
Reasoning
research.perplexity.ai
·
7h
🪜
Recursive Descent
Programming
in K
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
A two-stage
evolutionary
algorithm for uncertain constrained multi-objective problems with
interval-valued
objective
sciencedirect.com
·
1d
🔍
Fuzzy Matching
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
11h
📈
Monotonic Logic
Data
Structures
and
Algorithms
Introduction
hellointerview.com
·
3d
🪢
Rope Data Structures
Idempotency
in AI Tools: The Most Expensive Thing Teams
Forget
dzone.com
·
9h
🔄
Coroutines
manifold/manifold-deps-parent/manifold-sql
at master
github.com
·
10h
·
Discuss:
Hacker News
🗃️
Query Compilation
Detecting
and Editing Visual
Objects
with Gemini
medium.com
·
12h
🔍
Lens Libraries
Large induced
matchings
and minimal blocking sets using
parabolas
anuragbishnoi.wordpress.com
·
7h
🔀
SSA Construction
Fast
Autoscheduling
for Sparse ML
Frameworks
fredrikbk.com
·
2d
·
Discuss:
Hacker News
🚀
MLton
extended C*-
algebra
in
nLab
ncatlab.org
·
8h
🔗
Category Theory
Evaluating the
Logical
Reasoning
Ability
of ChatGPT and GPT-4
dev.to
·
1d
·
Discuss:
DEV
🎯
Finite Automata
Show HN:
StrategicConsult
– Game theory
augmented
AI for decision making
negotiatecash.com
·
4h
·
Discuss:
Hacker News
🧩
Constraint Solvers
PPO
→ DPO → GRPO→
Rubrics
byhand.ai
·
5h
🔬
programming language theory
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