Paper Citation Record · LEDGER

A General Framework for Property-Driven Machine Learning

As of 17 August 2026, this Paper Citation Record lists 76 of 76 outbound references and 3 inbound Pith citation observations for arXiv:2505.00466.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2505.00466 v2

Coverage vector

measured 76 of 76 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T04:48:46.666730Z

measured 79 of 79 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-26T18:39:21.979619Z

measured 1 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

76 of 76 outbound references displayed

verified exact0
verified fuzzy18
unresolved46
parse uncertain0
malformed identifier9
metadata mismatch3

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 06dbaedd-57cd-4c4f-bf22-c41fd4902170 · outbound

This paper cites Taming Differentiable Logics with Coq Formalisation.

A General Framework for Property-Driven Machine Learning Taming Differentiable Logics with Coq Formalisation

Reference 1

Resolution: metadata mismatch; local_arxiv, observed 2026-08-16T04:48:47.271760Z

Source-reported events for the cited work

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

Observation 66949848-c373-4dca-8aec-246a205be368 · outbound

This paper cites Proceedings of the AAAI Conference on Artificial Intelligence36(11), 13152–13154 (Jun 2022).

A General Framework for Property-Driven Machine Learning Proceedings of the AAAI Conference on Artificial Intelligence36(11), 13152–13154 (Jun 2022)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.037370Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dac08955-cf89-4faf-bf3e-c049387324b8 · outbound

This paper cites In: Advances in Neural Information Processing Systems (Oct 2022).

A General Framework for Property-Driven Machine Learning In: Advances in Neural Information Processing Systems (Oct 2022)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:49.468494Z

Source-reported events for the cited work

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

Observation 23bdc485-ec28-49a6-bc5b-b0dd6dd51494 · outbound

This paper cites Introduction to Neural Network Verification.

A General Framework for Property-Driven Machine Learning Introduction to Neural Network Verification

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.046682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66bdc893-1070-4a38-99f1-03734ebffe34 · outbound

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

A General Framework for Property-Driven Machine Learning The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.051783Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6eff693-7ea3-4e4c-8e12-31a461daae80 · outbound

This paper cites In: Beklemishev, L.D., Blass, A., Dershowitz, N., Finkbeiner, B., Schulte, W.

A General Framework for Property-Driven Machine Learning In: Beklemishev, L.D., Blass, A., Dershowitz, N., Finkbeiner, B., Schulte, W

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:49.454427Z

Source-reported events for the cited work

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

Observation 4e73aea8-5cff-4cf6-8372-febe1d042617 · outbound

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

A General Framework for Property-Driven Machine Learning The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.066925Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07e75016-41cc-43da-8947-bc255e7ce617 · outbound

This paper cites Interna- tional Journal on Software Tools for Technology Transfer25(3), 329–339 (Jun 2023).

A General Framework for Property-Driven Machine Learning Interna- tional Journal on Software Tools for Technology Transfer25(3), 329–339 (Jun 2023)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.178727Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 013c0363-c438-4da1-97dc-36d8a01811c7 · outbound

This paper cites Journal of Machine Learning Research 21 (2020).

A General Framework for Property-Driven Machine Learning Journal of Machine Learning Research 21 (2020)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:49.272570Z

Source-reported events for the cited work

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

Observation 8d5f6cc0-dc5f-483b-b33c-3fffd42b7beb · outbound

This paper cites In: Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems.

A General Framework for Property-Driven Machine Learning In: Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:49.256623Z

Source-reported events for the cited work

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

Observation a151a0fb-14f1-414d-84c2-cce68350a135 · outbound

This paper cites European Journal of Applied Mathematics pp.

A General Framework for Property-Driven Machine Learning European Journal of Applied Mathematics pp

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.301262Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58394031-06f9-4437-881e-52ee0cd1dc5b · outbound

This paper cites In: Shoham, S., Vizel, Y.

A General Framework for Property-Driven Machine Learning In: Shoham, S., Vizel, Y

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.306510Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a5f4792-ff02-45dc-a492-9418485e9988 · outbound

This paper cites an unresolved cited work.

A General Framework for Property-Driven Machine Learning Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.310831Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92fc8c37-3b61-450b-a281-f16d29997df3 · outbound

This paper cites In: Pro- ceedings of the 35th International Conference on Machine Learning.

A General Framework for Property-Driven Machine Learning In: Pro- ceedings of the 35th International Conference on Machine Learning

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:49.089835Z

Source-reported events for the cited work

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

Observation 0d1ea177-0410-4f24-9731-e0cbef51fc06 · outbound

This paper cites In: Proceedings of the 37th International Conference on Machine Learning.

A General Framework for Property-Driven Machine Learning In: Proceedings of the 37th International Conference on Machine Learning

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:49.074185Z

Source-reported events for the cited work

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

Observation 84dedc72-09f6-4380-8b53-b8e29f5c3602 · outbound

This paper cites International Journal of Computer Vision128(4), 1028–1046 (Apr 2020).

A General Framework for Property-Driven Machine Learning International Journal of Computer Vision128(4), 1028–1046 (Apr 2020)

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.323045Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecb93d9b-3372-4d56-9461-090b4ad1e325 · outbound

This paper cites In: Kalpa Publications in Computing.

A General Framework for Property-Driven Machine Learning In: Kalpa Publications in Computing

Reference 17

Resolution: malformed identifier; no resolver link, observed 2026-08-16T04:48:45.328141Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88aeef53-577d-4766-9e17-1677d7e0447b · outbound

This paper cites In: Proceedings of the 12th ACM SIGPLAN International Conference on Cer- tified Programs and Proofs.

A General Framework for Property-Driven Machine Learning In: Proceedings of the 12th ACM SIGPLAN International Conference on Cer- tified Programs and Proofs

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.446815Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2dc5f27-8e3e-43a6-b118-23e4e47a945f · outbound

This paper cites https://doi.org/10.48550/ arXiv.2402.01353.

A General Framework for Property-Driven Machine Learning https://doi.org/10.48550/ arXiv.2402.01353

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.477965Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e92b4e3-df7a-41c9-a38e-711b9e308b72 · outbound

This paper cites an unresolved cited work.

A General Framework for Property-Driven Machine Learning Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:48:49.002918Z

Source-reported events for the cited work

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

Observation 7e8c3299-b5b1-4063-a323-74f0cef8a61c · outbound

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

A General Framework for Property-Driven Machine Learning Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.486816Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de9d7d4c-aef3-48dd-8c28-f9d7721c772b · outbound

This paper cites Artificial Intelligence244, 143–165 (Mar 2017).

A General Framework for Property-Driven Machine Learning Artificial Intelligence244, 143–165 (Mar 2017)

Reference 22

Resolution: malformed identifier; raw_fallback, observed 2026-08-16T04:48:48.885796Z

Source-reported events for the cited work

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

Observation 77155035-f6ff-45cc-b0e5-d100e040603e · outbound

This paper cites In: Ferrari, A., Penzenstadler, B.

A General Framework for Property-Driven Machine Learning In: Ferrari, A., Penzenstadler, B

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.496054Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 828ca1c2-b747-4221-9bb4-155a089011cb · outbound

This paper cites In: Proceedings of the 36th International Conference on Machine Learning.

A General Framework for Property-Driven Machine Learning In: Proceedings of the 36th International Conference on Machine Learning

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:48.872054Z

Source-reported events for the cited work

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

Observation 68143c37-5910-45ef-ac40-2cbe93978e7e · outbound

This paper cites Science of Computer Programming244, 103280 (Sep 2025).

A General Framework for Property-Driven Machine Learning Science of Computer Programming244, 103280 (Sep 2025)

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.504753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d3706a5-74a8-4864-a2cc-fd77cc6b1553 · outbound

This paper cites In: Pro- ceedings of the 40th ACM/SIGAPP Symposium on Applied Computing.

A General Framework for Property-Driven Machine Learning In: Pro- ceedings of the 40th ACM/SIGAPP Symposium on Applied Computing

Reference 26

Resolution: metadata mismatch; raw_fallback, observed 2026-08-16T04:48:47.784460Z

Source-reported events for the cited work

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

Observation b2ae1cb5-f14d-4125-ad48-f6b8fec1003b · outbound

This paper cites In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence.

A General Framework for Property-Driven Machine Learning In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence

Reference 27

Resolution: malformed identifier; raw_fallback, observed 2026-08-16T04:48:48.858739Z

Source-reported events for the cited work

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

Observation ed6190ae-4968-414b-a079-4a5ab863e344 · outbound

This paper cites an unresolved cited work.

A General Framework for Property-Driven Machine Learning Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.609748Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0c8ee4b-4e7e-4e9f-b5bf-12e02a8b4e82 · outbound

This paper cites Explaining and Harnessing Adversarial Examples.

A General Framework for Property-Driven Machine Learning Explaining and Harnessing Adversarial Examples

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.697244Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad4f4ef3-e817-424c-b3ca-3adeea59347f · outbound

This paper cites In: 2019 IEEE/CVF International Conference on Computer Vision (ICCV).

A General Framework for Property-Driven Machine Learning In: 2019 IEEE/CVF International Conference on Computer Vision (ICCV)

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.794159Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bd22e90-acd5-431c-b862-e939e934a6a0 · outbound

This paper cites Computer Science Review37, 100270 (Aug 2020).

A General Framework for Property-Driven Machine Learning Computer Science Review37, 100270 (Aug 2020)

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.799758Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdde50d4-c5ce-41a4-9244-ad114f3a313c · outbound

This paper cites In: 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC).

A General Framework for Property-Driven Machine Learning In: 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.804376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc22028c-e2d9-4cb5-9d14-43453cd5a062 · outbound

This paper cites Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.

A General Framework for Property-Driven Machine Learning Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.809270Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c8ca27f-a295-40dd-9b99-7211bf48f8cb · outbound

This paper cites In: Majumdar, R., Kunčak, V.

A General Framework for Property-Driven Machine Learning In: Majumdar, R., Kunčak, V

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.853090Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b68f9d4-35a7-4d8c-ae1e-44c9b6d09128 · outbound

This paper cites In: Dillig, I., Tasiran, S.

A General Framework for Property-Driven Machine Learning In: Dillig, I., Tasiran, S

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.930359Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba4ac81f-752e-4623-9e3d-c29b177d2a59 · outbound

This paper cites Neural Network Verification for Gliding Drone Control: A Case Study.

A General Framework for Property-Driven Machine Learning Neural Network Verification for Gliding Drone Control: A Case Study

Reference 36

Resolution: metadata mismatch; local_arxiv, observed 2026-08-16T04:48:46.991499Z

Source-reported events for the cited work

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

Observation 72b24d88-b11a-4d03-a5b0-76fe97b23903 · outbound

This paper cites In: Decision Making Under Uncertainty: Theory and Application, pp.

A General Framework for Property-Driven Machine Learning In: Decision Making Under Uncertainty: Theory and Application, pp

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:48.843888Z

Source-reported events for the cited work

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

Observation 110687c0-76d5-42e2-a382-9275674f8059 · outbound

This paper cites an unresolved cited work.

A General Framework for Property-Driven Machine Learning Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:48:48.680878Z

Source-reported events for the cited work

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

Observation 250a4219-e213-402c-9d3d-970f4053e9c5 · outbound

This paper cites an unresolved cited work.

A General Framework for Property-Driven Machine Learning Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:48:48.653263Z

Source-reported events for the cited work

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

Observation 66948541-ee31-4448-9911-04814050b725 · outbound

This paper cites A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction.

A General Framework for Property-Driven Machine Learning A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.081704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 277295a8-2ecc-4688-ba47-5fd0d80f6bbd · outbound

This paper cites Proceedings of the IEEE86(11), 2278–2324 (Nov 1998).

A General Framework for Property-Driven Machine Learning Proceedings of the IEEE86(11), 2278–2324 (Nov 1998)

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.108861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 891ce532-1c91-4838-913a-24ec2102f8c8 · outbound

This paper cites Journal of Fluid Mechanics937, A6 (Apr 2022).

A General Framework for Property-Driven Machine Learning Journal of Fluid Mechanics937, A6 (Apr 2022)

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.113556Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cb4d379-ab46-401a-ac3d-02e6c5e5cf32 · outbound

This paper cites Foundations and Trends in Optimization 4(3-4), 244–404 (Feb 2021).

A General Framework for Property-Driven Machine Learning Foundations and Trends in Optimization 4(3-4), 244–404 (Feb 2021)

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.117757Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a99fcb6-97dc-476c-b94d-d3b93c47b4e0 · outbound

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

A General Framework for Property-Driven Machine Learning In: Enea, C., Lal, A

Reference 44

Resolution: malformed identifier; raw_fallback, observed 2026-08-16T04:48:48.639471Z

Source-reported events for the cited work

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

Observation 49fba81c-2459-45f6-bb37-94a17a321fe3 · outbound

This paper cites In: International Conference on Learning Representations (Sep 2018).

A General Framework for Property-Driven Machine Learning In: International Conference on Learning Representations (Sep 2018)

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:48.624281Z

Source-reported events for the cited work

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

Observation 6bec7bf5-6da6-46ee-85df-676d2813c6d0 · outbound

This paper cites In: International Conference on Learning Representations (Feb 2018).

A General Framework for Property-Driven Machine Learning In: International Conference on Learning Representations (Feb 2018)

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:48.446246Z

Source-reported events for the cited work

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

Observation 5959df6d-988f-4115-a24b-708b8c9e7d94 · outbound

This paper cites In: Advances in Neural Infor- mation Processing Systems.

A General Framework for Property-Driven Machine Learning In: Advances in Neural Infor- mation Processing Systems

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:48.387135Z

Source-reported events for the cited work

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

Observation 59cec8bb-9959-4a92-a6b5-2f6b85997350 · outbound

This paper cites In: Proceedings of the 11th Int.

A General Framework for Property-Driven Machine Learning In: Proceedings of the 11th Int

Reference 48

Resolution: malformed identifier; no resolver link, observed 2026-08-16T04:48:46.319780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14ed66f9-c971-4fed-897a-79254a433629 · outbound

This paper cites Cambridge Uni- versity Press, 1 edn.

A General Framework for Property-Driven Machine Learning Cambridge Uni- versity Press, 1 edn

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.324886Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c5d5843-b55f-4da6-b2ba-5818ecfde1c6 · outbound

This paper cites In: Proceedings of the 35th International Conference on Machine Learning.

A General Framework for Property-Driven Machine Learning In: Proceedings of the 35th International Conference on Machine Learning

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:48.373923Z

Source-reported events for the cited work

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

Observation 065865c9-aca0-43ef-85c4-519977461663 · outbound

This paper cites https://doi.org/10.1007/ 978-3-319-23534-9_2.

A General Framework for Property-Driven Machine Learning https://doi.org/10.1007/ 978-3-319-23534-9_2

Reference 51

Resolution: malformed identifier; raw_fallback, observed 2026-08-16T04:48:49.439429Z

Source-reported events for the cited work

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

Observation 6fb0ccc9-437f-4791-a555-c3ff82c5d35b · outbound

This paper cites Logit Pairing Methods Can Fool Gradient-Based Attacks.

A General Framework for Property-Driven Machine Learning Logit Pairing Methods Can Fool Gradient-Based Attacks

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.333591Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf0e2fd4-646d-4bc3-bf77-a605bb5d536a · outbound

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

A General Framework for Property-Driven Machine Learning The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.376534Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b004d68c-cc4d-4822-9b04-a36f5d7d6995 · outbound

This paper cites In: Advances in Neural Information Processing Systems.

A General Framework for Property-Driven Machine Learning In: Advances in Neural Information Processing Systems

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:48.299469Z

Source-reported events for the cited work

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

Observation 68b07ac8-a4de-4b86-ab52-638517487c3c · outbound

This paper cites In: International Conference on Learning Representations (Feb 2018).

A General Framework for Property-Driven Machine Learning In: International Conference on Learning Representations (Feb 2018)

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:48.284518Z

Source-reported events for the cited work

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

Observation ed2c1804-d7b0-47c4-a619-8c1c67c87ac2 · outbound

This paper cites Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge.

A General Framework for Property-Driven Machine Learning Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.413613Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation daf141dd-960c-4f33-9527-efc935963a00 · outbound

This paper cites In:Lahiri,S.K.,Wang,C.(eds.)AutomatedTechnologyforVerificationandAnalysis.

A General Framework for Property-Driven Machine Learning In:Lahiri,S.K.,Wang,C.(eds.)AutomatedTechnologyforVerificationandAnalysis

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.418174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 754be986-f506-4ff6-9ca1-f767c5a94198 · outbound

This paper cites Neural Network Verification with Branch-and-Bound for General Nonlinearities.

A General Framework for Property-Driven Machine Learning Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.423373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7883c6a3-3b14-414a-abb3-4e015a1c7bba · outbound

This paper cites In: EPiC Series in A General Framework for Property-Driven Machine Learning 23 Computing.

A General Framework for Property-Driven Machine Learning In: EPiC Series in A General Framework for Property-Driven Machine Learning 23 Computing

Reference 59

Resolution: malformed identifier; raw_fallback, observed 2026-08-16T04:48:48.147953Z

Source-reported events for the cited work

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

Observation 4fc9d207-643d-484e-a101-f8d56c39371c · outbound

This paper cites In: The Thirteenth International Conference on Learning Representations (Oct 2024).

A General Framework for Property-Driven Machine Learning In: The Thirteenth International Conference on Learning Representations (Oct 2024)

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:48.129298Z

Source-reported events for the cited work

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

Observation bcea39d9-eaf8-4e5e-baee-ee2536e54993 · outbound

This paper cites Intriguing properties of neural networks.

A General Framework for Property-Driven Machine Learning Intriguing properties of neural networks

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.437271Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ae5e574-c5ac-4f39-998e-dbf571219674 · outbound

This paper cites In: Lahiri, S.K., Wang, C.

A General Framework for Property-Driven Machine Learning In: Lahiri, S.K., Wang, C

Reference 62

Resolution: malformed identifier; raw_fallback, observed 2026-08-16T04:48:48.116063Z

Source-reported events for the cited work

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

Observation bbcc25a1-3943-4643-92c4-5785bee861ff · outbound

This paper cites In: International Conference on Learning Representations (Sep 2018).

A General Framework for Property-Driven Machine Learning In: International Conference on Learning Representations (Sep 2018)

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:48.102421Z

Source-reported events for the cited work

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

Observation d33f7dd0-c9a8-43db-9345-4358bd6fb7e0 · outbound

This paper cites A Review of Formal Methods applied to Machine Learning.

A General Framework for Property-Driven Machine Learning A Review of Formal Methods applied to Machine Learning

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.585741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation deaa34eb-06af-42a2-8559-60e73eefa220 · outbound

This paper cites Artificial Intelligence302, 103602 (Jan 2022).

A General Framework for Property-Driven Machine Learning Artificial Intelligence302, 103602 (Jan 2022)

Reference 65

Resolution: malformed identifier; no resolver link, observed 2026-08-16T04:48:46.591248Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd848517-ea2a-4442-a145-467b6379f053 · outbound

This paper cites ULLER: A Unified Language for Learning and Reasoning.

A General Framework for Property-Driven Machine Learning ULLER: A Unified Language for Learning and Reasoning

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.595708Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2738b62c-7f1d-4454-925e-eb753eca2ad0 · outbound

This paper cites In: 2020 American Control Conference (ACC).

A General Framework for Property-Driven Machine Learning In: 2020 American Control Conference (ACC)

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.600375Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d0fecc0-8e92-4611-899b-00a28f7932bc · outbound

This paper cites Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification.

A General Framework for Property-Driven Machine Learning Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.604422Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fef05d3-1aae-4e8f-b559-85deb394490c · outbound

This paper cites In: Proceedings of the 35th International Conference on Machine Learning.

A General Framework for Property-Driven Machine Learning In: Proceedings of the 35th International Conference on Machine Learning

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:48.088490Z

Source-reported events for the cited work

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

Observation bc520266-9679-4757-a42e-c779058a1635 · outbound

This paper cites In: Advances in Neural Information Processing Systems.

A General Framework for Property-Driven Machine Learning In: Advances in Neural Information Processing Systems

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:48:48.051460Z

Source-reported events for the cited work

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

Observation f86be59f-cc34-442e-b295-06524b758742 · outbound

This paper cites https://doi.org/10.48550/arXiv.2401.

A General Framework for Property-Driven Machine Learning https://doi.org/10.48550/arXiv.2401

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.617351Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e058184c-88ad-4871-ad18-83a5f064077c · outbound

This paper cites A Semantic Loss Function for Deep Learning with Symbolic Knowledge.

A General Framework for Property-Driven Machine Learning A Semantic Loss Function for Deep Learning with Symbolic Knowledge

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.621630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d624ae71-fffb-40c0-a8d5-b56ee6015daa · outbound

This paper cites Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond.

A General Framework for Property-Driven Machine Learning Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.625865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c05eb9df-7e12-4e89-9d67-fd40495570f5 · outbound

This paper cites Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers.

A General Framework for Property-Driven Machine Learning Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.629978Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d740f6f9-0c1c-446b-b305-f90dc9c52c5f · outbound

This paper cites General Cutting Planes for Bound-Propagation-Based Neural Network Verification.

A General Framework for Property-Driven Machine Learning General Cutting Planes for Bound-Propagation-Based Neural Network Verification

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.634837Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f42cc27a-beb1-414a-9319-4542718ee36c · outbound

This paper cites Efficient Neural Network Robustness Certification with General Activation Functions.

A General Framework for Property-Driven Machine Learning Efficient Neural Network Robustness Certification with General Activation Functions

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:46.666730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 283ad881-d0be-48d9-affd-316e328fe479 · inbound

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification cites this paper.

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification A General Framework for Property-Driven Machine Learning

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-05-14T17:32:30.253386Z

Source-reported events for the cited work

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

Observation d2cd5336-54db-4141-905d-a979470a4a0a · inbound

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification cites this paper.

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification A General Framework for Property-Driven Machine Learning

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-05-15T05:45:05.185436Z

Source-reported events for the cited work

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

Observation a6564622-67e3-4868-81cb-ddf7f1db3cd1 · inbound

Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study) cites this paper.

Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study) A General Framework for Property-Driven Machine Learning

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-07-04T02:59:25.869968Z

Source-reported events for the cited work

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