Papers › Logic-induced Diagnostic Reasoning for Semi-supervised Semantic Segmentation
Logic-induced Diagnostic Reasoning for Semi-supervised Semantic Segmentation
Chen Liang, Wenguan Wang, Jiaxu Miao, Yi Yang
Recent advances in semi-supervised semantic segmentation have been heavily reliant on pseudo labeling to compensate for limited labeled data, disregarding the valuable relational knowledge among semantic concepts. To bridge this gap, we devise LogicDiag, a brand new neural-logic semi-supervised learning framework. Our key insight is that conflicts within pseudo labels, identified through symbolic knowledge, can serve as strong yet commonly ignored learning signals. LogicDiag resolves such conflicts via reasoning with logic-induced diagnoses, enabling the recovery of (potentially) erroneous pseudo labels, ultimately alleviating the notorious error accumulation problem. We showcase the practical application of LogicDiag in the data-hungry segmentation scenario, where we formalize the structured abstraction of semantic concepts as a set of logic rules. Extensive experiments on three standard semi-supervised semantic segmentation benchmarks demonstrate the effectiveness and generality of LogicDiag. Moreover, LogicDiag highlights the promising opportunities arising from the systematic integration of symbolic reasoning into the prevalent statistical, neural learning approaches.
In Syntology Open this paper in Syntology's Atlas, the map of the papers in Syntology's graph and their citations.
Code
No code repository is listed for this paper in the archive or in Syntology's graph.
Code Syntology ran Syntology
Not run by Syntology. Nothing on this page verifies that the listed code works.
Tasks
Results from the paper archive 2025-07-28
| Task | Dataset | Model | Metric | Value | Rank at snapshot | Leaderboard | Report |
|---|---|---|---|---|---|---|---|
| Semi-Supervised Semantic Segmentation | COCO 1/128 labeled | LogicDiag | Validation mIoU | 45.4 | #5 of 9 | Archive leaderboard | report |
| Semi-Supervised Semantic Segmentation | COCO 1/256 labeled | LogicDiag | Validation mIoU | 40.3 | #5 of 9 | Archive leaderboard | report |
| Semi-Supervised Semantic Segmentation | COCO 1/32 labeled | LogicDiag | Validation mIoU | 50.5 | #4 of 7 | Archive leaderboard | report |
| Semi-Supervised Semantic Segmentation | COCO 1/512 labeled | LogicDiag | Validation mIoU | 33.1 | #4 of 8 | Archive leaderboard | report |
| Semi-Supervised Semantic Segmentation | COCO 1/64 labeled | LogicDiag | Validation mIoU | 48.8 | #4 of 9 | Archive leaderboard | report |
| Semi-Supervised Semantic Segmentation | PASCAL VOC 2012 183 labeled | LogicDiag (DeepLab v3+ with ResNet-101) | Validation mIoU | 76.7 | #11 of 16 | Archive leaderboard | report |
| Semi-Supervised Semantic Segmentation | PASCAL VOC 2012 366 labeled | LogicDiag (DeepLab v3+ with ResNet-101) | Validation mIoU | 77.9 | #11 of 15 | Archive leaderboard | report |
| Semi-Supervised Semantic Segmentation | PASCAL VOC 2012 732 labeled | LogicDiag (DeepLab v3+ with ResNet-101) | Validation mIoU | 79.4 | #11 of 16 | Archive leaderboard | report |
| Semi-Supervised Semantic Segmentation | PASCAL VOC 2012 92 labeled | LogicDiag (DeepLab v3+ with ResNet-101) | Validation mIoU | 73.3 | #13 of 17 | Archive leaderboard | report |
Ranks are positions in the archive's leaderboards as they stood at the 2025-07-28 snapshot. Results published since then are not among these rows, so a rank here is not a current standing.
Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections