Feeds to Scour
SubscribedAll
Scoured 186660 posts in 28.7 ms
A general optimization solver based on OP-to-MaxSAT reduction  ∀Lean4
arxiv.org·3d
std::search (3) Linux Manual Page  λFunctional Programming
systutorials.com·14h
Optimize Anything with LLMs  🤖AI Coding Tools
gepa-ai.github.io·6d
Approaching the Conway-99 problem using SAT solvers  ∀Lean4
arxiv.org·2d
OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving  ∀Lean4
arxiv.org·2d
An Effective Orchestral Approach to Satisfiability Modulo Prime Fields  ∀Lean4
arxiv.org·21h
MappingEvolve: LLM-Driven Code Evolution for Technology Mapping  ⚙️LLVM
arxiv.org·21h
The Polynomial Hierarchy and $\omega$-categorical CSPs  λFunctional Programming
arxiv.org·2d
Finite Functional Programming  λFunctional Programming
arxiv.org·21h
Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning  🤖AI Inference
arxiv.org·2d
Boolean PCSPs through the lens of Fourier Analysis  🔢Homomorphic Encryption
arxiv.org·3d
Scalable First-Order Interior Point Trust Region Algorithms for Linearly Constrained Optimization  ⚡Incremental Computation
arxiv.org·2d
OptiVerse: A Comprehensive Benchmark towards Optimization Problem Solving  ⚡Incremental Computation
arxiv.org·6d
Characterizing Streaming Decidability of CSPs via Non-Redundancy  ∀Lean4
arxiv.org·6d
The Chase in Lean -- Crafting a Formal Library for Existential Rule Research  ∀Lean4
arxiv.org·3d
Common Foundations for Recursive Shape Languages  λFunctional Programming
arxiv.org·6d
SOC-ICNN: From Polyhedral to Conic Geometry for Learning Convex Surrogate Functions  🔥PyTorch
arxiv.org·3d
Kernelization Bounds for Constrained Coloring  🎨Shader Programming
arxiv.org·6d
MolClaw: An Autonomous Agent with Hierarchical Skills for Drug Molecule Evaluation, Screening, and Optimization  🏗️AI Infrastructure
arxiv.org·3d
Language as a Latent Variable for Reasoning Optimization  🤖AI Inference
arxiv.org·6d

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