activity
20172025
most citedFinding mixed-strategy equilibria of continuous-action games without gradients using randomized policy networks

3 citations · 7 across the 10 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 1 filter

cs.CR2023

State of the Art Report: Verified Computation

Jim Woodcock, Mikkel Schmidt Andersen, Diego F. Aranha +8

This report describes the state of the art in verifiable computation. The problem being solved is the following: The Verifiable Computation Problem (Verifiable Computing Problem) S…