Wang, Zhihong

1. Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
   2025/07/31 by Luoxin Chen, Chen, Luoxin, Jinming Gu +69 · 2 voices · 33 citations
   #cs.AI #cs.CL
2. DVPT: Dynamic Visual Prompt Tuning of Large Pre-trained Models for Medical Image Analysis
   2023/07/19 by He, Along, Wang, Kai, Wang, Zhihong +2 · 3 citations
   #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
3. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
   2025/12/19 by Jiangjie Chen, Chen, Jiangjie, Wenxiang Chen +40 · 2 citations
   Computer Science · Materials Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic, programming, and type systems #Machine Learning in Materials Science #Mathematics, Computing, and Information Processing
4. TransUKAN:Computing-Efficient Hybrid KAN-Transformer for Enhanced Medical Image Segmentation
   2024/09/23 by Yanlin Wu, Tao Li, Wu, Yanlin +7 · 1 citation
   Computer Science · Neuroscience · #AI in cancer detection #Brain Tumor Detection and Classification #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Video Processing (eess.IV) #Medical Image Segmentation Techniques #electronic engineering #information engineering