GitHub repository: teobaluta/NPAQ
Primary language: Python
Description: Neural Property Approximate Quantifier