Achievability proof via output statistics of random binning

Mohammad Hossein Yassaee Mohammad Reza Aref Amin Gohari

Published in: CoRR (2012)

Keyphrases

input data
machine learning
artificial intelligence
linear logic
learning environment
probability distribution
constraint satisfaction problems
theorem proving