2 papers
cs.AI2026
Improving Autoformalization Using Direct Dependency Retrieval
Shaoqi Wang, Lu Yu, Siwei Lou +4
The convergence of deep learning and formal mathematics has spurred research in formal verification. Statement autoformalization, a crucial first step in this process, aims to tran…
cs.LG2024
Approximated Orthogonal Projection Unit: Stabilizing Regression Network Training Using Natural Gradient
Shaoqi Wang, Chunjie Yang, Siwei Lou
Neural networks (NN) are extensively studied in cutting-edge soft sensor models due to their feature extraction and function approximation capabilities. Current research into netwo…