| Variational autoencoder for regression: Application to brain aging analysis Q Zhao, E Adeli, N Honnorat, T Leng, KM Pohl Medical Image Computing and Computer Assisted Intervention–MICCAI 2019: 22nd …, 2019 | 89 | 2019 |
| Wavelet u-net for medical image segmentation Y Li, Y Wang, T Leng, W Zhijie Artificial Neural Networks and Machine Learning–ICANN 2020: 29th …, 2020 | 14 | 2020 |
| Generalizations of Cauchy-Schwarz inequality in unitary spaces L Tuo Journal of Inequalities and Applications 2015, 1-6, 2015 | 10 | 2015 |
| On Hardy-type integral inequalities T Leng, Y Feng Applied Mathematics and Mechanics 34 (10), 1297-1304, 2013 | 7 | 2013 |
| FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning X Zhang, N Zhu, Y He, J Zou, Q Huang, X Jin, Y Guo, C Mao, Z Zhu, ... arXiv preprint arXiv:2310.18021, 2023 | 5 | 2023 |
| The Fermat-Torricelli problem of triangles on the sphere with Euclidean metric: a symbolic solution with maple X Guo, T Leng, Z Zeng Maple Conference, 263-278, 2019 | 3 | 2019 |
| Artificial intelligence and people’s consensus S Zhang, C Yang, N Qian, Q Tang, X Luo, T Leng, X Li, Y Han Reconstructing Our Orders: Artificial Intelligence and Human Society, 1-27, 2018 | 3 | 2018 |
| Computing the determinant of a matrix with polynomial entries by approximation X Qin, Z Sun, T Leng, Y Feng arXiv preprint arXiv:1408.5879, 2014 | 3* | 2014 |
| The sharp upper bound for the ratio between the arithmetic and the geometric mean T Leng, X Qin Math. Inequal. Appl 18 (3), 975-980, 2015 | 2 | 2015 |
| Converses of a discrete Wirtinger type inequality L Tuo, F Yong JOURNAL OF MATHEMATICAL INEQUALITIES 8 (2), 219-225, 2014 | 2 | 2014 |
| Spectral properties and geometric interpretation of R-filters T Leng Applied Mathematics and Mechanics 30 (1), 109-120, 2009 | 2 | 2009 |
| FGeo-TP: A Language Model-Enhanced Solver for Euclidean Geometry Problems Y He, J Zou, X Zhang, N Zhu, T Leng Symmetry 16 (4), 421, 2024 | 1* | 2024 |
| Enhancing industrial anomaly detection using edge image reconstruction with neighbor masked convolutional transformer block Z Zhu, S Chen, Y Huang, T Leng 2023 4th International Conference on Intelligent Computing and Human …, 2023 | 1 | 2023 |
| BSDA in Visual Recognition: Balanced Semantic Data Augmentation for Long-Tailed Data Y Wang, E Huang, R Wang, T Leng 2023 International Joint Conference on Neural Networks (IJCNN), 1-8, 2023 | 1 | 2023 |
| A reverse Thomson problem on the unit circle T Leng, Y Wu Proceedings of the American Mathematical Society 151 (01), 327-337, 2023 | 1 | 2023 |
| Discrete Wirtinger type inequality under non-periodic end conditions T Leng Journal of Mathematical Analysis and Applications 434 (1), 568-580, 2016 | 1 | 2016 |
| Floating-Point Embedding: Enhancing the Mathematical Comprehension of Large Language Models X Jin, C Mao, D Yue, T Leng Symmetry 16 (4), 478, 2024 | | 2024 |
| FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning J Zou, X Zhang, Y He, N Zhu, T Leng Symmetry 16 (4), 437, 2024 | | 2024 |
| FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning X Zhang, N Zhu, Y He, J Zou, C Qin, Y Li, T Leng Symmetry 16 (4), 404, 2024 | | 2024 |
| FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network X Zhang, N Zhu, Y He, J Zou, C Qin, Y Li, Z Zeng, T Leng arXiv preprint arXiv:2402.11461, 2024 | | 2024 |
Qingyu ZhaoAssistant Professor, WCM, CornellVerified email at med.cornell.edu
