Martin Rinard

collaborators

3 papers

cs.GT2026

Nash Equilibria with Derangement Degree Probabilities

Edan Orzech, Martin Rinard

We prove for every $n \geq 4$ the existence of an $n$ -player game in normal form with integer payoffs that has a unique Nash equilibrium, which is fully mixed. In the equilibrium, eac…

cs.GT2025

Nash Equilibria with Irradical Probabilities

Edan Orzech, Martin Rinard

We present for every $n \geq 4$ an $n$ -player game in normal form with payoffs in ${0, 1, 2}$ that has a unique, fully mixed, Nash equilibrium in which all the probability weights are…

cs.SE2025

Evaluating the Generalization Capabilities of Large Language Models on Code Reasoning

Rem Yang, Julian Dai, Nikos Vasilakis +1

We assess how the code reasoning abilities of large language models (LLMs) generalize to different kinds of programs. We present techniques for obtaining in- and out-of-distributio…