collaborators

5 papers

cs.LG2025

ElementaryNet: A Non-Strategic Neural Network for Predicting Human Behavior in Normal-Form Games

Greg d'Eon, Hala Murad, Kevin Leyton-Brown +1

Behavioral game theory models serve two purposes: yielding insights into how human decision-making works, and predicting how people would behave in novel strategic settings. A syst…

cs.GT2025

Near-Linear MIR Algorithms for Stochastically-Ordered Priors

Gal Bahar, Omer Ben-Porat, Kevin Leyton-Brown +1

With the rise of online applications, recommender systems (RSs) often encounter constraints in balancing exploration and exploitation. Such constraints arise when exploration is ca…

cs.GT2025

A Formal Separation Between Strategic and Nonstrategic Behavior

James R. Wright, Kevin Leyton-Brown

It is common to make a distinction between "strategic" behavior and other forms of intentional but "nonstrategic" behavior: typically, that strategic agents model other agents whil…

cs.GT2024

Understanding Iterative Combinatorial Auction Designs via Multi-Agent Reinforcement Learning

Greg d'Eon, Neil Newman, Kevin Leyton-Brown

Iterative combinatorial auctions are widely used in high stakes settings such as spectrum auctions. Such auctions can be hard to analyze, making it difficult for bidders to determi…

cs.AI2024

UNSAT Solver Synthesis via Monte Carlo Forest Search

Chris Cameron, Jason Hartford, Taylor Lundy +4

We introduce Monte Carlo Forest Search (MCFS), a class of reinforcement learning (RL) algorithms for learning policies in {tree MDPs}, for which policy execution involves traversin…