Google DeepMind
Results
119
repositories owned by
Google DeepMind
cartesian-frames
17
Stars
2
Forks
Watchers
A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
concordia
552
Stars
116
Forks
Watchers
A library for generative social simulation
debate
82
Stars
11
Forks
Watchers
Formalizing stochastic doubly-efficient debate
eigengame
24
Stars
0
Forks
Watchers
Open source code for EigenGame.