Kartik Arya

Identifiers

• name variant Kartik Arya 0.60 · backfill

Papers (1)

1. Veriphi: Attack-Guided Neural Network Verification with Dataset-Dependent Training Methods cs.LG · 2026 · author #2

Mentions

• 2606.18454 #2 · arxiv_oai · confidence 0.70 Kartik Arya

Frequent Coauthors

• Pratik Deshmukh 1 shared papers
• Vasili Savin 1 shared papers