1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2026
Learning Compact Boolean Networks
Shengpu Wang, Yuhao Mao, Yani Zhang +1
Floating-point neural networks dominate modern machine learning but incur substantial inference costs, motivating emerging interest in Boolean networks for resource-constrained dep…
cs.LG2026★ 1 cited
Expressiveness of Multi-Neuron Convex Relaxations in Neural Network Certification
Yuhao Mao, Yani Zhang, Martin Vechev
Neural network certification methods heavily rely on convex relaxations to provide robustness guarantees. However, these relaxations are often imprecise: even the most accurate sin…