TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks | Paper Citation Record

Observation d809c15d-a753-4e35-abc0-219d625bb91d · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:45.795228Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae092a28-c7cd-404a-adb2-291f38ad0182 · outbound

This paper cites Verde: Verification via Refereed Delegation for Machine Learning Programs.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Verde: Verification via Refereed Delegation for Machine Learning Programs

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:45.930712Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b8f63a3-4500-4613-b6e6-211a5912305c · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:46.065054Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f53ea25e-479a-486f-ada9-2787f8473679 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:46.178477Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97c15a32-d153-4f76-aba1-3f88d995b4e2 · outbound

This paper cites Rothblum.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Rothblum

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:46.272339Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63bfa9ba-f610-4c2e-9b4d-2ee175172273 · outbound

This paper cites Rothblum.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Rothblum

Reference 6

Resolution: verified exact; doi, observed 2026-08-04T09:43:21.604492Z

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 0e372b30-23e9-4a48-b84c-4532933f377b · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:46.430050Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 316d01a4-06e1-4266-aebf-33e19ec26434 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:46.635348Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9943fc12-fad1-4eb2-a0fc-8dfefcb3b045 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:46.758168Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 920d9384-cd69-4a05-b99e-130122577837 · outbound

This paper cites opML: Optimistic Machine Learning on Blockchain.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks opML: Optimistic Machine Learning on Blockchain

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:46.897288Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 823c6fb7-7d83-4a0e-ac2b-0c931f5703bb · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:47.069522Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37f21903-e14f-4c63-8944-2745ecc29326 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:47.338234Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92496d6d-e345-472b-9d72-bac5bd188d97 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:47.656278Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e128acc-2e84-4e94-a72b-1c31c8461e2b · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:47.786982Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1066d909-43af-4fcf-a81f-6b9c2fa7db1b · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:47.941400Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 712c9b65-eaf2-4c71-81f8-b9d45a9fcff8 · outbound

This paper cites Rothblum.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Rothblum

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:48.116614Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bcda2cc-7329-4359-89e8-b83fea54d794 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:48.262315Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ce3f51f-cbb3-4c4c-88f6-5352dabdf5d4 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:48.376408Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f46536c-973d-48ee-97de-85fcb15e965d · outbound

This paper cites 2002.Accuracy and stability of numerical algo- rithms.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks 2002.Accuracy and stability of numerical algo- rithms

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:48.527607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a669ba4e-4a89-4afa-8752-5fbcdd2a1028 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:48.658531Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3aa1e0c-c625-4330-af94-eb5a30c19e93 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:48.785979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b2a7088-f08a-4bb0-a5d7-3fe72729dada · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:48.944749Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df27307a-6653-4c76-b365-994c8b5a3263 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:49.053638Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2c6e965-69c3-4d14-959f-dbc611601bb7 · outbound

This paper cites Rothblum.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Rothblum

Reference 24

Resolution: verified exact; doi, observed 2026-08-04T09:43:21.436477Z

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 c91b4c34-e754-4e25-8c80-6767bb28ab46 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:49.313759Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 281b4f59-5fe6-46ea-8251-01ea3511162f · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:49.473503Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a8c77c8-8705-42bd-81bf-9a3373331c38 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:49.635712Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80b19fd2-6cb6-4c5f-b2b3-6c3c1862999e · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:49.729522Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c41f5dc0-96cb-4383-a550-6d525066e2da · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:49.957975Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da84ccfb-f443-4de0-8c44-5a2ddd01abd2 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:50.022245Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ffd5c794-3792-444c-b09c-5942bc34e6f1 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:50.143135Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 880aa930-450e-447c-b046-7eb2215910c2 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:50.277374Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc1815cd-9a11-4ea0-83c9-27fa590435c0 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:50.339635Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59511161-8169-49d8-8d42-07865e140c33 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:50.418445Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13a0d4d6-1460-454e-b1cd-da8678a7d5c0 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:50.512304Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa19ef63-cc70-441e-ba39-8053eea7ba77 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:50.609550Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47c9dad8-c966-4bd0-9f77-a5779493d2e8 · outbound

This paper cites InProceedings 2025 Network and Distributed System Security Symposium.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks InProceedings 2025 Network and Distributed System Security Symposium

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:50.194475Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec7fa519-84f8-4427-8450-d4a65a0bceea · outbound

This paper cites Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:50.774978Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dae455a5-e337-41d7-9846-d2dd9c97c300 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:50.836259Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf500b54-a8b0-4e14-97e4-133598d3a14f · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:50.882113Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c2862ab-f311-42b2-9802-7485b9474f58 · outbound

This paper cites Proof of Diligence: Cryptoeconomic Security for Rollups.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Proof of Diligence: Cryptoeconomic Security for Rollups

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:50.935584Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5c2df41-7d74-4a7f-8c92-6e1301370658 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:50.991157Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7e322d1-238b-4466-a8b6-c754177ed09b · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:50.687409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7bde2a3-4ada-4258-98a0-84924621886c · outbound

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

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:51.221476Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 580c2d17-bcc4-4aa6-b5ab-859e5388543e · outbound

This paper cites Qwen3 Technical Report.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Qwen3 Technical Report

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:51.287257Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d263a658-bdf5-4b19-bd36-2420f384b57c · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:51.346933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b3218c3-2266-4410-a827-6b5f650b5f03 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:51.387666Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 076d14b6-c6a7-4d55-9484-e43cdaf54d7f · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:51.469219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8ec8d06-b99d-4ffe-a144-8e40c0baa5a8 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:51.168224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d8ea840-3b75-4be2-a8a4-4949319ba601 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:51.722602Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35f481a5-b319-438e-9213-ad830d1d3148 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:51.844053Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f719b5d-862d-42c0-8674-0d4f84f9644e · outbound

This paper cites Proof of Sampling: A Nash Equilibrium-Based Verification Protocol for Decentralized Systems.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Proof of Sampling: A Nash Equilibrium-Based Verification Protocol for Decentralized Systems

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:52.069807Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b188b885-4bb1-4183-ba59-fe94e23d35d2 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:52.194213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44481432-0a25-4c16-90db-9b7a94313bd9 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:52.313424Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f9fc2de-837c-4977-9152-e1a5c64fd380 · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:51.604555Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4b05809-a284-4c0c-bd77-57d2f124d13a · outbound

This paper cites an unresolved cited work.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:52.578540Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83edbe42-077b-4cdb-9d81-88fe3a78eeec · outbound

This paper cites In2019 IEEE 30th international symposium on software reliability engineering (ISSRE).

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks In2019 IEEE 30th international symposium on software reliability engineering (ISSRE)

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:51.946522Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecd7ea4d-5cd7-4176-8c63-bedc27e297ed · outbound

This paper cites Proof-of-Learning with Incentive Security.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Proof-of-Learning with Incentive Security

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:52.433210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98c137d9-1916-4a12-9184-73f4be079b52 · outbound

This paper cites In2009 IEEE conference on computer vision and pattern recognition.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks In2009 IEEE conference on computer vision and pattern recognition

Reference 2009

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:47.200399Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23b7f167-5cbe-4309-8285-6a5a1e953b51 · outbound

This paper cites InInternational Conference on Learning Representations.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks InInternational Conference on Learning Representations

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:49.852557Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7daeacc-316a-4b51-a4f5-38262352aae7 · outbound

This paper cites InProceedings of the 2019 conference of the North American chapter of the association for computational linguistics: human language technologies, volume 1 (long and short papers).

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks InProceedings of the 2019 conference of the North American chapter of the association for computational linguistics: human language technologies, volume 1 (long and short papers)

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:47.519749Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4d184ec-4d16-463c-bdc6-af5fa021e3e8 · outbound

This paper cites Agatha: Smart Contract for DNN Computation.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Agatha: Smart Contract for DNN Computation

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:52.738485Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1783c574-6dff-4f9f-8dcb-61ef302e02bb · outbound

This paper cites InProceedings of the Nineteenth European Conference on Com- puter Systems.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks InProceedings of the Nineteenth European Conference on Com- puter Systems

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:46.516302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61450123-0451-415b-b4e1-bf719a510a42 · outbound

This paper cites Cryptology ePrint Archive(2025).

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks Cryptology ePrint Archive(2025)

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:50.080975Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers