Eldan Cohen

Identifiers

No identifiers captured yet.

Papers (2)

1. Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solvers cs.AI · 2026 · author #7
2. CP-SynC: Multi-Agent Zero-Shot Constraint Modeling in MiniZinc with Synthesized Checkers cs.AI · 2026 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Yuliang Song 2 shared papers
• Dan Roth 1 shared papers
• Deepak Ramachandran 1 shared papers
• Haoyu Wang 1 shared papers
• Tao Li 1 shared papers
• Yaqing Wang 1 shared papers
• Zhiwei Deng 1 shared papers