1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.CV2025
CLIPin: A Non-contrastive Plug-in to CLIP for Multimodal Semantic Alignment
Shengzhu Yang, Jiawei Du, Shuai Lu +3
Large-scale natural image-text datasets, especially those automatically collected from the web, often suffer from loose semantic alignment due to weak supervision, while medical da…
eess.IV2024★ 1 cited
SSVT: Self-Supervised Vision Transformer For Eye Disease Diagnosis Based On Fundus Images
Jiaqi Wang, Mengtian Kang, Yong Liu +12
Machine learning-based fundus image diagnosis technologies trigger worldwide interest owing to their benefits such as reducing medical resource power and providing objective evalua…
cs.LO2023
Template-Based Conjecturing for Automated Induction in Isabelle/HOL
Yutaka Nagashima, Zijin Xu, Ningli Wang +2
Proof by induction plays a central role in formal verification. However, its automation remains as a formidable challenge in Computer Science. To solve inductive problems, human en…