Tuo Leng

According to our database, Tuo Leng authored at least 14 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network.

Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Cheng Qin, Yang Li, Zhenbing Zeng, Tuo Leng

CoRR, 2024

FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning.

Jia Zou, Xiaokai Zhang, Yiming He, Na Zhu, Tuo Leng

CoRR, 2024

FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems.

Yiming He, Jia Zou, Xiaokai Zhang, Na Zhu, Tuo Leng

CoRR, 2024

2023

FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning.

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

CoRR, 2023

Towards Better Orthogonality Regularization with Disentangled Norm in Training Deep CNNs.

Changhao Wu, Shenan Zhang, Fangsong Long, Ziliang Yin, Tuo Leng

CoRR, 2023

BSDA in Visual Recognition: Balanced Semantic Data Augmentation for Long-Tailed Data.

Yifan Wang, Eaven Huang, Runan Wang, Tuo Leng

Proceedings of the International Joint Conference on Neural Networks, 2023

Compact Cross-Reparam Convolution Network for Efficient Image Super-resolution.

Eaven Huang, Runan Wang, Yifan Wang, Tuo Leng

Proceedings of the International Joint Conference on Neural Networks, 2023

2020

ACE-Net: Adaptive Context Extraction Network for Medical Image Segmentation.

Tuo Leng, Yu Wang, Ying Li, Zhijie Wen

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2020, 2020

Wavelet U-Net for Medical Image Segmentation.

Ying Li, Yu Wang, Tuo Leng, Zhijie Wen

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2020, 2020

2019

Variational AutoEncoder for Regression: Application to Brain Aging Analysis.

Qingyu Zhao, Ehsan Adeli, Nicolas Honnorat, Tuo Leng, Kilian M. Pohl

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2019, 2019

Data Augmentation Based on Substituting Regional MRIs Volume Scores.

Tuo Leng, Qingyu Zhao, Chao Yang, Zhufu Lu, Ehsan Adeli, Kilian M. Pohl

Proceedings of the Large-Scale Annotation of Biomedical Data and Expert Label Synthesis and Hardware Aware Learning for Medical Imaging and Computer Assisted Intervention, 2019

The Fermat-Torricelli Problem of Triangles on the Sphere with Euclidean Metric: A Symbolic Solution with Maple.

Xiaofeng Guo, Tuo Leng, Zhenbing Zeng

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

2018

Computing the Determinant of a Matrix with Polynomial Entries by Approximation.

Xiaolin Qin, Zhi Sun, Tuo Leng, Yong Feng

J. Syst. Sci. Complex., 2018

2012

Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations.

Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Proceedings of the Computer Mathematics, 2012