Login / Signup
Proof-of-Burn.
Kostis Karantias
Aggelos Kiayias
Dionysis Zindros
Published in:
IACR Cryptol. ePrint Arch. (2019)
Keyphrases
</>
real time
linear logic
proof planning
multi agent systems
theorem prover
theorem proving
mathematical proofs
bayesian networks
reinforcement learning
natural language
lower bound
automated theorem proving
formal proof
geometry theorem proving
interactive theorem proving