Zijian Wu

1. Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
   2024/06/06 by Huaiyuan Ying, Ying, Huaiyuan, Zijian Wu +8 · 25 citations
   Business, Management and Accounting · #Quality and Supply Management #Business Process Modeling and Analysis
2. InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning
   2024/02/09 by Huaiyuan Ying, Ying, Huaiyuan, Shuo Zhang +41 · 13 citations
   Computer Science · #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Model-Driven Software Engineering Techniques
3. InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search
   2024/10/21 by Zijian Wu, Wu, Zijian, Huang, Suozhi +10 · 18 citations
   Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning and Data Classification
4. NoisyRollout: Reinforcing Visual Reasoning with Data Augmentation
   2025/04/17 by Xiangyan Liu, Jinjie Ni, Liu, Xiangyan +13 · 26 citations
   Computer Science · #Multimodal Machine Learning Applications #Domain Adaptation and Few-Shot Learning #Advanced Neural Network Applications
5. FATE: Full-head Gaussian Avatar with Textural Editing from Monocular Video
   2024/11/23 by Jiawei Zhang, Zijian Wu, Zhang, Jiawei +11 · 12 citations
   Computer Science · Engineering · #Artificial Intelligence in Games #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Human Motion and Animation #Reinforcement Learning in Robotics
6. RobustDexGrasp: Robust Dexterous Grasping of General Objects
   2025/04/07 by Hui Zhang, Zhang, Hui, Zijian Wu +7 · 9 citations
   Engineering · Computer Science · #Robot Manipulation and Learning #Handwritten Text Recognition Techniques #Neural Networks and Applications
7. CKMImageNet: A Comprehensive Dataset to Enable Channel Knowledge Map Construction via Computer Vision
   2024/09/29 by Di Wu, Zijian Wu, Wu, Di +7 · 3 citations
   Computer Science · #Advanced Computational Techniques and Applications #FOS: Computer and information sciences #Information Theory (cs.IT)
8. Generative CKM Construction using Partially Observed Data with Diffusion Model
   2024/12/19 by Shen Fu, Zijian Wu, Fu, Shen +5 · 4 citations
   Engineering · #Industrial Technology and Control Systems
9. Augmenting Efficient Real-time Surgical Instrument Segmentation in Video with Point Tracking and Segment Anything
   2024/03/12 by Zijian Wu, Wu, Zijian, Adam Schmidt +5 · 2 citations
   Computer Science · Medicine · #Augmented Reality Applications #Computer Vision and Pattern Recognition (cs.CV) #Digital Imaging in Medicine #FOS: Computer and information sciences #Surgical Simulation and Training
10. On Reasoning Strength Planning in Large Reasoning Models
    2025/06/10 by Leheng Sheng, An Zhang, Sheng, Leheng +13 · 6 citations
    Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Topic Modeling
11. SurgPose: a Dataset for Articulated Robotic Surgical Tool Pose Estimation and Tracking
    2025/02/17 by Zijian Wu, Wu, Zijian, Adam Schmidt +11 · 3 citations
    Medicine · Engineering · #Surgical Simulation and Training #Anatomy and Medical Technology #Soft Robotics and Applications
12. SCTc-TE: A Comprehensive Formulation and Benchmark for Temporal Event Forecasting
    2023/12/02 by Yunshan Ma, Ma, Yunshan, Chenchen Ye +11 · 1 citation
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #H.3.0 #Information Retrieval (cs.IR) #Time Series Analysis and Forecasting
13. CKMImageNet: A Dataset for AI-Based Channel Knowledge Map Towards Environment-Aware Communication and Sensing
    2025/04/14 by Zijian Wu, Wu, Zijian, Di Wu +7 · 3 citations
    Engineering · #Indoor and Outdoor Localization Technologies
14. High-efficiency adsorption of norfloxacin using octahedral UIO-66-NH2 nanomaterials: Dynamics, thermodynamics, and mechanisms
    2020/03/27 by Xun Fang, Shibiao Wu, Yaohua Wu +11 · 1 citation
    Chemistry · Environmental Science · Materials Science · #Adsorption and biosorption for pollutant removal #Covalent Organic Framework Applications #Metal-Organic Frameworks: Synthesis and Applications
15. Kimi K3: Open Frontier Intelligence
    2026/07/27 by Kimi Team, Tongtong Bai, Yifan Bai +398 · 1 voice
    #cs.CL #cs.LG