Papers

• Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability (2026)
  Shirley Yu et al.
  4.33
• Mission-Level Runtime Assurance for LLM-Assisted ISR Swarms over a Verification-Aware Fabric (2026)
  Nikolaos Kekatos et al.
  1.94
• Stratified Negation in RDF Rules: A Correct Approach (Extended Version) (2026)
  Nils K\"uchenmeister et al.
  1.94
• Mining Verdict Boundaries for Neural Network Verification (2026)
  Jiawei Ren et al.
  1.94
• Learning Lookahead Lemmas for Neural Network Verification (2026)
  Liam Davis et al.
  1.94
• Logic Tensor Network-Enhanced Generative Adversarial Network (2026)
  Nijesh Upreti (The University of Edinburgh) et al.
  1.61
• Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games (2025)
  Mirco A. Mannucci
  1.44
• BemaGANv2: Discriminator Combination Strategies for GAN-based Vocoders in Long-Term Audio Generation (2025)
  Taesoo Park et al.
  1.22