conftrace_

semantic verification

7 papers

Explore in graph

Co-occurring keywords · papers mentioning both

argumentation framework (2) computational complexity (2) image provenance (1) logical dependencies (1) uncertain argument (1) logical solver (1) dynamic neighborhood (1) cross-modal data (1) semantic drift distance (1) reasoning accuracy (1)

Papers

Boosting Noisy Correspondence Discrimination via Dynamic Neighborhood Semantic Verification AAAI 2026 NP-Hard Lower Bound Complexity for Semantic Self-Verification EACL 2026 VisionDirector: Vision-Language Guided Closed-Loop Refinement for Generative Image Synthesis CVPR 2026 Featured Argumentation Framework: Semantics and Complexity IJCAI 2025 Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers IJCAI 2025 PROVES: Establishing Image Provenance Using Semantic Signatures WACV 2022 Reasoning over Argument-Incomplete AAFs in the Presence of Correlations IJCAI 2021