Guo, Yanjun
- FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
2023/10/27 by Xiaokai Zhang, Na Zhu, Zhang, Xiaokai +37 · 6 citations
Computer Science · #Model-Driven Software Engineering Techniques #Logic, programming, and type systems #Constraint Satisfaction and Optimization
- SNF: Filter Pruning via Searching the Proper Number of Filters
2021/12/14 by Pengkun Liu, Liu, Pengkun, Yaru Yue +7 · 1 citation
Computer Science · #Advanced Neural Network Applications #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Image Enhancement Techniques
- The double neutron star PSR J1946+2052 I. Masses and tests of general relativity
2025/10/14 by Lingqi Meng, P. C. C. Freire, Meng, Lingqi +57 · 3 citations
Earth and Planetary Sciences · Physics and Astronomy · #Astrophysical Phenomena and Observations #FOS: Physical sciences #Geophysics and Gravity Measurements #High Energy Astrophysical Phenomena (astro-ph.HE) #Pulsars and Gravitational Waves Research
- The Magnified Waltz: Simulating Light Curves of Binary Stars Passing through Micro-Caustics in Strong Lensing Galaxy Clusters
2025/03/06 by Zheng, Wenwen, Fu, Xiaoting, Chen, Yang +5 · 2 citations
#Astrophysics of Galaxies (astro-ph.GA) #FOS: Physical sciences
- The Red Supergiant Progenitor of the Type II Supernova 2024abfl
2024/12/17 by Jingxiao Luo, Luo, Jingxiao, Lifu Zhang +20 · 1 citation
Physics and Astronomy · #Astronomy and Astrophysical Research #Astrophysics and Cosmic Phenomena #Astrophysics of Galaxies (astro-ph.GA) #FOS: Physical sciences #Gamma-ray bursts and supernovae #High Energy Astrophysical Phenomena (astro-ph.HE) #Solar and Stellar Astrophysics (astro-ph.SR)