Cover Image

Concept-based Analysis of Neural Networks via Vision-Language Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mangal, Ravi, Narodytska, Nina, Gopinath, Divya, Hu, Boyue Caroline, Roy, Anirban, Jha, Susmit, Pasareanu, Corina
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Artificial Intelligence Computation and Language Computer Vision and Pattern Recognition Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study)
by: Hu, Boyue Caroline, et al.
Published: (2025)

Concept-Based Abductive and Contrastive Explanations for Behaviors of Vision Models
by: Canizales, Ronaldo, et al.
Published: (2026)

Cubing for Tuning
by: Wu, Haoze, et al.
Published: (2025)

Evaluating Deep Neural Networks in Deployment (A Comparative and Replicability Study)
by: Pinconschi, Eduard, et al.
Published: (2024)

Relational Hoare Logic for Realistically Modelled Machine Code
by: Mazzucato, Denis, et al.
Published: (2025)

Lemur: Integrating Large Language Models in Automated Program Verification
by: Wu, Haoze, et al.
Published: (2023)

Viverra: Text-to-Code with Guarantees
by: Wu, Haoze, et al.
Published: (2026)

Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
by: Watson, Christopher, et al.
Published: (2025)

Traces via Strategies in Two-Player Games
by: Plummer, Benjamin, et al.
Published: (2025)

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
by: Tremante, Andrew, et al.
Published: (2026)

Linear-time logics -- a coalgebraic perspective
by: Cirstea, Corina
Published: (2016)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
by: Kojima, Ryota, et al.
Published: (2025)

Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs)
by: Schwartz, Noah, et al.
Published: (2026)

Meta-Modelling in Formal Concept Analysis
by: Wang, Yingjian
Published: (2024)

Decidability of Graph Neural Networks via Logical Characterizations
by: Benedikt, Michael, et al.
Published: (2024)

SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning
by: Amador, Ivo, et al.
Published: (2025)

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
by: Klopfenstein, Rocky, et al.
Published: (2025)

The Proof Analysis Problem
by: Arteche, Noel, et al.
Published: (2025)

Generics and Default Reasoning in Large Language Models
by: Kirkpatrick, James Ravi, et al.
Published: (2025)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
by: Mannucci, Mirco A., et al.
Published: (2025)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Termination of Graph Transformation Systems via Generalized Weighted Type Graphs
by: Endrullis, Jörg, et al.
Published: (2023)

Neuro-Symbolic Constrained Optimization for Cloud Application Deployment via Graph Neural Networks and Satisfiability Modulo Theory
by: Erascu, Madalina
Published: (2025)

Łukasiewicz Logic with Actions for Neural Networks training
by: Leuştean, Ioana, et al.
Published: (2025)

Rational Inference in Formal Concept Analysis
by: Carr, Lucas, et al.
Published: (2025)

Learning Branching-Time Properties in CTL and ATL via Constraint Solving
by: Bordais, Benjamin, et al.
Published: (2024)

Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems
by: Lemke, Caroline, et al.
Published: (2025)

Verifying Global Two-Safety Properties in Neural Networks with Confidence
by: Athavale, Anagha, et al.
Published: (2024)

Incremental Neural Network Verification via Learned Conflicts
by: Elsaleh, Raya, et al.
Published: (2026)

Bilateral base-extension semantics
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

Computation of Interpolants for Description Logic Concepts in Hard Cases
by: Jung, Jean Christoph, et al.
Published: (2025)

TeleLoRA: Teleporting Model-Specific Alignment Across LLMs
by: Lin, Xiao, et al.
Published: (2025)

Network Satisfaction Problems Solved by k-Consistency
by: Bodirsky, Manuel, et al.
Published: (2023)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
by: de Groot, Jim, et al.
Published: (2024)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
by: Waddoups, Nick, et al.
Published: (2025)

The Descriptive Complexity of Graph Neural Networks
by: Grohe, Martin
Published: (2023)

Basis-Sensitive Quantum Typing via Realisability
by: Díaz-Caro, Alejandro, et al.
Published: (2025)