Show us your pay stub: Income verification in P2P lending.

Irit Askira Gelman Aimee A. Askira

Published in: ICIQ (2013)

Keyphrases

model checking
neural network
verification method
database
real time
temporal logic
learning algorithm
similarity measure
digital images
formal methods
formal verification