Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report | Paper Citation Record

Observation 2cda9a78-6945-4a65-80b1-cf3a4be32982 · outbound

This paper cites In Aaron Dutle, Mariano M.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report In Aaron Dutle, Mariano M

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.287346Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 463a7f78-3a61-4fbf-a498-043a79e847ff · outbound

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

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.290850Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef148997-ca0e-4488-a01b-a69a7db14d0b · outbound

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

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.294153Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4ce8704-3bbf-4928-b1a1-0da5da55b338 · outbound

This paper cites Bunel, Ilker Turkaslan, Philip Torr, Pushmeet Kohli & Pawan K.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Bunel, Ilker Turkaslan, Philip Torr, Pushmeet Kohli & Pawan K

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:54.099174Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 679f1e87-859e-43e8-9aad-48deb491c7f2 · outbound

This paper cites Daggitt, Wen Kokke, Guy Katz, Guy Amir & Idan Refaeli (2022): Neural Network Robustness as a Verification Property: A Principled Case Study.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Daggitt, Wen Kokke, Guy Katz, Guy Amir & Idan Refaeli (2022): Neural Network Robustness as a Verification Property: A Principled Case Study

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.300394Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b58f9801-a14a-4085-8212-bf3b8526f4f7 · outbound

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

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report In: Proceedings of the 35th International Conference on Machine Learning, PMLR, pp

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:54.092097Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 3c3221a3-b09a-4521-a126-a3c66c1ccf89 · outbound

This paper cites Pappas (2022): Risk verifica- tion of stochastic systems with neural network controllers.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Pappas (2022): Risk verifica- tion of stochastic systems with neural network controllers

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.306798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6854bfec-2663-4287-bf3d-4e871f6a7057 · outbound

This paper cites comma.ai.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report comma.ai

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:54.084381Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 423a9b53-ba83-41dc-af8a-61763cc9c08b · outbound

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

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report In: Proceedings of the 36th International Conference on Machine Learning, PMLR, pp

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:54.076099Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1928d254-77f4-4651-8a3b-62f583422c60 · outbound

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

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Comparing differentiable logics for learning with logical constraints

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.314848Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 973a7796-a74c-4c23-8627-bf9c38a54416 · outbound

This paper cites Fremont, Johnathan Chiu, Dragos D.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Fremont, Johnathan Chiu, Dragos D

Reference 11

Resolution: verified exact; doi, observed 2026-08-12T15:31:53.480329Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 01e455b8-7f15-4bec-bc74-81ce7ffea0b1 · outbound

This paper cites an unresolved cited work.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.320878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4d09d82-1803-44ae-a4d2-55716e41fc91 · outbound

This paper cites Habeeb, Nabarun Deka, Deepak D’Souza, Kamal Lodaya & Pavithra Prabhakar (2023): Verification of Camera-Based Autonomous Systems.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Habeeb, Nabarun Deka, Deepak D’Souza, Kamal Lodaya & Pavithra Prabhakar (2023): Verification of Camera-Based Autonomous Systems

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.323620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6db41e73-9e45-491e-83d7-2075028893e2 · outbound

This paper cites (2024): LI-IMX219-MIPI-FF-NANO-H136—Leopard Imaging Inc.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report (2024): LI-IMX219-MIPI-FF-NANO-H136—Leopard Imaging Inc

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:54.068414Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d2406380-ffde-42a7-b4f7-d9a81d4b928c · outbound

This paper cites Carpenter, James Weimer, Rajeev Alur, George J.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Carpenter, James Weimer, Rajeev Alur, George J

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.328708Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45f74955-e007-48b0-b64b-93ffc24a22b3 · outbound

This paper cites (2024): JetBot.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report (2024): JetBot

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:54.059267Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 199e43f9-8aed-49e0-9bfc-ad5a75cc0d68 · outbound

This paper cites Available at https://jetbot.org/master/examples/road_ following.html.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Available at https://jetbot.org/master/examples/road_ following.html

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:54.051466Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1bc33443-8864-426b-a75d-5087380bdb2b · outbound

This paper cites Dill, Kyle Julian & Mykel J.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Dill, Kyle Julian & Mykel J

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.336421Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91e80b3d-ea93-4b18-bc97-fbbbb7c1dcd9 · outbound

This paper cites Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zelji´c, David L.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zelji´c, David L

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.339749Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ec193b9-a14e-4d38-987a-fb0b4983908a · outbound

This paper cites Zico Kolter, Krishnamurthy Dvijotham & Huan Zhang (2023): Prov- ably Bounding Neural Network Preimages.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Zico Kolter, Krishnamurthy Dvijotham & Huan Zhang (2023): Prov- ably Bounding Neural Network Preimages

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:54.043778Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 171a5d7e-af29-4e68-95ca-2f38ebde111b · outbound

This paper cites IEEE/CAA Journal of Automatica Sinica 7(2), pp.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report IEEE/CAA Journal of Automatica Sinica 7(2), pp

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.345244Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c4141c4-9b55-44db-9a00-4b535decea7b · outbound

This paper cites In: International Conference on Learning Representations.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report In: International Conference on Learning Representations

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:54.036196Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c19efb82-56a1-4b98-a5f7-aaf09f3ef2f1 · outbound

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

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.350468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92124f87-dc19-43ae-a262-0e11194e2e3d · outbound

This paper cites Available at https://www.nvidia.com/en-us/autonomous-machines/embedded-systems/jetson-nano/ product-development/.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Available at https://www.nvidia.com/en-us/autonomous-machines/embedded-systems/jetson-nano/ product-development/

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:54.029363Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 830128e3-e0c1-448d-8d62-12e49e7c3ee1 · outbound

This paper cites Journal of Big Data 10(1), p.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Journal of Big Data 10(1), p

Reference 25

Resolution: malformed identifier; no resolver link, observed 2026-08-12T15:31:53.355900Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8cf6a15-3533-4973-88a0-8594847c5908 · outbound

This paper cites Pomerleau (1988): ALVINN: An Autonomous Land Vehicle in a Neural Network.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Pomerleau (1988): ALVINN: An Autonomous Land Vehicle in a Neural Network

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:54.021504Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c23b0a01-7348-4c20-a8c1-e631981cf9b7 · outbound

This paper cites Santora & Mohsin M.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Santora & Mohsin M

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.360928Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba13520c-c655-4ec7-8f54-a89d11b1fe48 · outbound

This paper cites Communica- tions of the ACM 65(7), pp.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Communica- tions of the ACM 65(7), pp

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.364135Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3997a737-b5f7-4432-bec5-697ddf596016 · outbound

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

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.367014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be0e2530-799d-4de6-aa4c-1f6bed9d3c59 · outbound

This paper cites Dwyer (2021):DNNV: A Framework for Deep Neural Network Verification.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Dwyer (2021):DNNV: A Framework for Deep Neural Network Verification

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.371395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce80db18-218e-4d35-9e22-e780050ff94c · outbound

This paper cites In: Advances in Neural Information Processing Systems, 32, Curran Associates, Inc.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report In: Advances in Neural Information Processing Systems, 32, Curran Associates, Inc

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:54.013211Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 3fe89893-1183-4cba-afe7-364aed7cef9c · outbound

This paper cites In: Proceedings of the 32nd International Conference on Neural Information Processing Systems, NIPS’18, Curran Associates Inc., Red Hook, NY , USA, pp.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report In: Proceedings of the 32nd International Conference on Neural Information Processing Systems, NIPS’18, Curran Associates Inc., Red Hook, NY , USA, pp

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:54.005591Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 036c89e4-86d7-4607-9c4c-57e71a6839e0 · outbound

This paper cites In: International Conference on Learning Representations.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report In: International Conference on Learning Representations

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:53.997588Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 0c806c34-ca4b-4b1e-b9a1-687bbb4f6113 · outbound

This paper cites Proceedings of the ACM on Programming Languages 3(POPL), pp.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Proceedings of the ACM on Programming Languages 3(POPL), pp

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.381713Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 168ac269-02da-4356-8faf-c1833a2d0335 · outbound

This paper cites In: EPiC Series in Computing, 94, EasyChair, pp.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report In: EPiC Series in Computing, 94, EasyChair, pp

Reference 35

Resolution: malformed identifier; no resolver link, observed 2026-08-12T15:31:53.384234Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6578b4e2-3266-4e6b-9e0b-df5628297fe0 · outbound

This paper cites Available at https://www.sparkfun.com/products/18486.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Available at https://www.sparkfun.com/products/18486

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:53.990117Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 291d3b25-3c24-4eee-a508-38284dce7fc1 · outbound

This paper cites In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, pp.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, pp

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:53.982771Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d90bab61-3fef-4319-9afa-7146d605a8cd · outbound

This paper cites an unresolved cited work.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.392565Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7426d5f-b660-4d61-b37b-f47c81c5f704 · outbound

This paper cites Johnson (2020): Verification of Deep Con- volutional Neural Networks Using ImageStars.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Johnson (2020): Verification of Deep Con- volutional Neural Networks Using ImageStars

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.394994Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98ccaae0-8924-4c1f-87df-3d824f7ca447 · outbound

This paper cites Johnson (2020): NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Johnson (2020): NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.397429Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0a22ea1-4ee3-4372-af5c-56325f28fa8f · outbound

This paper cites Artificial Intelligence 302, p.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Artificial Intelligence 302, p

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.399878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1496e6e-7c59-44f0-8c3b-203bb63be414 · outbound

This paper cites Zico Kolter (2021): Beta- CROWN: Efficient bound propagation with per-neuron split constraints for complete and incomplete neural network verification.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Zico Kolter (2021): Beta- CROWN: Efficient bound propagation with per-neuron split constraints for complete and incomplete neural network verification

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:53.970889Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation fc31c3c5-b77b-4f91-ab74-78bff42f2cdc · outbound

This paper cites Advances in Neural Information Processing Systems 33.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Advances in Neural Information Processing Systems 33

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:53.961856Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a4d354d9-fb2f-483f-a7e5-6dc97f955a75 · outbound

This paper cites In: International Conference on Learning Representations.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report In: International Conference on Learning Representations

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:53.954345Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f624f22a-cb90-4707-bb75-c5c000a204f9 · outbound

This paper cites Zico Kolter (2022): General Cutting Planes for Bound-Propagation-Based Neural Network Verification.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Zico Kolter (2022): General Cutting Planes for Bound-Propagation-Based Neural Network Verification

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:53.946667Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 736eb83e-3bde-40c0-993d-33ab5d6c83cd · outbound

This paper cites In: Advances in Neural Information Processing Systems, 31, Curran Associates, Inc.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report In: Advances in Neural Information Processing Systems, 31, Curran Associates, Inc

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:31:53.938642Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 7aa29a96-c435-4875-b2da-3b25469fb0c1 · outbound

This paper cites Burke (2024): Autonomous driving system: A comprehensive survey.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Burke (2024): Autonomous driving system: A comprehensive survey

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.416883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers