Jianfei Zhang

23 papers A 1Misc 2Journal 15Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning.
CoRR
Jianing Wang, Jianfei Zhang, Qi Guo, Linsen Guo, Rumei Li, Chao Zhang, Chong Peng, Cunguang Wang, Dengchang Zhao, Jiarong Shi, Jingang Wang, Liulin Feng, Mengxia Shen, Qi Li, Shengnan An, Shun Wang, Wei Shi, Xiangyu Xi, Xiaoyu Li, Xuezhi Cao, Yi Lu, Yunke Zhao, Zhengyu Chen, Zhimin Lin, Wei Wang, Peng Pei, Xunliang Cai
2026 J jnl
OPE: Overcoming Information Saturation in Parallel Thinking via Outline-Guided Path Exploration.
CoRR
Qi Guo, Jianing Wang, Deyang Kong, Xiangyu Xi, Jianfei Zhang, Yi Lu, Jingang Wang, Wei Wang, Shikun Zhang, Wei Ye
2025 J jnl
Adaptive control system of header for cabbage combine harvester based on IPSO-fuzzy PID controller.
Comput. Electron. Agric.
Jinming Zheng, Xiaochan Wang, Xuekai Huang, Yinyan Shi, Xiaolei Zhang, Yanxin Wang, Dezhi Wang, Jihao Wang, Jianfei Zhang
2025 J jnl
Autoformalizer with Tool Feedback.
CoRR
Qi Guo, Jianing Wang, Jianfei Zhang, Deyang Kong, Xiangzhou Huang, Xiangyu Xi, Wei Wang, Jingang Wang, Xunliang Cai, Shikun Zhang, Wei Ye
2025 J jnl
SwinFR: Combining SwinIR and fast fourier for super-resolution reconstruction of remote sensing images.
Digit. Signal Process.
Jianfei Zhang, Yanjie Tu
2024 J jnl
Keypoint detection and diameter estimation of cabbage (Brassica oleracea L.) heads under varying occlusion degrees via YOLOv8n-CK network.
Comput. Electron. Agric.
Jinming Zheng, Xiaochan Wang, Yinyan Shi, Xiaolei Zhang, Yao Wu, Dezhi Wang, Xuekai Huang, Yanxin Wang, Jihao Wang, Jianfei Zhang
2024 J jnl
Optimal switching and condition-based maintenance of cold standby systems subject to competitive failure and imperfect switchover.
J. Oper. Res. Soc.
Yugang He, Xiaohong Zhang, Xinyu Wu, Jianfei Zhang, Guannan Shi, Yankai Qin
2023 J jnl
A new method for the recognition of day instar of adult silkworms using feature fusion and image attention mechanism.
J. Intell. Fuzzy Syst.
Hongkang Shi, Shiping Zhu, Xiao Chen, Jianfei Zhang
2023 — conf
Deep Calibration of Market Simulations using Neural Density Estimators and Embedding Networks.
ICAIF
Namid R. Stillman, Rory Baggott, Justin Lyon, Jianfei Zhang, Dingqiu Zhu, Tao Chen, Perukrishnen Vytelingum
2023 J jnl
Deep Calibration of Market Simulations using Neural Density Estimators and Embedding Networks.
CoRR
Namid R. Stillman, Rory Baggott, Justin Lyon, Jianfei Zhang, Dingqiu Zhu, Tao Chen, Perukrishnen Vytelingum
2023 J jnl
Towards systematic intraday news screening: a liquidity-focused approach.
CoRR
Jianfei Zhang, Mathieu Rosenbaum
2022 J jnl
Improvement of Temperature Performance of Singlemode-Multimode-Singlemode Fiber Structure.
Sensors
Rongxiang Zhang, Weiyu Wang, Jianfei Zhang, Yuhong Han, Tao Liu
2022 — conf
Integral sliding mode variable structure control of DC servo motor speed.
RICAI
Wei Wang, Jianfei Zhang
2022 J jnl
On the universality of the volatility formation process: when machine learning and rough volatility agree.
CoRR
Mathieu Rosenbaum, Jianfei Zhang
2021 A conf
Jura: Towards Automatic Compliance Assessment for Annual Reports of Listed Companies.
CIKM
Zhengqi Xu, Yixuan Cao, Rongyu Cao, Guoxiang Li, Xuanqiang Liu, Yan Pang, Yangbin Wang, Jianfei Zhang, Allie Cheung, Matthew Tam, Lukas Petrikas, Ping Luo
2021 J jnl
Variable Expanding Structure for Data Center Interconnection Networks.
J. Adv. Comput. Intell. Intell. Informatics
Jianfei Zhang, Yuchen Jiang, Yan Liu
2017 J jnl
An Improved Rumor Routing Protocol Based on Optimized Intersection Angle Theory and Localization Technologies in WSN.
J. Adv. Comput. Intell. Intell. Informatics
Zhuang Liu, Xin Feng, Jing Zhang, Yan Liu, Jianfei Zhang, Xin Zhang
2014 — conf
A control system of driver assistance and human following for smart wheelchair.
ROBIO
Jianfei Zhang, Jingchuan Wang, Weidong Chen
2013 — conf
GPU-Based Implementation of Finite Element Method for Elasticity Using CUDA.
HPCC/EUC
Jianfei Zhang, Defei Shen
2011 Misc conf
A Bag-of-Feature Model for Video Semantic Annotation.
ICIG
Youdong Ding, Jianfei Zhang, Jun Li, Xiaocheng Wei
2011 Misc conf
Fusion of Object and Scene Based on IHS Transform and SFIM.
ICIG
Youdong Ding, Xiaocheng Wei, Haibo Pang, Jianfei Zhang
2010 J jnl
Building a Large Annotation Ontology for Movie Video Retrieval.
J. Digit. Content Technol. its Appl.
Jun Li, Youdong Ding, Yunyu Shi, Jianfei Zhang
2009 — conf
An Implementation Method of Parallel Finite Element Computation Based on Overlapping Domain Decomposition.
HPCA (China)
Jianfei Zhang, Lei Zhang, Hongdao Jiang