数え上げを伴う一階述語論理で定義可能な分類器は、多項式時間内に一貫して学習可能。
人間とニューラルネットワークモデルが複雑な関数を合成する能力を探求し、メタラーニングアプローチによって一致することを示す。