62 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Singapore University of Technology and DesignSG2 papers
- Aarhus UniversityDK1 paper
- Columbia UniversityUS1 paper
- Dalle Molle Institute for Artificial Intelligence ResearchCH1 paper
- Florida State UniversityUS1 paper
- Harvard UniversityUS1 paper
- iTrustSG1 paper
- London School of Economics and Political ScienceGB1 paper
- Microsoft Research New York City (United States)1 paper
- National Museum of EthnologyNL1 paper
- National University of SingaporeSG1 paper
- Ruhr University BochumDE1 paper
6 papers
Space Explanations of Neural Network Classification
Faezeh Labbaf, Tomáš Kolárik, Martin Blicha +3
We present a novel logic-based concept called Space Explanations for classifying neural networks that gives provable guarantees of the behavior of the network in continuous areas o…
Accountable Liveness
Andrew Lewis-Pye, Joachim Neu, Tim Roughgarden +1
Safety and liveness are the two classical security properties of consensus protocols. Recent works have strengthened safety with accountability: should any safety violation occur,…
Invertible Bloom Lookup Tables with Less Memory and Randomness
Nils Fleischhacker, Kasper Green Larsen, Maciej Obremski +1
In this work we study Invertible Bloom Lookup Tables (IBLTs) with small failure probabilities. IBLTs are highly versatile data structures that have found applications in set reconc…
A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs
Jin Xing Lim, Barnabé Monnot, Shaowei Lin +1
Formalization of mathematics is the process of digitizing mathematical knowledge, which allows for formal proof verification as well as efficient semantic searches. Given the large…
Incentives in Ethereum's Hybrid Casper Protocol
Vitalik Buterin, Daniel Reijsbergen, Stefanos Leonardos +1
We present an overview of hybrid Casper the Friendly Finality Gadget (FFG): a Proof-of-Stake checkpointing protocol overlaid onto Ethereum's Proof-of-Work blockchain. We describe i…
A Flexible Design for Funding Public Goods
Vitalik Buterin, Zoe Hitzig, E. Glen Weyl
We propose a design for philanthropic or publicly-funded seeding to allow (near) optimal provision of a decentralized, self-organizing ecosystem of public goods. The concept extend…