Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations. - Liangyu Chen 001; Tuo Leng; Liyong Shen; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (ASCM, 2012)

Computing the Determinant of a Matrix with Polynomial Entries by Approximation. - Xiaolin Qin; Zhi Sun; Tuo Leng; Yong Feng (J. Syst. Sci. Complex., 2018)

The Fermat-Torricelli Problem of Triangles on the Sphere with Euclidean Metric: A Symbolic Solution with Maple. - Xiaofeng Guo; Tuo Leng; Zhenbing Zeng (MC, 2019)

Data Augmentation Based on Substituting Regional MRIs Volume Scores. - Tuo Leng; Qingyu Zhao; Chao Yang; Zhufu Lu; Ehsan Adeli 001; Kilian M. Pohl (LABELS/HAL-MICCAI/CuRIOUS@MICCAI, 2019)

Variational AutoEncoder for Regression: Application to Brain Aging Analysis. - Qingyu Zhao; Ehsan Adeli 001; Nicolas Honnorat; Tuo Leng; Kilian M. Pohl (MICCAI (2), 2019)

Wavelet U-Net for Medical Image Segmentation. - Ying Li 028; Yu Wang; Tuo Leng; Zhijie Wen (ICANN (1), 2020)

ACE-Net: Adaptive Context Extraction Network for Medical Image Segmentation. - Tuo Leng; Yu Wang; Ying Li 028; Zhijie Wen (ICANN (1), 2020)

Compact Cross-Reparam Convolution Network for Efficient Image Super-resolution. - Eaven Huang; Runan Wang; Yifan Wang; Tuo Leng (IJCNN, 2023)

BSDA in Visual Recognition: Balanced Semantic Data Augmentation for Long-Tailed Data. - Yifan Wang; Eaven Huang; Runan Wang; Tuo Leng (IJCNN, 2023)

Towards Better Orthogonality Regularization with Disentangled Norm in Training Deep CNNs. - Changhao Wu; Shenan Zhang; Fangsong Long; Ziliang Yin; Tuo Leng (CoRR, 2023)

FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning. - Xiaokai Zhang; Na Zhu; Yiming He; Jia Zou 004; Qike Huang; Xiaoxiao Jin; Yanjun Guo; Chenyang Mao; Zhe Zhu; Dengfeng Yue; Fangzhen Zhu; Yang Li 151; et al. (CoRR, 2023)

FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems. - Yiming He; Jia Zou 004; Xiaokai Zhang; Na Zhu; Tuo Leng (CoRR, 2024)

FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network. - Xiaokai Zhang; Na Zhu; Yiming He; Jia Zou 004; Cheng Qin; Yang Li 151; Zhenbing Zeng; Tuo Leng (CoRR, 2024)

FGeo-TP: A Language Model-Enhanced Solver for Euclidean Geometry Problems. - Yiming He; Jia Zou 004; Xiaokai Zhang; Na Zhu; Tuo Leng (Symmetry, 2024)

Floating-Point Embedding: Enhancing the Mathematical Comprehension of Large Language Models. - Xiaoxiao Jin; Chenyang Mao; Dengfeng Yue; Tuo Leng (Symmetry, 2024)

FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning. - Xiaokai Zhang; Na Zhu; Yiming He; Jia Zou 004; Cheng Qin; Yang Li 151; Tuo Leng (Symmetry, 2024)

FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning. - Jia Zou 004; Xiaokai Zhang; Yiming He; Na Zhu; Tuo Leng (Symmetry, 2024)

Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver. - Zeren Zhang; Jo-Ku Cheng; Jingyang Deng; Lu Tian; Jinwen Ma; Ziran Qin; Xiaokai Zhang; Na Zhu; Tuo Leng (ICASSP, 2025)