Tokenomics and Perspectives of Proof of Stake.

Maryna Chyzhevska Nataliia Romanovska Vitalii Venger Volodymyr Sokolov

Published in: DECaT (2024)

Keyphrases

theorem prover
theorem proving
automated theorem proving
machine learning
mathematical proofs
information retrieval
multimedia
multiple perspectives
data sets
databases
search engine
image processing
website
decision trees
image segmentation
proof planning