Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: Proofs of Space
Proofs of Space : When Space is of the Essence
Space Syntax and Spatial Cognition: Proceedings of the Workshop held in Bremen, 24th September 2006
On the Viability of Distributed Consensus by Proof of Space
Cost-Based Intuitionist Probabilities on Spaces of Graphs, Hypergraphs and Theorems
Learning-assisted theorem proving with millions of lemmas☆
An Alternative Proof of The Schwartz-Zippel Lemma.
A new proof of the weak pigeonhole principle
how to simulate it - a tutorial on the simulation proof technique .
Mining State-Based Models from Proof Corpora
Probabilistic theorem proving
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract)
A Comparison Study on Space Syntax as a Computer Model of Space
On Automating Diagrammatic Proofs of Arithmetic Arguments
Interactive Theorem Proving
Compact Proofs of Retrievability
Outsourced Proofs of Retrievability
Distances Realized by Sets Covering the Plane*
A Comprehensive Implementation of Conceptual Spaces
A note on efficient zero-knowledge proofs and arguments (extended abstract)
Pors: proofs of retrievability for large files
Exploiting discriminant information in nonnegative matrix factorization with application to frontal face verification
Dropout as a Low-Rank Regularizer for Matrix Factorization
Action recognition by dense trajectories
An Industry 4.0-Enabled Low Cost Predictive Maintenance Approach for SMEs