activity
20232026
most citedContrasting local and global modeling with machine learning and satellite data: A case study estimating tree canopy height in African savannas

2 citations · 7 across the 35 of their papers we have counts for

collaborators
Showing cs.AIShow all

14 papers · 1 filter

cs.AI2026

Generating Robust Portfolios of Optimization Models using Large Language Models

Eleni Straitouri, Cheol Woo Kim, Milind Tambe

Mathematical optimization is a powerful tool for structured decision-making across domains such as resource allocation and planning. Formulating optimization models faithful to rea…

cs.AI2026

Incentive-Aware AI Safety via Strategic Resource Allocation: A Stackelberg Security Games Perspective

Cheol Woo Kim, Davin Choo, Tzeh Yuan Neoh +1

As AI systems grow more capable and autonomous, ensuring their safety and reliability requires not only model-level alignment but also strategic oversight of the humans and institu…

cs.AI2026

LLM Active Alignment: A Nash Equilibrium Perspective

Tonghan Wang, Yuqi Pan, Xinyi Yang +3

We develop a game-theoretic framework for predicting and steering the behavior of populations of large language models (LLMs) through Nash equilibrium (NE) analysis. To avoid the i…

cs.AI2026

Health Facility Location in Ethiopia: Leveraging LLMs to Integrate Expert Knowledge into Algorithmic Planning

Yohai Trabelsi, Guojun Xiong, Fentabil Getnet +2

Ethiopia's Ministry of Health is upgrading health posts to improve access to essential services, particularly in rural areas. Limited resources, however, require careful prioritiza…

cs.AI2025

VORTEX: Aligning Task Utility and Human Preferences through LLM-Guided Reward Shaping

Guojun Xiong, Milind Tambe

In social impact optimization, AI decision systems often rely on solvers that optimize well-calibrated mathematical objectives. However, these solvers cannot directly accommodate e…

cs.AI2025

Beyond Listenership: AI-Predicted Interventions Drive Improvements in Maternal Health Behaviours

Arpan Dasgupta, Sarvesh Gharat, Neha Madhiwalla +3

Automated voice calls with health information are a proven method for disseminating maternal and child health information among beneficiaries and are deployed in several programs a…