Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial | Paper Citation Record

Observation fea80758-c476-4a2d-b730-fb5ee3d81dd2 · outbound

This paper cites Champion-level drone racing using deep rein- forcement learning,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Champion-level drone racing using deep rein- forcement learning,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 244494de-cca7-4cee-a932-4df5875bb6e0 · outbound

This paper cites Applications of machine learning in real-time control systems: a review,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Applications of machine learning in real-time control systems: a review,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1af9344c-e18f-4134-bea2-a3f50b0f28fc · outbound

This paper cites (deep) reinforcement learning for electric power system control and related problems: A short review and perspectives,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial (deep) reinforcement learning for electric power system control and related problems: A short review and perspectives,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bfba68b2-4805-4bb9-985e-3bd40f87ae4d · outbound

This paper cites Reinforcement learning for control: Performance, stability, and deep approximators,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Reinforcement learning for control: Performance, stability, and deep approximators,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b80c9bb-c9dd-457e-8fc6-405068eacf3a · outbound

This paper cites Verification approaches for learning-enabled autonomous cyber–physical systems,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Verification approaches for learning-enabled autonomous cyber–physical systems,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccf69ed1-e836-466f-8e1b-fec32814ab02 · outbound

This paper cites Safe control with learned certifi- cates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Safe control with learned certifi- cates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8d2be60-dce0-415f-a32b-02c658d68615 · outbound

This paper cites Neural lyapunov control,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Neural lyapunov control,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3687d2e0-2011-4dd3-b6ef-309067a8830a · outbound

This paper cites Formal synthesis of stochas- tic systems via control barrier certificates,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Formal synthesis of stochas- tic systems via control barrier certificates,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 509a166c-dbe8-4ac9-bd03-6fa55aa2ebf3 · outbound

This paper cites Formally verified physics-informed neural control lyapunov functions,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Formally verified physics-informed neural control lyapunov functions,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89f0d461-077e-4638-bb5d-437a9903ae33 · outbound

This paper cites Physics-informed neural network lyapunov functions: Pde characterization, learning, and verification,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Physics-informed neural network lyapunov functions: Pde characterization, learning, and verification,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05f644cf-0194-40a9-8c0f-37f527d26604 · outbound

This paper cites Learning regions of attraction in unknown dynamical systems via zubov-koopman lifting: Regularities and convergence,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Learning regions of attraction in unknown dynamical systems via zubov-koopman lifting: Regularities and convergence,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7299d7e-e72f-4fae-a5d6-f6a067b49f05 · outbound

This paper cites Tool lyznet: A lightweight python tool for learning and verifying neural lyapunov functions and regions of attraction,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Tool lyznet: A lightweight python tool for learning and verifying neural lyapunov functions and regions of attraction,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fc2e47f-cf17-49ab-9090-4cbdbeb749ff · outbound

This paper cites Actor-critic physics-informed neural lya- punov control,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Actor-critic physics-informed neural lya- punov control,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dfefd063-9a5f-4f5b-af14-555f5c65512a · outbound

This paper cites Fossil 2.0: Formal certificate synthesis for the verification and control of dynamical models,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Fossil 2.0: Formal certificate synthesis for the verification and control of dynamical models,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7469d996-818b-46db-9fde-60efa18b4174 · outbound

This paper cites Towards learning and verifying maximal neural lyapunov functions,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Towards learning and verifying maximal neural lyapunov functions,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f919847f-93a7-48fc-a2af-d72be38e2041 · outbound

This paper cites dreal: An smt solver for nonlinear theories over the reals,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial dreal: An smt solver for nonlinear theories over the reals,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c662ce75-a5c9-41cc-b713-627428984e5d · outbound

This paper cites Z3: An efficient smt solver,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Z3: An efficient smt solver,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31d9982f-a35b-4259-8dc2-111b78f907ee · outbound

This paper cites Evaluating Robustness of Neural Networks with Mixed Integer Programming.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Evaluating Robustness of Neural Networks with Mixed Integer Programming

Reference 18

Resolution: verified exact; local_arxiv, observed 2026-06-29T16:23:39.377751Z

Source-reported events for the cited work

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

Observation 5f46d9e6-cb6c-4b02-9807-bc3b3e5be893 · outbound

This paper cites Reluplex: An efficient smt solver for verifying deep neural net- works,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Reluplex: An efficient smt solver for verifying deep neural net- works,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1882a96-f42c-4ed0-903f-fe92087113db · outbound

This paper cites The marabou framework for verification and analysis of deep neural networks,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial The marabou framework for verification and analysis of deep neural networks,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47c48855-92e5-40c7-9cc1-6875fe1a05e4 · outbound

This paper cites Stability and feasibility of neural network- based controllers via output range analysis,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Stability and feasibility of neural network- based controllers via output range analysis,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c55bda56-e24b-448b-8bcb-08da4be895b6 · outbound

This paper cites Lyapunov-stable neural-network control.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Lyapunov-stable neural-network control

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:23:39.380491Z

Source-reported events for the cited work

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

Observation 4c1cbb17-793b-43d9-be98-67edfa7b4ad7 · outbound

This paper cites Neural lyapunov control for discrete-time systems,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Neural lyapunov control for discrete-time systems,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebf7d0ab-b3df-4706-a2f0-cde2b78d3cdd · outbound

This paper cites A tutorial on sum of squares techniques for systems analysis,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial A tutorial on sum of squares techniques for systems analysis,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e67b9c99-eba8-430f-b4ba-f8a1cfcbf072 · outbound

This paper cites Stability analysis using quadratic constraints for systems with neural network controllers,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Stability analysis using quadratic constraints for systems with neural network controllers,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a950b84-6bdd-43e3-ab02-6c48eeb91eb4 · outbound

This paper cites Verification and synthesis of compatible control lyapunov and control barrier functions,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Verification and synthesis of compatible control lyapunov and control barrier functions,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d99a74f-5cd2-475c-aa64-2b51c697c067 · outbound

This paper cites Stability of non-linear neural feedback loops using sum of squares,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Stability of non-linear neural feedback loops using sum of squares,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8c52f28-c8f7-4454-a36a-618f15144289 · outbound

This paper cites Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:23:39.419360Z

Source-reported events for the cited work

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

Observation 8e9b5d7a-17aa-40d3-a8fd-87b1bb2bfc61 · outbound

This paper cites Imitation learning with stability and safety guarantees,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Imitation learning with stability and safety guarantees,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68bef539-cc2a-4e8f-822b-4d352574061a · outbound

This paper cites A semialgebraic framework for verification and synthe- sis of control barrier functions,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial A semialgebraic framework for verification and synthe- sis of control barrier functions,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d266512-4660-4c27-a7ed-0d6b4bcff665 · outbound

This paper cites Control contraction metric synthesis for discrete-time nonlinear systems,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Control contraction metric synthesis for discrete-time nonlinear systems,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3f94f8b-ac4e-420c-8f09-2bc11c862abd · outbound

This paper cites Lqr- trees: Feedback motion planning via sums-of-squares verification,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Lqr- trees: Feedback motion planning via sums-of-squares verification,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8d81bc3-4391-4ad7-a06b-3185cf60d4c8 · outbound

This paper cites Safety index synthesis via sum-of-squares programming,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Safety index synthesis via sum-of-squares programming,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3b524b8-fbef-48fa-b776-e3b32a7f5802 · outbound

This paper cites Verification of neural control barrier functions with symbolic derivative bounds propagation,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Verification of neural control barrier functions with symbolic derivative bounds propagation,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f2a0b4d-0e40-4773-b49d-0d6480f72295 · outbound

This paper cites Exact verification of relu neural control barrier functions,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Exact verification of relu neural control barrier functions,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04b00fcb-a082-453d-a1f8-58fd1d63d225 · outbound

This paper cites Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation

Reference 36

Resolution: verified exact; local_arxiv, observed 2026-06-29T16:23:39.421657Z

Source-reported events for the cited work

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

Observation 1d67c35e-45c7-4171-9212-b9e293905631 · outbound

This paper cites Real-time safe control of neural network dynamic models with sound approximation,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Real-time safe control of neural network dynamic models with sound approximation,

Reference 37

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b62c8246-e4f1-4cd0-95f3-0775ec09ff59 · outbound

This paper cites Verifiable safety q-filters via hamilton-jacobi reachability and multiplicative q-networks,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Verifiable safety q-filters via hamilton-jacobi reachability and multiplicative q-networks,

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac29b39a-c60d-4e35-9dee-92dc3be8720f · outbound

This paper cites Provable defenses against adversarial examples via the convex outer adversarial polytope,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Provable defenses against adversarial examples via the convex outer adversarial polytope,

Reference 39

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6724ee7-185f-41ee-8d25-374b9efd57c6 · outbound

This paper cites Certified Defenses against Adversarial Examples.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Certified Defenses against Adversarial Examples

Reference 40

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:23:39.424150Z

Source-reported events for the cited work

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

Observation 1f7c5128-fe47-454c-8e0b-e4dcc2e11443 · outbound

This paper cites A unified view of sdp-based neural network verification through completely positive programming,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial A unified view of sdp-based neural network verification through completely positive programming,

Reference 41

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d9041a8-cc5c-431f-8641-78083298472f · outbound

This paper cites Ai2: Safety and robustness certification of neural networks with abstract interpretation,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Ai2: Safety and robustness certification of neural networks with abstract interpretation,

Reference 42

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9660a383-adb2-4cfd-bcaa-c7ec035e9a26 · outbound

This paper cites Fast and effective robustness certification,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Fast and effective robustness certification,

Reference 43

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8e07e6c-b756-4d6f-88d5-4d4f806e3d25 · outbound

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

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Efficient Neural Network Robustness Certification with General Activation Functions

Reference 44

Resolution: verified exact; local_arxiv, observed 2026-06-29T16:23:39.409148Z

Source-reported events for the cited work

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

Observation 983ad89c-98c7-45cd-b0c8-84d0b582d80c · outbound

This paper cites Efficient interaction- aware interval analysis of neural network feedback loops,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Efficient interaction- aware interval analysis of neural network feedback loops,

Reference 45

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3148c4d3-3873-4c21-8d38-be9fb7f076f0 · outbound

This paper cites Interval reachability of nonlinear dynamical systems with neural network controllers,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Interval reachability of nonlinear dynamical systems with neural network controllers,

Reference 46

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16e2763d-b3cd-4e03-81ce-06ce0da1ce5f · outbound

This paper cites On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 47

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:23:39.411639Z

Source-reported events for the cited work

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

Observation 6f612f12-5c38-4ef9-8378-7afb7d7a1330 · outbound

This paper cites A convex relaxation barrier to tight robustness verification of neural networks,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial A convex relaxation barrier to tight robustness verification of neural networks,

Reference 48

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a54124c-635b-4f06-a351-fc734f1b83f0 · outbound

This paper cites Automatic perturbation analysis for scalable certified robustness and beyond,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Automatic perturbation analysis for scalable certified robustness and beyond,

Reference 49

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57f6a967-ffe0-4231-8de7-c5676db73ab4 · outbound

This paper cites Fast and Complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Fast and Complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers,

Reference 50

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ada36107-6a7e-4fd5-87f3-2a813f3b2173 · outbound

This paper cites Beta-CROWN: Efficient bound propagation with per- neuron split constraints for complete and incomplete neural network verification,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Beta-CROWN: Efficient bound propagation with per- neuron split constraints for complete and incomplete neural network verification,

Reference 51

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e71f52d-0f40-4c31-b500-dbf70a87dfe7 · outbound

This paper cites General cutting planes for bound-propagation-based neural network verification,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial General cutting planes for bound-propagation-based neural network verification,

Reference 52

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5bf48291-d3be-4628-b0a3-6afd696944ba · outbound

This paper cites Prov- ably bounding neural network preimages,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Prov- ably bounding neural network preimages,

Reference 53

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d44e226-4720-4769-8134-1f27dd1add15 · outbound

This paper cites Scalable neural network verification with branch-and-bound inferred cutting planes,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Scalable neural network verification with branch-and-bound inferred cutting planes,

Reference 54

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b41bdd11-dfb1-4fde-8402-e70d91ec0b2c · outbound

This paper cites Neural network verification with branch-and-bound for general nonlinearities,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Neural network verification with branch-and-bound for general nonlinearities,

Reference 55

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af25be14-77cd-420c-8568-376e2f883cc9 · outbound

This paper cites Clip-and-verify: Linear constraint-driven domain clip- ping for accelerating neural network verification,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Clip-and-verify: Linear constraint-driven domain clip- ping for accelerating neural network verification,

Reference 56

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:23:39.414272Z

Source-reported events for the cited work

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

Observation f8db912f-50d6-4d36-9391-96a26b17e53f · outbound

This paper cites Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation

Reference 57

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:23:39.388994Z

Source-reported events for the cited work

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

Observation 86836f69-edb1-4d82-a712-cc39a6f5784d · outbound

This paper cites Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control

Reference 58

Resolution: verified exact; local_arxiv, observed 2026-06-29T16:23:39.386258Z

Source-reported events for the cited work

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

Observation 602441d1-0930-4876-be9c-a4b993d92a98 · outbound

This paper cites Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems

Reference 59

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:23:39.396393Z

Source-reported events for the cited work

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

Observation 5e822be0-15bc-46ff-8a82-08ba671020ec · outbound

This paper cites Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation

Reference 60

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:23:39.399602Z

Source-reported events for the cited work

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

Observation 2d632cae-fc8f-43c2-9a30-affd1ff586a2 · outbound

This paper cites Two-stage learning of stabilizing neural controllers via Zubov sampling and iterative domain expansion.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Two-stage learning of stabilizing neural controllers via Zubov sampling and iterative domain expansion

Reference 61

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:23:39.403237Z

Source-reported events for the cited work

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

Observation 0770e857-1887-4864-99ed-1d7d6b72fe19 · outbound

This paper cites Flow*: An ana- lyzer for non-linear hybrid systems,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Flow*: An ana- lyzer for non-linear hybrid systems,

Reference 62

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a89b938f-0ddc-4194-bdae-1174831c24ec · outbound

This paper cites Set propagation techniques for reachability analysis,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Set propagation techniques for reachability analysis,

Reference 63

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcf6ac2c-071a-42c1-9c39-8899a1625e7f · outbound

This paper cites Nnv: the neural network verification tool for deep neural networks and learning-enabled cyber- physical systems,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Nnv: the neural network verification tool for deep neural networks and learning-enabled cyber- physical systems,

Reference 64

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f3a04fc-639d-446b-a7ba-68a2bd5237f6 · outbound

This paper cites Reachability analysis of neural network control systems,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Reachability analysis of neural network control systems,

Reference 65

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc310e2a-b327-4159-8b13-3f32ab071c03 · outbound

This paper cites Reachability analysis of neural network control systems with tunable accuracy and efficiency,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Reachability analysis of neural network control systems with tunable accuracy and efficiency,

Reference 66

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c834f11-a774-49b4-b4b4-c4819d174ed7 · outbound

This paper cites Safe reach set computation via neural barrier certificates,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Safe reach set computation via neural barrier certificates,

Reference 67

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78c3ce85-df30-49be-945f-d15516e650e1 · outbound

This paper cites Parallel differentiable reachability for learning and planning with certified neural dynamics and controllers,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Parallel differentiable reachability for learning and planning with certified neural dynamics and controllers,

Reference 68

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69748fb3-ea36-40c9-b304-82ce0b1024bc · outbound

This paper cites Efficient finite abstraction of mixed mono- tone systems,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Efficient finite abstraction of mixed mono- tone systems,

Reference 69

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fbab48a-b40d-4500-95cf-b2550af99a47 · outbound

This paper cites Finite abstraction of mixed monotone systems with discrete and continuous inputs,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Finite abstraction of mixed monotone systems with discrete and continuous inputs,

Reference 70

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a545615-107f-413d-af5d-e747d2ca8dd3 · outbound

This paper cites Mixed monotonicity for reachability and safety in dynamical systems,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Mixed monotonicity for reachability and safety in dynamical systems,

Reference 71

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5190793c-a0f7-4800-b914-c09765959f34 · outbound

This paper cites Specification-guided verification and abstraction refinement of mixed monotone stochastic systems,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Specification-guided verification and abstraction refinement of mixed monotone stochastic systems,

Reference 72

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7163efb-5d42-42d4-8a25-67c023a5f8e8 · outbound

This paper cites Overt: An algorithm for safety verification of neural network control policies for nonlinear systems,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Overt: An algorithm for safety verification of neural network control policies for nonlinear systems,

Reference 73

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4b9480a-3824-4a25-9da4-331d1953cb92 · outbound

This paper cites Zubov-koopman learning of maximal lyapunov functions,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Zubov-koopman learning of maximal lyapunov functions,

Reference 74

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1206b016-3af8-46d5-bbc7-678771c0fea6 · outbound

This paper cites Towards learning and verifying maximal lyapunov-barrier functions with a zubov pde formulation,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Towards learning and verifying maximal lyapunov-barrier functions with a zubov pde formulation,

Reference 75

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:23:39.406719Z

Source-reported events for the cited work

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

Observation a39c6205-0ba3-4784-b619-d4ee61d86bff · outbound

This paper cites Formal verification of control lyapunov-barrier func- tions for safe stabilization with bounded controls.arXiv preprint arXiv:2511.10510, 2025.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Formal verification of control lyapunov-barrier func- tions for safe stabilization with bounded controls.arXiv preprint arXiv:2511.10510, 2025

Reference 76

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:23:39.416779Z

Source-reported events for the cited work

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

Observation a48e482b-74b9-45b0-bbea-a282a4c1f58a · outbound

This paper cites Control barrier function based quadratic programs for safety critical systems,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Control barrier function based quadratic programs for safety critical systems,

Reference 77

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e531f0eb-bc7f-49c0-b48e-1445e5e3f1ba · outbound

This paper cites Learning control barrier functions from expert demonstrations,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Learning control barrier functions from expert demonstrations,

Reference 78

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec0080ed-51c8-4f1c-9cc1-8a1519071c41 · outbound

This paper cites Convex synthesis and verification of control-lyapunov and barrier functions with input constraints,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Convex synthesis and verification of control-lyapunov and barrier functions with input constraints,

Reference 79

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90dcda16-7a1b-4e54-ba51-d17a6a4d6f3c · outbound

This paper cites Safe nonlinear control using robust neural lyapunov-barrier functions,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Safe nonlinear control using robust neural lyapunov-barrier functions,

Reference 80

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 616ecc73-9714-4152-bbe1-3030ad38df38 · outbound

This paper cites Neural contraction metrics for robust estimation and control: A convex optimization approach,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Neural contraction metrics for robust estimation and control: A convex optimization approach,

Reference 81

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 326b1837-2369-4c2c-8f46-7ba0935c9b7c · outbound

This paper cites Neural stochastic contraction metrics for learning-based control and estimation,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Neural stochastic contraction metrics for learning-based control and estimation,

Reference 82

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 683041cc-4842-4815-8ece-b6c6d8d8849d · outbound

This paper cites A theoretical overview of neural contraction metrics for learning-based control with guaranteed stability,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial A theoretical overview of neural contraction metrics for learning-based control with guaranteed stability,

Reference 83

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9128055-74c0-4a20-8851-34eeb19ac719 · outbound

This paper cites Learning certified control using contraction metric,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Learning certified control using contraction metric,

Reference 84

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c58ba40b-0e6c-476f-be1f-d6a30d826458 · outbound

This paper cites BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics

Reference 85

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:23:39.426892Z

Source-reported events for the cited work

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

Observation ccea7d8d-ae4a-4259-9b11-c945a6c15de5 · outbound

This paper cites Counterexample guided inductive synthesis modulo theories,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Counterexample guided inductive synthesis modulo theories,

Reference 86

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a69b3a6d-cb18-4825-ad29-ea66732aa102 · outbound

This paper cites Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties

Reference 87

Resolution: verified exact; local_arxiv, observed 2026-06-29T16:23:39.391587Z

Source-reported events for the cited work

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

Observation 6178cc59-d554-4fed-b4b8-9af4b84fafa7 · outbound

This paper cites Formal synthesis of lyapunov neural networks,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Formal synthesis of lyapunov neural networks,

Reference 88

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ea9126a-6e89-4cd6-922f-f77443ed2b7c · outbound

This paper cites Counter- example guided inductive synthesis of control lyapunov functions for uncertain systems,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Counter- example guided inductive synthesis of control lyapunov functions for uncertain systems,

Reference 89

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4985ce17-045b-4616-a375-ae3289e43a7f · outbound

This paper cites Counter-example guided synthesis of neural network lyapunov functions for piecewise linear systems,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Counter-example guided synthesis of neural network lyapunov functions for piecewise linear systems,

Reference 90

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d692eb42-00f5-45b5-9206-3ab0b7f82f3a · outbound

This paper cites Robust controller syn- thesis of switched systems using counterexample guided framework,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Robust controller syn- thesis of switched systems using counterexample guided framework,

Reference 91

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 809c79f1-8755-49d4-b052-6fe63380b034 · outbound

This paper cites Differentiable abstract in- terpretation for provably robust neural networks,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Differentiable abstract in- terpretation for provably robust neural networks,

Reference 92

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 349adcef-d379-4b69-83dd-c894dc358014 · outbound

This paper cites an unresolved cited work.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Unresolved cited work

Reference 93

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67d5b97e-afe4-4eb2-95af-96ac4b4569cc · outbound

This paper cites The general problem of the stability of motion,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial The general problem of the stability of motion,

Reference 94

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1b8d260-b532-46e7-b6cb-97f396b3d332 · outbound

This paper cites A unified view of piecewise linear neural network verification,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial A unified view of piecewise linear neural network verification,

Reference 95

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c9469f1-7305-4769-ba6d-d919deeb3e28 · outbound

This paper cites Towards Deep Learning Models Resistant to Adversarial Attacks.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Towards Deep Learning Models Resistant to Adversarial Attacks

Reference 96

Resolution: verified exact; local_arxiv, observed 2026-06-29T16:23:39.383335Z

Source-reported events for the cited work

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

Observation dbfc6ae3-d34d-4ecf-8bc4-a6cd0443029c · outbound

This paper cites Lyapunov Theory for Discrete Time Systems.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Lyapunov Theory for Discrete Time Systems

Reference 97

Resolution: verified exact; local_arxiv, observed 2026-06-29T16:23:39.368094Z

Source-reported events for the cited work

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

Observation ad91a72f-c084-45a7-b20c-788c7298bc34 · outbound

This paper cites Convergence prop- erties for discrete-time nonlinear systems,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Convergence prop- erties for discrete-time nonlinear systems,

Reference 98

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 252d9504-ece1-4166-a74d-eb42da363833 · outbound

This paper cites Towards Stable and Efficient Training of Verifiably Robust Neural Networks.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Towards Stable and Efficient Training of Verifiably Robust Neural Networks

Reference 99

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:23:39.365407Z

Source-reported events for the cited work

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

Observation 947a7e18-fc75-428d-9dd1-89d8128efc5f · outbound

This paper cites Fast certified robust training with short warmup,.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Fast certified robust training with short warmup,

Reference 100

Resolution: unresolved; no resolver link, observed 2026-06-29T16:19:18.692686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers