Tao Li
2 papers · Latest:
Artificial Intelligence
Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solvers
LLMs should formalize, not optimize, combinatorial solvers, as attempts at search optimization lead to a "heuristic trap" and reduced correctness.
2605.12421
Exoplanets & Planetary ScienceJovian Zonal Winds Revealed from Cassini/VIMS Observations
New correlation-based method uses Cassini/VIMS data to map Jupiter's zonal winds and their vertical structure, revealing weaker shear than previously thought.
2605.05834
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.