15 citations · 42 across the 14 of their papers we have counts for
4 papers · 1 filter
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems
Zhaoyu Li, Xujie Si
We present the Neural Satisfiability Network (NSNet), a general neural framework that models satisfiability problems as probabilistic inference and meanwhile exhibits proper explai…
Scalar Invariant Networks with Zero Bias
Chuqin Geng, Xiaojie Xu, Haolin Ye +1
Just like weights, bias terms are the learnable parameters of many popular machine learning models, including neural networks. Biases are thought to enhance the representational po…
Novice Type Error Diagnosis with Natural Language Models
Chuqin Geng, Haolin Ye, Yixuan Li +3
Strong static type systems help programmers eliminate many errors without much burden of supplying type annotations. However, this flexibility makes it highly non-trivial to diagno…
Towards Reliable Neural Specifications
Chuqin Geng, Nham Le, Xiaojie Xu +3
Having reliable specifications is an unavoidable challenge in achieving verifiable correctness, robustness, and interpretability of AI systems. Existing specifications for neural n…