Tuo Leng

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 18

Top Topics

Medical Image Segmentation

Euclidean Metric

Sparsity Inducing

Top Venues

Publications

Yiming He, Jia Zou, Xiaokai Zhang, Na Zhu, Tuo Leng
FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems. CoRR (2024)
Yiming He, Jia Zou, Xiaokai Zhang, Na Zhu, Tuo Leng
FGeo-TP: A Language Model-Enhanced Solver for Euclidean Geometry Problems. Symmetry 16 (4) (2024)
Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Cheng Qin, Yang Li, Tuo Leng
FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning. Symmetry 16 (4) (2024)
Jia Zou, Xiaokai Zhang, Yiming He, Na Zhu, Tuo Leng
FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning. Symmetry 16 (4) (2024)
Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Cheng Qin, Yang Li, Zhenbing Zeng, Tuo Leng
FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network. CoRR (2024)
Xiaoxiao Jin, Chenyang Mao, Dengfeng Yue, Tuo Leng
Floating-Point Embedding: Enhancing the Mathematical Comprehension of Large Language Models. Symmetry 16 (4) (2024)
Jia Zou, Xiaokai Zhang, Yiming He, Na Zhu, Tuo Leng
FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning. CoRR (2024)
Changhao Wu, Shenan Zhang, Fangsong Long, Ziliang Yin, Tuo Leng
Towards Better Orthogonality Regularization with Disentangled Norm in Training Deep CNNs. CoRR (2023)
Eaven Huang, Runan Wang, Yifan Wang, Tuo Leng
Compact Cross-Reparam Convolution Network for Efficient Image Super-resolution. IJCNN (2023)
Yifan Wang, Eaven Huang, Runan Wang, Tuo Leng
BSDA in Visual Recognition: Balanced Semantic Data Augmentation for Long-Tailed Data. IJCNN (2023)
Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Qike Huang, Xiaoxiao Jin, Yanjun Guo, Chenyang Mao, Zhe Zhu, Dengfeng Yue, Fangzhen Zhu, Yang Li, Yifan Wang, Yiwen Huang, Runan Wang, Cheng Qin, Zhenbing Zeng, Shaorong Xie, Xiangfeng Luo, Tuo Leng
FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning. CoRR (2023)
Ying Li, Yu Wang, Tuo Leng, Zhijie Wen
Wavelet U-Net for Medical Image Segmentation. ICANN (1) (2020)
Tuo Leng, Yu Wang, Ying Li, Zhijie Wen
ACE-Net: Adaptive Context Extraction Network for Medical Image Segmentation. ICANN (1) (2020)
Xiaofeng Guo, Tuo Leng, Zhenbing Zeng
The Fermat-Torricelli Problem of Triangles on the Sphere with Euclidean Metric: A Symbolic Solution with Maple. MC (2019)
Qingyu Zhao, Ehsan Adeli, Nicolas Honnorat, Tuo Leng, Kilian M. Pohl
Variational AutoEncoder for Regression: Application to Brain Aging Analysis. MICCAI (2) (2019)
Qingyu Zhao, Ehsan Adeli, Nicolas Honnorat, Tuo Leng, Kilian M. Pohl
Variational AutoEncoder For Regression: Application to Brain Aging Analysis. CoRR (2019)
Tuo Leng, Qingyu Zhao, Chao Yang, Zhufu Lu, Ehsan Adeli, Kilian M. Pohl
Data Augmentation Based on Substituting Regional MRIs Volume Scores. LABELS/HAL-MICCAI/CuRIOUS@MICCAI (2019)
Xiaolin Qin, Zhi Sun, Tuo Leng, Yong Feng
Computing the Determinant of a Matrix with Polynomial Entries by Approximation. J. Syst. Sci. Complex. 31 (2) (2018)
Xiaolin Qin, Zhi Sun, Tuo Leng, Yong Feng
Computing the determinant of a matrix with polynomial entries by approximation. CoRR (2014)
Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations. ASCM (2012)