2 papers
cs.CR2020
Combining GHOST and Casper
Vitalik Buterin, Diego Hernandez, Thor Kamphefner +6
We present "Gasper," a proof-of-stake-based consensus protocol, which is an idealized version of the proposed Ethereum 2.0 beacon chain. The protocol combines Casper FFG, a finalit…
cs.CL2018
Evaluating Syntactic Properties of Seq2seq Output with a Broad Coverage HPSG: A Case Study on Machine Translation
Johnny Tian-Zheng Wei, Khiem Pham, Brian Dillon +1
Sequence to sequence (seq2seq) models are often employed in settings where the target output is natural language. However, the syntactic properties of the language generated from t…