Lin, Shaowei

1. A benchmark for vericoding: formally verified program synthesis
   2025/09/26 by Sergiu Bursuc, Theodore Ehrenborg, Bursuc, Sergiu +23 · 6 voices · 5 citations
   #cs.SE #cs.LG #cs.PL
2. Deep Activity Recognition Models with Triaxial Accelerometers
   2015/11/15 by Mohammad Abu Alsheikh, Alsheikh, Mohammad Abu, Ahmed Selim +9 · 4 citations
   Computer Science · #Context-Aware Activity Recognition Systems #Human Pose and Action Recognition #Anomaly Detection Techniques and Applications
3. Marginal likelihood and model selection for Gaussian latent tree and forest models
   2014/12/29 by Drton, Mathias, Lin, Shaowei, Weihs, Luca +1 · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (stat.ML) #Methodology (stat.ME) #Statistics Theory (math.ST)
4. Marginal Likelihood Integrals for Mixtures of Independence Models
   2008/05/23 by Shaowei Lin, Lin, Shaowei, Bernd Sturmfels +3 · 1 citation
   Computer Science · Mathematics · #Bayesian Methods and Mixture Models #Computation (stat.CO) #FOS: Computer and information sciences #Polynomial and algebraic computation #Tensor decomposition and applications