3 citations · 7 across the 10 of their papers we have counts for
Showing 2023Show all
3 papers · 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…
cs.AI2023★ 1 cited
AI planning in the imagination: High-level planning on learned abstract search spaces
Carlos Martin, Tuomas Sandholm
Search and planning algorithms have been a cornerstone of artificial intelligence since the field's inception. Giving reinforcement learning agents the ability to plan during execu…
cs.GT2023
ApproxED: Approximate exploitability descent via learned best responses
Carlos Martin, Tuomas Sandholm
There has been substantial progress on finding game-theoretic equilibria. Most of that work has focused on games with finite, discrete action spaces. However, many games involving…