Design models for recursive binary neural networks