38 citations · 267 across the 48 of their papers we have counts for
7 papers · 1 filter
Correlated vs. Uncorrelated Randomness in Adversarial Congestion Team Games
Edan Orzech, Martin Rinard
We consider team zero-sum network congestion games with agents playing against interceptors over a graph . The agents aim to minimize their collective cost of sending tr…
Depth-bounded Epistemic Logic
Farid Arthaud, Martin Rinard
Epistemic logics model how agents reason about their beliefs and the beliefs of other agents. Existing logics typically assume the ability of agents to reason perfectly about propo…
Depth-bounded epistemic logic
Farid Arthaud, Martin Rinard
Epistemic logics model how agents reason about their beliefs and the beliefs of other agents. Existing logics typically assume the ability of agents to reason perfectly about propo…
Emergent Representations of Program Semantics in Language Models Trained on Programs
Charles Jin, Martin Rinard
We present evidence that language models (LMs) of code can learn to represent the formal semantics of programs, despite being trained only to perform next-token prediction. Specifi…
Decentralized Inference via Capability Type Structures in Cooperative Multi-Agent Systems
Charles Jin, Zhang-Wei Hong, Farid Arthaud +2
This work studies the problem of ad hoc teamwork in teams composed of agents with differing computational capabilities. We consider cooperative multi-player games in which each age…
Effective Neural Network Regularization With BinMask
Kai Jia, Martin Rinard
regularization of neural networks is a fundamental problem. In addition to regularizing models for better generalizability, regularization also applies to selecting inp…