Lai Jiang

1. Uncertainty Guided Adaptive Warping for Robust and Efficient Stereo Matching
   2023/07/26 by Junpeng Jing, Jing, Junpeng, Jiankun Li +17 · 11 citations
   Computer Science · #Advanced Image Processing Techniques #Advanced Image and Video Retrieval Techniques #Advanced Vision and Imaging #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
2. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
   2025/08/05 by Yong Lin, Lin, Yong, Shange Tang +37 · 2 voices · 36 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #cs.AI #cs.LG
3. Federated Learning Strategies for Coordinated Beamforming in Multicell ISAC
   2025/01/28 by Lai Jiang, Kaitao Meng, Jiang, Lai +7 · 3 citations
   Computer Science · Engineering · #Antenna Design and Optimization #FOS: Electrical engineering #Indoor and Outdoor Localization Technologies #Signal Processing (eess.SP) #Wireless Signal Modulation Classification #electronic engineering #information engineering
4. Box dimension of generalized affine fractal interpolation functions (II)
   2023/08/15 by Lai Jiang, Jiang, Lai, Huo-Jun Ruan +1 · 1 citation
   Mathematics · Computer Science · Physics and Astronomy · #Mathematical Dynamics and Fractals #Topological and Geometric Data Analysis #Advanced Mathematical Theories and Applications
5. Minkowski dimension and content of complex continued fractions
   2026/07/21 by Yifei Gu, Lai Jiang
   #math.CA #math.NT
6. A broadband, individually addressing two- and three-dimensional photonic integrated circuit for trapped-ion qubit control
   2026/07/27 by Daniel Klawson, Yiyang Zhi, Bingran You +21
   #quant-ph #physics.optics
7. Dimension drop for intersections of Cantor sets
   2026/07/22 by Lai Jiang, Bing Li, Ruofan Li +1
   #math.CA