Thursday, October 15, 2026

Automating Quadratic Unconstrained Binary Optimization (QUBO) Formulation Generation from Natural Language

arXiv:2609.10629v1 Announce Type: new Abstract: Quadratic Unconstrained Binary Optimization (QUBO) is a central formulation for combinatorial optimization and has gained increasing attention due to its compatibility with quantum, hybrid quantum-classical, and quantum-inspired solvers. However, translating natural-language problem descriptions into correct QUBO formulations remains difficult, requiring the identification of binary variables, constraints, objective functions, penalty terms,…

Probabilistic Focal Search: Accelerating Bounded-Suboptimal Search via Lower-Bound Advancement

arXiv:2609.10584v1 Announce Type: new Abstract: Bounded-suboptimal search seeks a solution within a factor $w$ of optimal while reducing search effort. Focal Search (FS) uses heuristic guidance within FOCAL, the frontier nodes eligible under the threshold $w f_{min}$, but its deterministic policy may leave $f_{min}$ unchanged for many expansions. We introduce Probabilistic Focal Search (PFS), which…

An Autonomous GeoAI Agent for Arctic Eco-Navigation

arXiv:2609.09374v1 Announce Type: new Abstract: Arctic maritime navigation is becoming increasingly important as changing sea-ice conditions expand seasonal accessibility while simultaneously introducing substantial operational, environmental, and community risks. Arctic route planning is inherently a multi-criteria problem: routes that improve vessel safety or efficiency may increase exposure to sea ice, sensitive ecosystems, or nearby communities. Existing…