Communications of the ACM

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

A marriage of formal methods and LLMs seeks to harness the strengths of both.
Mirage News

Helping AI Agents Search To Get Best Results Out Of Large Language Models

Whether you're a scientist brainstorming research ideas or a CEO hoping to automate a task in human resources or finance, you'll find that artificial ...
IEEE

Solving Stochastic Orienteering Problems with Chance Constraints Using a GNN Powered Monte Carlo Tree Search

Abstract: Leveraging the power of a graph neural network (GNN) with message passing, we present a Monte Carlo Tree Search (MCTS) method to solve stochastic orienteering problems with chance ...
IEEE

GNN-Heatmap Augmented Monte Carlo Tree Search for Cloud Workflow Scheduling

Abstract: This paper addresses the NP-hard cloud workflow scheduling problem by proposing a novel method that integrates Graph Neural Networks with Monte Carlo Tree Search (MCTS). Cloud workflows, ...