Skip to content

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

LISynSeg: Data-Centric Label-to-Image Synthesis for Cross-Modality Whole-Heart Segmentation

Whole-heart segmentation (WHS) in computed tomography (CT) and magnetic resonance imaging (MRI) is affected by acquisition shifts and heterogeneous cardiac annotations. Existing WHS systems combine architectural design, transfer learning, and generic spatial or intensity augmentation. We investigate whether changes to...

Jiacheng Wang, Ivana Išgum, I. Oguz · 0 citations
#artificial intelligence Review Sep 2026

NNV3: Expanding Neural Network Verification to New Architectures and Domains

NNV3 is presented, the latest version of the Neural Network Verification tool, a MATLAB framework for formal verification of deep learning models and learning-enabled cyber-physical systems, demonstrating NNV's maturation into a comprehensive, robust, and accessible verification tool for a diverse range of AI systems.

Anne M. Tumlin, Samuel Sasaki, Ben Wooding et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.