Neural Network Verification is a Programming Language Challenge | Paper Citation Record

Observation 6355c816-efa6-454f-83f5-a0928f9e042b · outbound

This paper cites an unresolved cited work.

Neural Network Verification is a Programming Language Challenge Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.836310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2d0c015-2bee-407e-92d2-3aa49aecec1d · outbound

This paper cites In: Interactive Theorem Provers (ITP) 2024 (2024) 20 L.

Neural Network Verification is a Programming Language Challenge In: Interactive Theorem Provers (ITP) 2024 (2024) 20 L

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.840859Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0512b25-4c04-40ed-a5f8-73654e51cc9a · outbound

This paper cites In: International Conference on Autonomous Agents and Multiagent Systems, AAMAS.

Neural Network Verification is a Programming Language Challenge In: International Conference on Autonomous Agents and Multiagent Systems, AAMAS

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.847210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0087426a-5adb-4775-9eff-a0d84644d822 · outbound

This paper cites Introduction to Neural Network Verification.

Neural Network Verification is a Programming Language Challenge Introduction to Neural Network Verification

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.852691Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f440711-9c33-4de5-8977-329f81800d59 · outbound

This paper cites In: 15th International NASA Symposium on Formal Methods (NFM 2023), Houston, TX, USA, May 16–18, 2023.

Neural Network Verification is a Programming Language Challenge In: 15th International NASA Symposium on Formal Methods (NFM 2023), Houston, TX, USA, May 16–18, 2023

Reference 5

Resolution: verified exact; doi, observed 2026-08-10T21:09:22.979366Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 0150727b-b6b3-4a44-864f-2b90c232400e · outbound

This paper cites In: Groote, J.F., Larsen, K.G.

Neural Network Verification is a Programming Language Challenge In: Groote, J.F., Larsen, K.G

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.863387Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 199c52f3-e825-4e14-8888-a520c32af2cf · outbound

This paper cites an unresolved cited work.

Neural Network Verification is a Programming Language Challenge Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.869746Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f5e7209-5cd0-4785-bb7b-b9b24aeb52be · outbound

This paper cites Verifying Global Two-Safety Properties in Neural Networks with Confidence.

Neural Network Verification is a Programming Language Challenge Verifying Global Two-Safety Properties in Neural Networks with Confidence

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-08-10T21:09:24.445907Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 0b5ff70d-88ce-457d-ab38-62d43f4c41bf · outbound

This paper cites an unresolved cited work.

Neural Network Verification is a Programming Language Challenge Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.881337Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f2d81dc-2f67-4bb6-8a7a-b3774b8a7941 · outbound

This paper cites In: Proceedings of the AAAI Conference on Artificial Intelligence.

Neural Network Verification is a Programming Language Challenge In: Proceedings of the AAAI Conference on Artificial Intelligence

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.888840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b2d08f1-d87d-40b2-9950-99a8515eb46a · outbound

This paper cites The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results.

Neural Network Verification is a Programming Language Challenge The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.893724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f8ae9a9-d883-4a43-a3cb-090a9b3add89 · outbound

This paper cites In: Peltier, N., Sofronie-Stokkermans, V.

Neural Network Verification is a Programming Language Challenge In: Peltier, N., Sofronie-Stokkermans, V

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.898063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6ef06e5-cdec-44de-b9c3-ede50ffaacb9 · outbound

This paper cites www.SMT-LIB.org (2016).

Neural Network Verification is a Programming Language Challenge www.SMT-LIB.org (2016)

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.901835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14bef480-5a60-43c8-a757-c73fc6fd3d66 · outbound

This paper cites ACM Trans.

Neural Network Verification is a Programming Language Challenge ACM Trans

Reference 14

Resolution: verified exact; doi, observed 2026-08-10T21:09:22.952568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 1029c672-1b50-4606-a90b-c800372e0205 · outbound

This paper cites an unresolved cited work.

Neural Network Verification is a Programming Language Challenge Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.910806Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ff4b777-4d67-48a3-b29f-5f30bc5f3297 · outbound

This paper cites science/hal-04474530/document.

Neural Network Verification is a Programming Language Challenge science/hal-04474530/document

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.926975Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2933e5c-260c-4bea-a8ca-1877717ee7df · outbound

This paper cites The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results.

Neural Network Verification is a Programming Language Challenge The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.931736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5736502a-336a-4881-81b1-4004bfea2b72 · outbound

This paper cites The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results.

Neural Network Verification is a Programming Language Challenge The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.937853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e875933e-cd9c-4cd4-8f9c-73e20d08565a · outbound

This paper cites an unresolved cited work.

Neural Network Verification is a Programming Language Challenge Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.943232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bebab429-57d0-4b3a-b15c-b6b9a4e2dfc1 · outbound

This paper cites International Journal on Software Tools for Technology Transfer25(3), 329–339 (2023).

Neural Network Verification is a Programming Language Challenge International Journal on Software Tools for Technology Transfer25(3), 329–339 (2023)

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.947795Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68912415-f77f-47fd-9b56-8f4042124346 · outbound

This paper cites In: 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 6–10, 2023.

Neural Network Verification is a Programming Language Challenge In: 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 6–10, 2023

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.951828Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36d33d5d-ccb9-4d47-acc6-3afd048490c7 · outbound

This paper cites In: 2019 IEEE 26th Symposium on Com- puter Arithmetic (ARITH).

Neural Network Verification is a Programming Language Challenge In: 2019 IEEE 26th Symposium on Com- puter Arithmetic (ARITH)

Reference 23

Resolution: malformed identifier; no resolver link, observed 2026-08-10T21:09:21.956246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76d79522-938b-45c7-9140-bc3652c4c92a · outbound

This paper cites IEEE Transactions on Software Engineering 50(6), 1374–1395 (2024).https://doi.org/10.1109/TSE.2024.3385378.

Neural Network Verification is a Programming Language Challenge IEEE Transactions on Software Engineering 50(6), 1374–1395 (2024).https://doi.org/10.1109/TSE.2024.3385378

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.961868Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a98b894-c149-409f-a1df-c5e17898e9c8 · outbound

This paper cites an unresolved cited work.

Neural Network Verification is a Programming Language Challenge Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.966538Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c95bd91-618b-49c1-b95a-206c9b2a0660 · outbound

This paper cites In: Computer Aided Verification (CAV 2022).

Neural Network Verification is a Programming Language Challenge In: Computer Aided Verification (CAV 2022)

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.991246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6efc2b1-07cb-4c9e-a1ee-b808d858f05b · outbound

This paper cites Specifying and Testing $k$-Safety Properties for Machine-Learning Models.

Neural Network Verification is a Programming Language Challenge Specifying and Testing $k$-Safety Properties for Machine-Learning Models

Reference 28

Resolution: verified exact; local_arxiv, observed 2026-08-10T21:09:24.139288Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8ed0de53-ed38-46ac-8c58-21155349b8bb · outbound

This paper cites In: Smola, A., Dimakis, A., Sto- ica, I.

Neural Network Verification is a Programming Language Challenge In: Smola, A., Dimakis, A., Sto- ica, I

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.014780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc03e454-e5bc-4c2b-99cf-d9e3eb3c1a6d · outbound

This paper cites an unresolved cited work.

Neural Network Verification is a Programming Language Challenge Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.021500Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee305966-a971-4f8d-ad98-71460dc5bc42 · outbound

This paper cites Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers.

Neural Network Verification is a Programming Language Challenge Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.028644Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e4dea1f-6e37-4cad-832d-72dbcf1ad40d · outbound

This paper cites Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs.

Neural Network Verification is a Programming Language Challenge Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.037718Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3350020-2d9b-4336-9939-a8188d95c9de · outbound

This paper cites In: Narodytska, N., Amir, G., Katz, G., Isac, O.

Neural Network Verification is a Programming Language Challenge In: Narodytska, N., Amir, G., Katz, G., Isac, O

Reference 33

Resolution: malformed identifier; no resolver link, observed 2026-08-10T21:09:22.044983Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e17892d0-b907-4662-b015-cdd979645e0b · outbound

This paper cites Frontiers of Computer Science16(3), 1–22 (2022).

Neural Network Verification is a Programming Language Challenge Frontiers of Computer Science16(3), 1–22 (2022)

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.051803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77812650-2737-4de3-a1ef-7ca4fb1c9ccf · outbound

This paper cites In: 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (Jul 2023).

Neural Network Verification is a Programming Language Challenge In: 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (Jul 2023)

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.061304Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b3e7e1a-ede3-4a15-a645-c77bcd5d68fc · outbound

This paper cites In: 32nd USENIX Security Symposium (USENIX Security 23).

Neural Network Verification is a Programming Language Challenge In: 32nd USENIX Security Symposium (USENIX Security 23)

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.067928Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3aeab943-831c-4ea1-b50d-e73f6ded3fc2 · outbound

This paper cites A Certified Proof Checker for Deep Neural Network Verification in Imandra.

Neural Network Verification is a Programming Language Challenge A Certified Proof Checker for Deep Neural Network Verification in Imandra

Reference 37

Resolution: metadata mismatch; local_arxiv, observed 2026-08-10T21:09:24.117081Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 97831336-70ed-4c00-a817-04a49c34e060 · outbound

This paper cites In: Glück, R., Kafle, B.

Neural Network Verification is a Programming Language Challenge In: Glück, R., Kafle, B

Reference 38

Resolution: verified exact; doi, observed 2026-08-10T21:09:22.867457Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 41a0602a-2764-499f-8fe5-1d33f0962c03 · outbound

This paper cites In: PPDP 2022: 24th International SymposiumonPrinciplesandPracticeofDeclarativeProgramming,Tbilisi,Geor- gia, September 20 - 22, 2022.

Neural Network Verification is a Programming Language Challenge In: PPDP 2022: 24th International SymposiumonPrinciplesandPracticeofDeclarativeProgramming,Tbilisi,Geor- gia, September 20 - 22, 2022

Reference 39

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T21:09:24.095327Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 816ad7a6-4e2e-48af-9bbb-412d69711f6d · outbound

This paper cites IFAC-PapersOnLine 51(16), 151 – 156 (2018).

Neural Network Verification is a Programming Language Challenge IFAC-PapersOnLine 51(16), 151 – 156 (2018)

Reference 41

Resolution: verified exact; doi, observed 2026-08-10T21:09:22.850830Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b9cbc1e9-1e23-46f4-9d10-65b3f276e4e7 · outbound

This paper cites In: Dutle, A., Muñoz, C., Narkawicz, A.

Neural Network Verification is a Programming Language Challenge In: Dutle, A., Muñoz, C., Narkawicz, A

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.122300Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e382a54-f9d6-4319-9cdd-24decbcf608e · outbound

This paper cites In:D’Souza,D.,NarayanKumar,K.(eds.)AutomatedTechnologyforVerification and Analysis.

Neural Network Verification is a Programming Language Challenge In:D’Souza,D.,NarayanKumar,K.(eds.)AutomatedTechnologyforVerification and Analysis

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.127208Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d4a5bc6-eb1c-484b-9ef6-2198338e5b68 · outbound

This paper cites In: International Symposium on Automated Technology for Verification and Analysis (ATVA) (2020) NN Verification is a PL Challenge 23.

Neural Network Verification is a Programming Language Challenge In: International Symposium on Automated Technology for Verification and Analysis (ATVA) (2020) NN Verification is a PL Challenge 23

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.132113Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d21891f-56c5-4933-a63f-8b17527a4936 · outbound

This paper cites In: Felleisen, M., Gardner, P.

Neural Network Verification is a Programming Language Challenge In: Felleisen, M., Gardner, P

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.137706Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d42d4f6-a4c7-4e5a-8baf-4dcae9f0a6b7 · outbound

This paper cites In: Chaudhuri, K., Salakhutdinov, R.

Neural Network Verification is a Programming Language Challenge In: Chaudhuri, K., Salakhutdinov, R

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.144109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5be9799-be5e-42d0-8afe-01f7a7e4c326 · outbound

This paper cites Comparing differentiable logics for learning with logical constraints.

Neural Network Verification is a Programming Language Challenge Comparing differentiable logics for learning with logical constraints

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.150261Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0019653c-f236-4464-9ea1-1f2d912e0225 · outbound

This paper cites In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation.

Neural Network Verification is a Programming Language Challenge In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.156908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51c42952-ec53-499f-bce7-bd17c73c00c2 · outbound

This paper cites In: Low-Power Computer Vision, pp.

Neural Network Verification is a Programming Language Challenge In: Low-Power Computer Vision, pp

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.163537Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4a6af5b-b9b5-40b3-9734-74d17c2c4c8a · outbound

This paper cites (eds.) Tools and Algorithms for the Construction and Analysis of Systems.

Neural Network Verification is a Programming Language Challenge (eds.) Tools and Algorithms for the Construction and Analysis of Systems

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.168919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdd4d825-73fb-43fc-b79d-065a98000817 · outbound

This paper cites In: AISafety.

Neural Network Verification is a Programming Language Challenge In: AISafety

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.174746Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1cd5e5e3-4ff1-4d9e-837b-4cf7c7a6ef93 · outbound

This paper cites In: Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22).

Neural Network Verification is a Programming Language Challenge In: Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22)

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.182457Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d214497-1188-4577-b34c-ecc83d8a8ab6 · outbound

This paper cites In: Raedt, L.D.

Neural Network Verification is a Programming Language Challenge In: Raedt, L.D

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.190276Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f8fa438-9d31-43d2-a4b2-b9d42c6d077f · outbound

This paper cites an unresolved cited work.

Neural Network Verification is a Programming Language Challenge Unresolved cited work

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.203555Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb138067-4511-4821-89a0-bf5351fc8aa8 · outbound

This paper cites In: Proceedings of the IEEE/CVF International Conference on Computer Vision.

Neural Network Verification is a Programming Language Challenge In: Proceedings of the IEEE/CVF International Conference on Computer Vision

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.210617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8f8c824-c8a0-4900-9124-c41992df808c · outbound

This paper cites ACM Comput.

Neural Network Verification is a Programming Language Challenge ACM Comput

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.223194Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2cfc3697-849a-408d-bd55-1b3cce401b42 · outbound

This paper cites In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) (June 2019).

Neural Network Verification is a Programming Language Challenge In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) (June 2019)

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.230682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bac9588-866a-4e69-ac41-8fdb46b31903 · outbound

This paper cites In: Proceedings of the AAAI conference on artificial intelligence.

Neural Network Verification is a Programming Language Challenge In: Proceedings of the AAAI conference on artificial intelligence

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.235865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09ef2db4-ea14-4dcf-a7a3-fdda5dc71780 · outbound

This paper cites IOS Press (2022).

Neural Network Verification is a Programming Language Challenge IOS Press (2022)

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.243743Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 022054c0-ec68-4704-993c-42470095cafc · outbound

This paper cites In: International Sym- posium on Automated Technology for Verification and Analysis (ATVA) (2022).

Neural Network Verification is a Programming Language Challenge In: International Sym- posium on Automated Technology for Verification and Analysis (ATVA) (2022)

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.249076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b27e964-f219-46e0-9aff-90bd6941bd59 · outbound

This paper cites ACM Transactions on Embedded Computing Systems (TECS) 18(5s), 1–22 (2019).

Neural Network Verification is a Programming Language Challenge ACM Transactions on Embedded Computing Systems (TECS) 18(5s), 1–22 (2019)

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.256373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe4d2cfc-0e00-44b8-a81f-93339cac871f · outbound

This paper cites In: Proceedings of the AAAI Conference on Artificial Intelligence.

Neural Network Verification is a Programming Language Challenge In: Proceedings of the AAAI Conference on Artificial Intelligence

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.261627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85ff2a8e-7823-4365-8279-c9e441abaace · outbound

This paper cites an unresolved cited work.

Neural Network Verification is a Programming Language Challenge Unresolved cited work

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.267457Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64244098-f8d7-4e7c-8a59-6c65b260989a · outbound

This paper cites IEEE Std 754-2019 (Revision of IEEE 754-2008) pp.

Neural Network Verification is a Programming Language Challenge IEEE Std 754-2019 (Revision of IEEE 754-2008) pp

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.274737Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e6c24f5-a3b1-46d1-811f-1100c2301f7d · outbound

This paper cites In: Proc.

Neural Network Verification is a Programming Language Challenge In: Proc

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.281594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0a52102-2afc-41c2-b522-dc685e44dd09 · outbound

This paper cites In: International Conference on Computer-Aided Verification (2021).

Neural Network Verification is a Programming Language Challenge In: International Conference on Computer-Aided Verification (2021)

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.289317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6361f94-b341-4b30-b39c-29846c098b53 · outbound

This paper cites ACM Trans.

Neural Network Verification is a Programming Language Challenge ACM Trans

Reference 68

Resolution: verified exact; doi, observed 2026-08-10T21:09:22.795403Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 20d8e82f-2f32-494d-94f5-97175cb0dbc5 · outbound

This paper cites In: International Conference on Hybrid Systems: Computation and Control.

Neural Network Verification is a Programming Language Challenge In: International Conference on Hybrid Systems: Computation and Control

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.303044Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5b82eae-1243-4166-8d6c-734f7945de1f · outbound

This paper cites In: Larochelle, H., Ranzato, M., Hadsell, R., Balcan, M., Lin, H.

Neural Network Verification is a Programming Language Challenge In: Larochelle, H., Ranzato, M., Hadsell, R., Balcan, M., Lin, H

Reference 70

Resolution: verified exact; raw_fallback, observed 2026-08-10T21:09:23.818178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 0465b18c-4117-4d56-9075-9b3473866ffb · outbound

This paper cites In: Drăgoi, C., Mukherjee, S., Namjoshi, K.

Neural Network Verification is a Programming Language Challenge In: Drăgoi, C., Mukherjee, S., Namjoshi, K

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.313874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ea42091-9282-43e3-87f0-749bdd09d5d6 · outbound

This paper cites In: Frehse, G., Althoff, M.

Neural Network Verification is a Programming Language Challenge In: Frehse, G., Althoff, M

Reference 72

Resolution: malformed identifier; no resolver link, observed 2026-08-10T21:09:22.319878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45c34ef8-595e-4bd8-834a-5ab67380ff4e · outbound

This paper cites In: Frehse, G., Althoff, M.

Neural Network Verification is a Programming Language Challenge In: Frehse, G., Althoff, M

Reference 73

Resolution: malformed identifier; doi_truncated, observed 2026-08-10T21:09:22.778596Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 6a9bac76-5018-49eb-9c92-8ad8609eb68b · outbound

This paper cites In: International conference on computer aided verification.

Neural Network Verification is a Programming Language Challenge In: International conference on computer aided verification

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.329809Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ad76a79-9886-4cd5-9820-d5454a103855 · outbound

This paper cites 443–452 (07 2019).

Neural Network Verification is a Programming Language Challenge 443–452 (07 2019)

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.334172Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67ef968a-5764-4724-b755-0189fc23a55c · outbound

This paper cites In: NASA Formal Methods.

Neural Network Verification is a Programming Language Challenge In: NASA Formal Methods

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.338490Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 159cc1eb-1aa7-40b2-9de8-9478ca90c73c · outbound

This paper cites an unresolved cited work.

Neural Network Verification is a Programming Language Challenge Unresolved cited work

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.342514Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81c24056-010e-4552-9e07-e2655e62baeb · outbound

This paper cites NeurIPS 2018 tutorial (2018), available athttps://adversarial-ml-tutorial.org/.

Neural Network Verification is a Programming Language Challenge NeurIPS 2018 tutorial (2018), available athttps://adversarial-ml-tutorial.org/

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.352983Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef108083-77cf-4eed-aa19-71c46c93e0c0 · outbound

This paper cites Tutorial at NeurIPS p.

Neural Network Verification is a Programming Language Challenge Tutorial at NeurIPS p

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.357761Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7527080c-c78d-49a5-be1a-271bb538281d · outbound

This paper cites In: Interna- tional Conference on Tools and Algorithms for the Construction and Analysis of Systems.

Neural Network Verification is a Programming Language Challenge In: Interna- tional Conference on Tools and Algorithms for the Construction and Analysis of Systems

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.363744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6510015-18de-474c-9610-4232cec850ad · outbound

This paper cites In: International Confer- ence on Learning Representations (2020),https://openreview.net/forum?id= BkgXT24tDS.

Neural Network Verification is a Programming Language Challenge In: International Confer- ence on Learning Representations (2020),https://openreview.net/forum?id= BkgXT24tDS

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.368910Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1282846a-ddd7-4170-95a5-528a0b41d8fc · outbound

This paper cites ACM Trans.

Neural Network Verification is a Programming Language Challenge ACM Trans

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.373741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 920fe8e4-3062-4347-85c1-9af9aad6a885 · outbound

This paper cites In: Frehse, G., Althoff, M., Schoitsch, E., Guiochet, J.

Neural Network Verification is a Programming Language Challenge In: Frehse, G., Althoff, M., Schoitsch, E., Guiochet, J

Reference 83

Resolution: malformed identifier; doi_truncated, observed 2026-08-10T21:09:24.925751Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 6ad84824-e688-48e5-b736-24dc706f87a8 · outbound

This paper cites In: Frehse, G., Althoff, M.

Neural Network Verification is a Programming Language Challenge In: Frehse, G., Althoff, M

Reference 84

Resolution: malformed identifier; no resolver link, observed 2026-08-10T21:09:22.384762Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82b82b80-2e48-4bd6-bf43-c67cfe610e4c · outbound

This paper cites https://doi.org/10.1007/978-3-030-64437-6_4 , https: //doi.org/10.1007/978-3-030-64437-6_4.

Neural Network Verification is a Programming Language Challenge https://doi.org/10.1007/978-3-030-64437-6_4 , https: //doi.org/10.1007/978-3-030-64437-6_4

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.347885Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53add812-cc15-46dc-aefb-8195b643f2b8 · outbound

This paper cites In: Frehse, G., Althoff, M.

Neural Network Verification is a Programming Language Challenge In: Frehse, G., Althoff, M

Reference 86

Resolution: malformed identifier; no resolver link, observed 2026-08-10T21:09:22.398019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4c78328-f15e-425d-b219-69221f24d72c · outbound

This paper cites In: International Conference on Learn- ing Representations (2018).

Neural Network Verification is a Programming Language Challenge In: International Conference on Learn- ing Representations (2018)

Reference 87

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:09:24.893472Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 00494455-e9d3-48c1-9f9d-37f45339c7a7 · outbound

This paper cites In: Proceedings of the 22nd ACM SIGPLAN Inter- national Conference on Generative Programming: Concepts and Experiences.

Neural Network Verification is a Programming Language Challenge In: Proceedings of the 22nd ACM SIGPLAN Inter- national Conference on Generative Programming: Concepts and Experiences

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.408382Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6837382-1343-4204-b9a5-f840b9d433e8 · outbound

This paper cites In: Enea, C., Lal, A.

Neural Network Verification is a Programming Language Challenge In: Enea, C., Lal, A

Reference 89

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:09:24.911003Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 38c6b853-9f2f-4fd6-a3ef-2ce71fa4e8dd · outbound

This paper cites Artificial Intelli- gence 298, 103504 (2021).

Neural Network Verification is a Programming Language Challenge Artificial Intelli- gence 298, 103504 (2021)

Reference 90

Resolution: malformed identifier; no resolver link, observed 2026-08-10T21:09:22.419704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8c914d8-7b16-43b6-ba7d-301e32032a11 · outbound

This paper cites In: Workshop on Automated Formal Reasoning for Trustworthy AI Systems (2023).

Neural Network Verification is a Programming Language Challenge In: Workshop on Automated Formal Reasoning for Trustworthy AI Systems (2023)

Reference 91

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:09:24.871659Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b388d392-d73d-4dcb-b2ed-e253fb664d27 · outbound

This paper cites IEEE Transac- tions on Computer-Aided Design of Integrated Circuits and Systems43(4), 1121– 1134 (2024).

Neural Network Verification is a Programming Language Challenge IEEE Transac- tions on Computer-Aided Design of Integrated Circuits and Systems43(4), 1121– 1134 (2024)

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.429239Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d88ec5fe-37c5-425a-a9d1-d8ab1a1057c4 · outbound

This paper cites Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.

Neural Network Verification is a Programming Language Challenge Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.413272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fc356d8-b202-47e4-9115-5b9fc910e821 · outbound

This paper cites IEEE Transactions on Computer-Aided Design of In- tegrated Circuits and Systems41(11), 4445–4456 (2022).

Neural Network Verification is a Programming Language Challenge IEEE Transactions on Computer-Aided Design of In- tegrated Circuits and Systems41(11), 4445–4456 (2022)

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.437888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation caea8a1e-94a9-4a53-bdf0-4ad28daae968 · outbound

This paper cites In: Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages.

Neural Network Verification is a Programming Language Challenge In: Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages

Reference 95

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:09:24.841031Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 80912efc-e025-44a0-8e80-448368b5263b · outbound

This paper cites an unresolved cited work.

Neural Network Verification is a Programming Language Challenge Unresolved cited work

Reference 96

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:09:24.824412Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 78906a7c-fc99-496a-931c-96c60f383a95 · outbound

This paper cites In: Finkbeiner, B., Kovács, L.

Neural Network Verification is a Programming Language Challenge In: Finkbeiner, B., Kovács, L

Reference 97

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:09:24.855920Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3b1047cf-7f08-4475-9b44-06a9887639b6 · outbound

This paper cites In: Chaudhuri, K., Salakhutdinov, R.

Neural Network Verification is a Programming Language Challenge In: Chaudhuri, K., Salakhutdinov, R

Reference 98

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:09:24.784972Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 313d011c-aa02-40e4-949f-d7e3d56e8264 · outbound

This paper cites Inductive Logic Programming via Differentiable Deep Neural Logic Networks.

Neural Network Verification is a Programming Language Challenge Inductive Logic Programming via Differentiable Deep Neural Logic Networks

Reference 99

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.461018Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b934a96e-f963-4393-b444-2f7b300d9207 · outbound

This paper cites In: Proceedings of the 35th IEEE/ACM Inter- national Conference on Automated Software Engineering.

Neural Network Verification is a Programming Language Challenge In: Proceedings of the 35th IEEE/ACM Inter- national Conference on Automated Software Engineering

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.465544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a97b0fc-95c2-4809-9c2e-418837fbebbc · outbound

This paper cites In: Proceedings of the AAAI Conference on Artificial Intelligence.

Neural Network Verification is a Programming Language Challenge In: Proceedings of the AAAI Conference on Artificial Intelligence

Reference 101

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:09:24.806290Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 12846013-ca08-46b3-97a5-29b4736c6412 · outbound

This paper cites In: Touili, T., Cook, B., Jackson, P.

Neural Network Verification is a Programming Language Challenge In: Touili, T., Cook, B., Jackson, P

Reference 102

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:09:24.754685Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4e626d71-7f10-4cf3-989d-6a4eb9de6417 · outbound

This paper cites Pattern Recognition 105, 107281 (2020).

Neural Network Verification is a Programming Language Challenge Pattern Recognition 105, 107281 (2020)

Reference 103

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:22.480143Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bee3664b-a401-4fc5-aaf5-f1d17353d64d · outbound

This paper cites In: Proc.

Neural Network Verification is a Programming Language Challenge In: Proc

Reference 104

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:09:24.739083Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers