Yang, Fanyi

1. An unfitted finite element method with direct extension stabilization for time-harmonic Maxwell problems on smooth domains
   2022/07/12 by Fanyi Yang, Yang, Fanyi, Xiaoping Xie +1 · 1 citation
   Engineering · #Advanced Numerical Methods in Computational Mathematics #Electromagnetic Simulation and Numerical Methods #FOS: Mathematics #Numerical Analysis (math.NA) #Numerical methods in engineering
2. Preconditioned NonSymmetric/Symmetric Discontinuous Galerkin Method for Elliptic Problem with Reconstructed Discontinuous Approximation
   2023/06/27 by Li, Ruo, Liu, Qicheng, Yang, Fanyi · 1 citation
   #FOS: Mathematics #Numerical Analysis (math.NA)
3. PKU-I2IQA: An Image-to-Image Quality Assessment Database for AI Generated Images
   2023/11/27 by Yuan, Jiquan, Cao, Xinyan, Li, Changjin +3 · 1 citation
   #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Video Processing (eess.IV) #electronic engineering #information engineering
4. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
   2025/05/27 by Shen, Ziju, Huang, Naohao, Yang, Fanyi +11 · 3 citations
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)