Pal, Abhinandan

2 publications

NeurIPS 2025 Let a Neural Network Be Your Invariant Mirco Giacobbe, Daniel Kroening, Abhinandan Pal, Michael Tautschnig

NeurIPS 2024 Neural Model Checking Mirco Giacobbe, Daniel Kroening, Abhinandan Pal, Michael Tautschnig