Tomer Galanti Profile picture
my views are 30% my own and 70% my parents'
May 16 9 tweets 3 min read
1/ Many optimization problems are hard in theory.

But real OR and NP-hard instances often have exploitable structure.

Can an LLM agent discover that structure automatically and turn it into faster solver code? Image
Image
TL;DR:

1. PACE 2025 Dominating Set: valid on all private instances, ~100x faster than top solvers.

2. Synthetic task distributions: high-quality solvers, O(100)x faster.

3. The generated solvers improve the computation itself, yielding better runtime complexities. Image