On sybil-proof mechanisms.

Minghao Pan Akaki Mamageishvili Jan Christoph Schlegel

Published in: CoRR (2024)

Keyphrases

theorem prover
theorem proving
linear logic
genetic algorithm
image processing
automated theorem proving
mechanisms underlying
database
databases
neural network
computer vision
web services
image segmentation
information processing