Zhihong Wang
- Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
2025/07/31 by Luoxin Chen, Jinming Gu, Chen, Luoxin +69 · 2 voices · 35 citations
Computer Science · #cs.AI #cs.CL
- DVPT: Dynamic Visual Prompt Tuning of Large Pre-trained Models for Medical Image Analysis
2023/07/19 by Along He, Kai Wang, He, Along +7 · 4 citations
Computer Science · Medicine · #AI in cancer detection #COVID-19 diagnosis using AI #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences
- TransUKAN:Computing-Efficient Hybrid KAN-Transformer for Enhanced Medical Image Segmentation
2024/09/23 by Yanlin Wu, Wu, Yanlin, Tao Li +7 · 2 citations
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
- Relevance Feedback with Brain Signals
2023/12/09 by Ziyi Ye, Xiaohui Xie, Ye, Ziyi +11 · 1 citation
Neuroscience · #Artificial Intelligence (cs.AI) #EEG and Brain-Computer Interfaces #FOS: Computer and information sciences #Information Retrieval (cs.IR) #Memory Processes and Influences #Neural and Behavioral Psychology Studies
- Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
2025/12/19 by Jiangjie Chen, Wenxiang Chen, Chen, Jiangjie +40 · 3 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
- Conodont and carbon isotope stratigraphy near the Frasnian/Famennian (Devonian) boundary at Wulankeshun, Junggar Basin, NW China
2016/01/03 by Z.H. Wang, Zhihong Wang, R.T. Becker +9 · 1 citation
Earth and Planetary Sciences · #Geological and Geochemical Analysis #Paleontology and Evolutionary Biology #Paleontology and Stratigraphy of Fossils