Feeds to Scour
SubscribedAll
Scoured 122637 posts in 34.1 ms
Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs 聽馃МSMT Solvers
arxiv.org路5d
Simplex Algorithm 聽馃搳Dynamic Programming
en.wikipedia.org路2d路Hacker News
SmileyLlama: modifying large language models for directed chemical space exploration 聽馃挰Prompt Engineering
nature.com路23h
Large language model assisted hyper-heuristic evolutionary algorithm for groundwater level prediction 聽馃挰Prompt Engineering
nature.com路1d
ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis 聽馃幁Program Synthesis
arxiv.org路4d
Bounding Fixed Points of Non-Monotone Processes: Theory to Practice 聽馃搳Dynamic Programming
arxiv.org路1d
Traffic Scenario Orchestration from Language via Constraint Satisfaction 聽馃幁Program Synthesis
arxiv.org路1d
Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions 聽馃МSMT Solvers
arxiv.org路6d
Penalty-Based First-Order Methods for Bilevel Optimization with Minimax and Constrained Lower-Level Problems 聽馃搳Dynamic Programming
arxiv.org路1d
Relation Reasoning with LLMs in Expensive Optimization 聽馃挰Prompt Engineering
arxiv.org路6d
Confidence-Aware Alignment Makes Reasoning LLMs More Reliable 聽馃МSMT Solvers
arxiv.org路1d
Fast and Effective Redistricting Optimization via Composite-Move Tabu Search 聽馃攳Fractional Cascading
arxiv.org路1d
A Foundation Model for Zero-Shot Logical Rule Induction 聽馃尦Pratt Parsing
arxiv.org路5d
Extracting Search Trees from LLM Reasoning Traces Reveals Myopic Planning 聽馃挰Prompt Engineering
arxiv.org路1d
SMT-Based Active Learning of Weighted Automata 聽馃МSMT Solvers
arxiv.org路1d
Second-Order FALQON Parameter Transfer for the Max-Cut Problem on 3-Regular Graphs 聽馃攢Topological Sorting
arxiv.org路5d
Parameterized Local Search for Vertex Cover: When only the Search Radius is Crucial 聽馃拑Dancing Links
arxiv.org路1d
Back to the Beginning of Heuristic Design: Bridging Code and Knowledge with LLMs 聽馃挰Prompt Engineering
arxiv.org路4d
Sample Complexity of Stochastic Optimization with Integer Variables 聽馃搳Dynamic Programming
arxiv.org路1d
From Feasible to Practical: Pareto-Optimal Synthesis Planning 聽馃幁Program Synthesis
arxiv.org路1d

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