{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:NKI7EUV6VEL66QEZOIK7WNJXXR","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"894acfb7638cd451ab8ece274a4c757e53fb92c9863cc688be977ce30a249101","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2026-05-13T15:33:27Z","title_canon_sha256":"1e7fdc89fb9f603452177bb11c441726f52e4b8ba54472ba801fee0610f973f3"},"schema_version":"1.0","source":{"id":"2605.13674","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13674","created_at":"2026-05-18T02:44:17Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13674v1","created_at":"2026-05-18T02:44:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13674","created_at":"2026-05-18T02:44:17Z"},{"alias_kind":"pith_short_12","alias_value":"NKI7EUV6VEL6","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"NKI7EUV6VEL66QEZ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"NKI7EUV6","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:4f8a2624f67b84507e364c66c33c1c2581f2c3cbe9cf2b38f6cb49e63298d91c","target":"graph","created_at":"2026-05-18T02:44:17Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"Experiments on Pascal VOC 2012 and the REFUGE2 optic disc/cup segmentation dataset show that our logic-guided fine-tuning yields higher-quality pseudo-labels, leading to state-of-the-art segmentation accuracy that often exceeds densely supervised baselines."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That differentiable fuzzy logic can reliably encode heterogeneous weak annotations and domain priors as continuous constraints without introducing systematic biases or requiring dataset-specific tuning that undermines generalization."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Differentiable fuzzy logic constraints fine-tune SAM to generate higher-quality pseudo-labels, enabling a second-stage model to reach state-of-the-art weakly supervised segmentation on Pascal VOC and REFUGE2, sometimes beating dense supervision."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Differentiable fuzzy logic encodes weak annotations as continuous constraints to fine-tune SAM and generate higher-quality pseudo-labels for segmentation."}],"snapshot_sha256":"c83c7d6139da78bb9a23c4415c78d85fc6fa18b6c111444f5e353e0cd4d457b3"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"cd6694a39bc0772f036394e9ed5ad9d3593ad3cfef7f1cf535b665a00c13da6c"},"paper":{"abstract_excerpt":"Weakly supervised semantic segmentation (WSSS) trains dense pixel-level segmentation models from partial or coarse annotations such as bounding boxes, scribbles, or image-level tags. While recent work leverages foundation models such as the Segment Anything Model (SAM) to generate pseudo-labels, these approaches typically depend on heuristic prompt choices and offer limited ways to incorporate prior knowledge or heterogeneous labels. We address this gap by taking a neurosymbolic perspective: integrating differentiable fuzzy logic with deep segmentation models. Weak annotations and domain-speci","authors_text":"Andrei-Bogdan Florea, Jaron Maene, Stefano Colamonaco","cross_cats":["cs.AI"],"headline":"Differentiable fuzzy logic encodes weak annotations as continuous constraints to fine-tune SAM and generate higher-quality pseudo-labels for segmentation.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2026-05-13T15:33:27Z","title":"Weakly Supervised Segmentation as Semantic-Based Regularization"},"references":{"count":60,"internal_anchors":2,"resolved_work":60,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"In: Proceedings of the IEEE conference on computer vision and pattern recognition","work_id":"07c39fba-13a9-48dc-89be-389f8269ab14","year":2018},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Segdiff: Image segmentation with diffusion proba- bilistic models","work_id":"3afa57d7-f737-46ae-b059-5598f4c3b281","year":2021},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Artificial Intelligence303, 103649 (2022)","work_id":"f147334c-9067-41ef-8ed5-110985f58875","year":2022},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"In: 2025 International Joint Conference on Neural Networks (IJCNN)","work_id":"41d6baa3-d72e-4627-9273-b596d4cf3f1d","year":2025},{"cited_arxiv_id":"2102.04306","doi":"","is_internal_anchor":true,"ref_index":5,"title":"TransUNet: Transformers Make Strong Encoders for Medical Image Segmentation","work_id":"ffa2ac60-2755-4390-9f66-07815aa6cb27","year":2021}],"snapshot_sha256":"869af3f02837e6c72ba8d66b021b09e4e7fee61b15eb3c15ff738d00ab069131"},"source":{"id":"2605.13674","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T20:24:40.043271Z","id":"1b68ca72-283e-47f7-9b4b-84b0645277b7","model_set":{"reader":"grok-4.3"},"one_line_summary":"Differentiable fuzzy logic constraints fine-tune SAM to generate higher-quality pseudo-labels, enabling a second-stage model to reach state-of-the-art weakly supervised segmentation on Pascal VOC and REFUGE2, sometimes beating dense supervision.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Differentiable fuzzy logic encodes weak annotations as continuous constraints to fine-tune SAM and generate higher-quality pseudo-labels for segmentation.","strongest_claim":"Experiments on Pascal VOC 2012 and the REFUGE2 optic disc/cup segmentation dataset show that our logic-guided fine-tuning yields higher-quality pseudo-labels, leading to state-of-the-art segmentation accuracy that often exceeds densely supervised baselines.","weakest_assumption":"That differentiable fuzzy logic can reliably encode heterogeneous weak annotations and domain priors as continuous constraints without introducing systematic biases or requiring dataset-specific tuning that undermines generalization."}},"verdict_id":"1b68ca72-283e-47f7-9b4b-84b0645277b7"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:19cd4287cc49ca6578b5ba500078649d1cde2d7de752303c8617e512b5c6f7ca","target":"record","created_at":"2026-05-18T02:44:17Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"894acfb7638cd451ab8ece274a4c757e53fb92c9863cc688be977ce30a249101","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2026-05-13T15:33:27Z","title_canon_sha256":"1e7fdc89fb9f603452177bb11c441726f52e4b8ba54472ba801fee0610f973f3"},"schema_version":"1.0","source":{"id":"2605.13674","kind":"arxiv","version":1}},"canonical_sha256":"6a91f252bea917ef40997215fb3537bc4f83ebc626e5943ce83b9e9b322febfb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6a91f252bea917ef40997215fb3537bc4f83ebc626e5943ce83b9e9b322febfb","first_computed_at":"2026-05-18T02:44:17.125029Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:17.125029Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3FaMQhaq4KmPXNxcfDyPSuqwNhxLEi9Vbjb/KMV9uSbn/RHWA1F+wSl3/A/YIM3IEjwCP7yxafAT6GA2dbXtDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:17.125621Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.13674","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:19cd4287cc49ca6578b5ba500078649d1cde2d7de752303c8617e512b5c6f7ca","sha256:4f8a2624f67b84507e364c66c33c1c2581f2c3cbe9cf2b38f6cb49e63298d91c"],"state_sha256":"d4f875b3677d0046917ded1793137d4affba771d6a7c79864484371383c2555f"}