machine-learning

NPAQ

NPAQ: Neural Property Approximate Quantifier