Geeks
google-deepmind
/
debate
Formalizing stochastic doubly-efficient debate
Primary Language
Lean
Apache License 2.0
Apache-2.0
debate GitHub
Markdown
Readme
0
Issues
88
Stargazers
9
Watchers
Watchers
akfidjeland
DeepMind
alreadydone
Shenzhen / Heidelberg
eemailme
folded
London, United Kingdom
jonahbc
mtthss
London, UK
psilospore
Acima
RobertStanforth
saran-t
@google-deepmind