Tuo Leng - RankMe

25 papers A* 1B 2Misc 1Journal 15Unranked 6

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