Lipschitz-Based Robustness Certification Under Floating-Point Execution | Paper Citation Record

Observation 76e1d055-13cb-46ca-9f54-64df8c5c7663 · outbound

This paper cites In: Proc.

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: Proc

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.196955Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46f78cb4-4f5f-4fbf-833a-7144af9f02e3 · outbound

This paper cites IMA Journal of Numerical Analysis1, 21 (2025).

Lipschitz-Based Robustness Certification Under Floating-Point Execution IMA Journal of Numerical Analysis1, 21 (2025)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.270874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d33e8083-86d4-4f5a-b7e2-e7704cf0227d · outbound

This paper cites In: NASA Formal Methods Symposium.

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: NASA Formal Methods Symposium

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.285551Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac2a2e45-7fa6-4c3e-9fa8-7cd5362d023d · outbound

This paper cites In: 32nd International Conference on Computer-Aided Verification (CAV) (July 2020).

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: 32nd International Conference on Computer-Aided Verification (CAV) (July 2020)

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.290018Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3eb13c9c-3cc1-4500-b2f3-7837f7378c74 · outbound

This paper cites Springer Science & Business Media (2013).

Lipschitz-Based Robustness Certification Under Floating-Point Execution Springer Science & Business Media (2013)

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.294263Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cdacdf90-599b-4645-bd30-0fe9a6ba5711 · outbound

This paper cites IMA Journal of Numerical Analysis p.

Lipschitz-Based Robustness Certification Under Floating-Point Execution IMA Journal of Numerical Analysis p

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.298415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74c04f4c-04ad-4873-a1c5-09db8bd57075 · outbound

This paper cites In: European Symposium on Programming.

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: European Symposium on Programming

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.303301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 609f21da-a459-4e7a-9169-d24525ccb433 · outbound

This paper cites In: International Conference on Machine Learning (ICML).

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: International Conference on Machine Learning (ICML)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.307463Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5408b65b-401b-465e-aa79-9e02761df72d · outbound

This paper cites Soft Computing (2024).

Lipschitz-Based Robustness Certification Under Floating-Point Execution Soft Computing (2024)

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.312099Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 889e6209-4fa4-4763-94af-0b51b8d98618 · outbound

This paper cites In: FoMLAS.

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: FoMLAS

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.316446Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba049569-d234-4d8a-9065-387b1c533435 · outbound

This paper cites SIAM (1997).

Lipschitz-Based Robustness Certification Under Floating-Point Execution SIAM (1997)

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.320690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad5c8f05-2c08-4d3a-bffa-48656fce9431 · outbound

This paper cites an unresolved cited work.

Lipschitz-Based Robustness Certification Under Floating-Point Execution Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.325671Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23a4440c-b6b8-4ead-8729-b56fa100dd00 · outbound

This paper cites In: International Conference on Computer Aided Verification.

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: International Conference on Computer Aided Verification

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.330147Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9135354-a936-42f9-b526-0fa782f240be · outbound

This paper cites Proceedings of the ACM on Software Engineering1(FSE), 859–881 (2024).

Lipschitz-Based Robustness Certification Under Floating-Point Execution Proceedings of the ACM on Software Engineering1(FSE), 859–881 (2024)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.334187Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c257242a-566f-4faf-bab0-4497033b2d22 · outbound

This paper cites an unresolved cited work.

Lipschitz-Based Robustness Certification Under Floating-Point Execution Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.338424Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a40606c2-4387-4b67-b4a0-43888933ebd2 · outbound

This paper cites In: Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QL D, Australia, October 18–22, 2021, Proceedings 19.

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QL D, Australia, October 18–22, 2021, Proceedings 19

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.342668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32d52852-3533-468a-a44e-c20c0b2c86a7 · outbound

This paper cites SIAM (2002).

Lipschitz-Based Robustness Certification Under Floating-Point Execution SIAM (2002)

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.346733Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eee79aa1-e809-4486-8384-c6ce003772c2 · outbound

This paper cites arXiv preprint arXiv:2601.18513 (2026).

Lipschitz-Based Robustness Certification Under Floating-Point Execution arXiv preprint arXiv:2601.18513 (2026)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.350795Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53f9c0c7-7fda-4915-9b8a-6dd76125e7cd · outbound

This paper cites In: International Static Analysis Symposium.

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: International Static Analysis Symposium

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.354777Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38b11080-c653-4339-a11f-f926fd66a030 · outbound

This paper cites In: Proceedings of the 2024 Workshop on Artificial Intelligence and Security (AISec) (2024).

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: Proceedings of the 2024 Workshop on Artificial Intelligence and Security (AISec) (2024)

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.358990Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01178e59-1465-45d8-8523-c98c27b14970 · outbound

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

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: International Conference on Computer Aided Verification (CAV)

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.362905Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e59b183-923f-44c8-b381-1181bbd4accc · outbound

This paper cites In: International Conference on Computer Aided Verification.

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: International Conference on Computer Aided Verification

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.366719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 148f3fae-eb31-4ff3-bd61-02ffefc812b0 · outbound

This paper cites arXiv preprint arXiv:2512.19007 (2025).

Lipschitz-Based Robustness Certification Under Floating-Point Execution arXiv preprint arXiv:2512.19007 (2025)

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.370895Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7287b4b4-e768-48e1-86d8-ecfd4776e8a8 · outbound

This paper cites In: 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH).

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH)

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.375303Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65e9a3f8-cc58-48f7-b0be-a024b2992653 · outbound

This paper cites In: NASA Formal Methods.

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: NASA Formal Methods

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.379443Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6bcf2fa8-e8ee-4230-be40-9566cbec8cfa · outbound

This paper cites arXiv (2025).

Lipschitz-Based Robustness Certification Under Floating-Point Execution arXiv (2025)

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.383639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7df476b4-d01c-4b4d-bea2-df60a4ec858f · outbound

This paper cites TMLR (2025).

Lipschitz-Based Robustness Certification Under Floating-Point Execution TMLR (2025)

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.387673Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42fc35cf-f725-4eec-8f33-32e922914bf0 · outbound

This paper cites an unresolved cited work.

Lipschitz-Based Robustness Certification Under Floating-Point Execution Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.392019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccdd4256-d84c-49dd-97bc-65943051a404 · outbound

This paper cites In: Proc.

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: Proc

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.396330Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b338d8fd-2976-4536-a190-32495fc3395b · outbound

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

Lipschitz-Based Robustness Certification Under Floating-Point Execution Proceedings of the IEEE86(11), 2278–2324 (1998)

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.400394Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b259d3e-51d9-456c-ab1e-31f940fb5378 · outbound

This paper cites In: International Conference on Machine Learning (ICML).

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: International Conference on Machine Learning (ICML)

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.404665Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80429c89-f238-40ec-9d98-dd132b03373e · outbound

This paper cites Neural Network Verification with PyRAT.

Lipschitz-Based Robustness Certification Under Floating-Point Execution Neural Network Verification with PyRAT

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.408560Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d8f7bcb-1df8-48d4-a124-23733767fdc6 · outbound

This paper cites In: 35th International Conference on Computer-Aided Verification (CAV) (July 2023).

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: 35th International Conference on Computer-Aided Verification (CAV) (July 2023)

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.413040Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6c85c45-50b5-418d-9072-7e43d104d1d5 · outbound

This paper cites arXiv preprint arXiv:2510.23389 (2025).

Lipschitz-Based Robustness Certification Under Floating-Point Execution arXiv preprint arXiv:2510.23389 (2025)

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.416797Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e248448c-41b5-4748-9acc-8f5c675c2cb7 · outbound

This paper cites an unresolved cited work.

Lipschitz-Based Robustness Certification Under Floating-Point Execution Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.421854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc8e5bbd-77a2-441c-b8c5-d0e4af57bf61 · outbound

This paper cites https://github.com/eth-sri/eran (2018), secure, Reliable, and Intelligent Systems Lab, ETH Zürich.

Lipschitz-Based Robustness Certification Under Floating-Point Execution https://github.com/eth-sri/eran (2018), secure, Reliable, and Intelligent Systems Lab, ETH Zürich

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.426618Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1113e6c8-2b04-4507-a19c-f8b4a0e8f3d0 · outbound

This paper cites Adversarial Robustness Toolbox v1.0.0.

Lipschitz-Based Robustness Certification Under Floating-Point Execution Adversarial Robustness Toolbox v1.0.0

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.430867Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6febac0b-1be7-4f5b-9b7f-8ade59e51231 · outbound

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

Lipschitz-Based Robustness Certification Under Floating-Point Execution Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.435482Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20a8a0c0-cddc-433c-b159-5cd1784a7161 · outbound

This paper cites Advances in neural information processing systems31(2018).

Lipschitz-Based Robustness Certification Under Floating-Point Execution Advances in neural information processing systems31(2018)

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.440103Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb8c2ab2-b715-416e-8469-405c8854c3f0 · outbound

This paper cites Proceedings of the ACM on Programming Languages3(POPL), 1–30 (2019).

Lipschitz-Based Robustness Certification Under Floating-Point Execution Proceedings of the ACM on Programming Languages3(POPL), 1–30 (2019)

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.444412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 567caa7a-b3a6-4aef-92f1-d32b63bbcec0 · outbound

This paper cites QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking.

Lipschitz-Based Robustness Certification Under Floating-Point Execution QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.448473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e46537c2-79e8-46cc-bc0e-966c54b9096c · outbound

This paper cites No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks.

Lipschitz-Based Robustness Certification Under Floating-Point Execution No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.452883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a336ee7a-989d-4fd9-a430-7a395a6ea1ee · outbound

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

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: International Conference on Computer Aided Verification (CAV)

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.457227Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ac7ebf0-b3b9-4620-bd09-79f994360109 · outbound

This paper cites A Formally Verified Robustness Certifier for Neural Networks (Extended Version).

Lipschitz-Based Robustness Certification Under Floating-Point Execution A Formally Verified Robustness Certifier for Neural Networks (Extended Version)

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.461742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36c5ad13-48c2-4275-9a1a-59bdb1d0daff · outbound

This paper cites In: 32nd International Conference on Computer-Aided Verification (CAV) (July 2020) 24 Toby Murray.

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: 32nd International Conference on Computer-Aided Verification (CAV) (July 2020) 24 Toby Murray

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.465824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b471d62-434c-458d-8292-6dcf78fd9efb · outbound

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

Lipschitz-Based Robustness Certification Under Floating-Point Execution Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.469696Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ed7774f-bb6a-4b3c-994e-2836874e122e · outbound

This paper cites In: International Conference on Machine Learning (ICML).

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: International Conference on Machine Learning (ICML)

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.474115Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a258926b-2892-415c-a454-7e246ee712d5 · outbound

This paper cites Numerische Mathematik2(1), 319–340 (1960).

Lipschitz-Based Robustness Certification Under Floating-Point Execution Numerische Mathematik2(1), 319–340 (1960)

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.478194Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f82bce54-eee1-42f1-8e71-fbed66a4dedd · outbound

This paper cites In: International Conference on Computer Aided Verification.

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: International Conference on Computer Aided Verification

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.482260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d81a8c2-2164-4cc1-b32e-35a0b090864b · outbound

This paper cites Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms.

Lipschitz-Based Robustness Certification Under Floating-Point Execution Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.486215Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7470cc0-bc85-4ba4-90d0-64e2f3aff769 · outbound

This paper cites Advances in Neural Information Processing Systems33(2020).

Lipschitz-Based Robustness Certification Under Floating-Point Execution Advances in Neural Information Processing Systems33(2020)

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.490200Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1faf576f-5480-4208-8db3-444220113afd · outbound

This paper cites In: International Conference on Learning Representations (2021), https://openreview.net/forum?id=nVZtXBI6LNn.

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: International Conference on Learning Representations (2021), https://openreview.net/forum?id=nVZtXBI6LNn

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.494446Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3e60a5f-f997-4580-9ad3-7ad1f654c402 · outbound

This paper cites In: Asia-Pacific Software Engineering Conference (APSEC).

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: Asia-Pacific Software Engineering Conference (APSEC)

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.498489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf94cd8d-042f-45c4-a761-00ab0ad4e8dc · outbound

This paper cites Advances in Neural Information Processing Systems (NeurIPS) (2022).

Lipschitz-Based Robustness Certification Under Floating-Point Execution Advances in Neural Information Processing Systems (NeurIPS) (2022)

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.502860Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77796f1a-7b2c-427e-b93e-9030a4aab96c · outbound

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

Lipschitz-Based Robustness Certification Under Floating-Point Execution In: International Conference on Learning Representations (2021)

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.506811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers