Lihao Yin

1. Fused Spatial Point Process Intensity Estimation with Varying Coefficients on Complex Constrained Domains
   2021/02/22 by Lihao Yin, Yin, Lihao, Huiyan Sang +1 · 1 citation
   Economics, Econometrics and Finance · Environmental Science · Mathematics · #Air Quality and Health Impacts #Applications (stat.AP) #FOS: Computer and information sciences #Methodology (stat.ME) #Point processes and geometric inequalities #Spatial and Panel Data Analysis
2. DiLA: Enhancing LLM Tool Learning with Differential Logic Layer
   2024/02/19 by Yu Zhang, Zhang, Yu, Hui‐Ling Zhen +11 · 2 citations
   Computer Science · #Formal Methods in Verification