Shaowei Lin

1. A benchmark for vericoding: formally verified program synthesis
   2025/09/26 by Sergiu Bursuc, Theodore Ehrenborg, Bursuc, Sergiu +23 · 6 voices · 6 citations
   Computer Science · #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 Integrals for Mixtures of Independence Models
   2008/05/23 by Shaowei Lin, Bernd Sturmfels, Lin, Shaowei +3 · 2 citations
   Computer Science · Mathematics · #Bayesian Methods and Mixture Models #Computation (stat.CO) #FOS: Computer and information sciences #Polynomial and algebraic computation #Tensor decomposition and applications #stat.CO
4. Polynomial relations among principal minors of a 4x4-matrix
   2008/12/02 by Shaowei Lin, Lin, Shaowei, Bernd Sturmfels +1 · 1 citation
   Computer Science · Engineering · Mathematics · #13P10 #14L30 #14M12 #15A15 #15A29 #15A72 #Advanced Numerical Analysis Techniques #Algebraic Geometry (math.AG) #Commutative Algebra (math.AC) #FOS: Computer and information sciences #FOS: Mathematics #Polynomial and algebraic computation #Symbolic Computation (cs.SC) #cs.SC #graph theory and CDMA systems #math.AC #math.AG #msc:13P10 #msc:14L30 #msc:14M12 #msc:15A15 #msc:15A29 #msc:15A72
5. Marginal likelihood and model selection for Gaussian latent tree and forest models
   2014/12/29 by Mathias Drton, Drton, Mathias, Shaowei Lin +5 · 1 citation
   Mathematics · #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (stat.ML) #Methodology (stat.ME) #Statistics Theory (math.ST) #math.ST #stat.ME #stat.ML #stat.TH