arXiv ScienceSearch

arXiv subjects

Hugo Barbalho

Publications and source records attributed to Hugo Barbalho.

3 recordsLinked to original sources

OptiMind: Teaching LLMs to Think Like Optimization Experts

Mathematical programming -- the task of expressing operations and decision-making problems in precise mathematical language -- is fundamental across domains, yet remains a skill-intensive process requiring operations research expertise. Recent advances in large language models for complex reasoning have spurred interest in automating this task, translating natural language into executable optimization models. Current approaches, however, achieve limited accuracy, hindered by scarce and noisy training data without leveraging domain knowledge. In this work, we systematically integrate optimization expertise to improve formulation accuracy for mixed-integer linear programming, a key family of mathematical programs. Our OptiMind framework leverages semi-automated, class-based error analysis to guide both training and inference, explicitly preventing common mistakes within each optimization class. Our resulting fine-tuned LLM significantly improves formulation accuracy by 20.7% across multiple optimization benchmarks, with consistent gains under test-time scaling methods such as self-consistency and multi-turn feedback, enabling further progress toward robust LLM-assisted optimization formulation.

cs.LG

Hindsight Learning for MDPs with Exogenous Inputs

Many resource management problems require sequential decision-making under uncertainty, where the only uncertainty affecting the decision outcomes are exogenous variables outside the control of the decision-maker. We model these problems as Exo-MDPs (Markov Decision Processes with Exogenous Inputs) and design a class of data-efficient algorithms for them termed Hindsight Learning (HL). Our HL algorithms achieve data efficiency by leveraging a key insight: having samples of the exogenous variables, past decisions can be revisited in hindsight to infer counterfactual consequences that can accelerate policy improvements. We compare HL against classic baselines in the multi-secretary and airline revenue management problems. We also scale our algorithms to a business-critical cloud resource management problem -- allocating Virtual Machines (VMs) to physical machines, and simulate their performance with real datasets from a large public cloud provider. We find that HL algorithms outperform domain-specific heuristics, as well as state-of-the-art reinforcement learning methods.

cs.LG

High accuracy capillary network representation in digital rock reveals permeability scaling functions

Permeability is the key parameter for quantifying fluid flow in porous rocks. Knowledge of the spatial distribution of the connected pore space allows, in principle, to predict the permeability of a rock sample. However, limitations in feature resolution and approximations at microscopic scales have so far precluded systematic upscaling of permeability predictions. Here, we report fluid flow simulations in capillary network representations designed to overcome such limitations. Performed with an unprecedented level of accuracy in geometric approximation at microscale, the pore scale flow simulations predict experimental permeabilities measured at lab scale in the same rock sample without the need for calibration or correction. By applying the method to a broader class of representative geological samples, with permeability values covering two orders of magnitude, we obtain scaling relationships that reveal how mesoscale permeability emerges from microscopic capillary diameter and fluid velocity distributions.

physics.geo-ph