15 citations · 24 across the 14 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.CV2022
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…
cs.PL2022
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…
cs.LG2022
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…