Buchumschlag

Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Singh, Vikash, Ganguly, Debargha, Yu, Haotian, Zhou, Chengwei, Singh, Prerna, Lee, Brandon, Chaudhary, Vipin, Datta, Gourav
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Computer Vision and Pattern Recognition Artificial Intelligence Computation and Language Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
von: Ganguly, Debargha, et al.
Veröffentlicht: (2025)

Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
von: Ganguly, Debargha, et al.
Veröffentlicht: (2024)

Rethinking Vision Transformer Depth via Structural Reparameterization
von: Zhou, Chengwei, et al.
Veröffentlicht: (2025)

$K^4$: Online Log Anomaly Detection Via Unsupervised Typicality Learning
von: Chen, Weicong, et al.
Veröffentlicht: (2025)

Mid-Think: Training-Free Intermediate-Budget Reasoning via Token-Level Triggers
von: Yang, Wang, et al.
Veröffentlicht: (2026)

FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
von: Yang, Ziyi, et al.
Veröffentlicht: (2025)

Formal Verification of the Empty Hexagon Number
von: Subercaseaux, Bernardo, et al.
Veröffentlicht: (2024)

Visual Concept Networks: A Graph-Based Approach to Detecting Anomalous Data in Deep Neural Networks
von: Ganguly, Debargha, et al.
Veröffentlicht: (2024)

Formal Verification of Parameterized Systems based on Induction
von: Xiu, Jiaqi, et al.
Veröffentlicht: (2025)

Formal Verification of Isothermal Chemical Reactors
von: Feyzishendi, Parivash, et al.
Veröffentlicht: (2025)

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
von: Wojtak, Connor, et al.
Veröffentlicht: (2025)

{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
von: Cristiá, Maximiliano, et al.
Veröffentlicht: (2025)

Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
von: Jamroga, Wojciech, et al.
Veröffentlicht: (2025)

Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
von: Dardik, Ian, et al.
Veröffentlicht: (2025)

Formal Reasoning About Confidence and Automated Verification of Neural Networks
von: Afzal, Mohammad, et al.
Veröffentlicht: (2025)

Efficient Fine-Grained GPU Performance Modeling for Distributed Deep Learning of LLM
von: Zhang, Biyao, et al.
Veröffentlicht: (2025)

Formal Verification of Probing Security via Conditional Independence
von: Kura, Satoshi, et al.
Veröffentlicht: (2026)

Towards a Formal Verification of Secure Vehicle Software Updates
von: Hagen, Martin Slind, et al.
Veröffentlicht: (2025)

A Neurosymbolic Approach to Natural Language Formalization and Verification
von: Bayless, Sam, et al.
Veröffentlicht: (2025)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
von: Kaufmann, Daniela, et al.
Veröffentlicht: (2024)

Formal Verification of the Safegcd Implementation
von: O'Connor, Russell, et al.
Veröffentlicht: (2025)

Formal Verification of the Sumcheck Protocol
von: Bosshard, Azucena Garvía, et al.
Veröffentlicht: (2024)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures
von: Colvin, Robert J., et al.
Veröffentlicht: (2024)

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake
von: Coglio, Alessandro, et al.
Veröffentlicht: (2025)

Pseudo-Formalization for Automatic Proof Verification
von: Barkallah, Slim, et al.
Veröffentlicht: (2026)

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
von: Choton, Jahid Chowdhury, et al.
Veröffentlicht: (2024)

On Improving Deep Active Learning with Formal Verification
von: Spiegelman, Jonathan, et al.
Veröffentlicht: (2025)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
von: Hadad, Itamar, et al.
Veröffentlicht: (2026)

Path-Lock Expert: Separating Reasoning Mode in Hybrid Thinking via Architecture-Level Separation
von: Wang, Shouren, et al.
Veröffentlicht: (2026)

Towards Term-based Verification of Diagrammatic Equivalence
von: Cailler, Julie, et al.
Veröffentlicht: (2026)

A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
von: Beers, Adrian, et al.
Veröffentlicht: (2025)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
von: Lewis, Marco, et al.
Veröffentlicht: (2021)

A Theory of Formal Choreographic Languages
von: Barbanera, Franco, et al.
Veröffentlicht: (2022)

Modal Fragments
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2026)

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
von: Affeldt, Reynald, et al.
Veröffentlicht: (2023)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
von: Altuntas, Alper, et al.
Veröffentlicht: (2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
von: Elboher, Yizhak Yisrael, et al.
Veröffentlicht: (2025)

Formalizing UML State Machines for Automated Verification -- A Survey
von: André, Étienne, et al.
Veröffentlicht: (2024)

Smart Contracts Formal Verification: A Systematic Literature Review
von: Davila, Rene, et al.
Veröffentlicht: (2025)