RPoA: Redefined Proof of Activity.

Sina Kamali Shayan Shabihi Taha Fakharian Alireza Arbabi Pouriya Tajmehrabi Mohammad Saadati Behnam Bahrak

Published in: CoRR (2022)

Keyphrases

theorem proving
human activities
neural network
linear logic
data mining
learning algorithm
case study
search algorithm
digital libraries
probabilistic model
theorem prover
activity theory
activity analysis
proof theory