PulseAugur
EN
LIVE 12:58:29
ENTITY OR-Tools

OR-Tools

PulseAugur coverage of OR-Tools — every cluster mentioning OR-Tools across labs, papers, and developer communities, ranked by signal.

Show in brief
Total · 30d
0
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
1 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 1 TOTAL
  1. TOOL · CL_29367 ·

    LLM-generated solvers fall into 'heuristic trap' on combinatorial problems

    Researchers have developed a new benchmark, CP-SynC-XL, comprising 100 combinatorial problems to evaluate how Large Language Models (LLMs) synthesize executable solvers. Their findings indicate that using LLMs to formal…