Paper Citation Record · LEDGER

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing

As of 10 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2602.04418.

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

pith.paper-citation-record.v1
2602.04418 v3

Coverage vector

measured 30 of 30 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-16T07:28:33.568974Z

measured 30 of 30 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

30 of 30 outbound references displayed

verified exact11
verified fuzzy10
unresolved0
parse uncertain0
malformed identifier2
metadata mismatch7

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c0057b1a-2bc4-4203-a348-453a30c84530 · outbound

This paper cites Alchourr´ on, Peter G¨ ardenfors & David Makins on (1985): On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing Alchourr´ on, Peter G¨ ardenfors & David Makins on (1985): On the Logic of Theory Change: Partial Meet Contraction and Revision Functions

Reference 1

Resolution: metadata mismatch; doi, observed 2026-05-16T07:30:44.116457Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 9b76a1e1-05b6-4c27-9efd-d8b4b8939eee · outbound

This paper cites In: Castelfranchi, C., Lespérance, Y.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing In: Castelfranchi, C., Lespérance, Y

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T07:30:45.043057Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e75e0a08-3f8c-4610-84c9-728069f358ad · outbound

This paper cites In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS’16 (2016).

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS’16 (2016)

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-05-16T07:30:44.153543Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e01d223e-a2d0-4f55-9e71-2a4d464114a7 · outbound

This paper cites https://docs.certora.com/ (2026), ac- cessed: April 6.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing https://docs.certora.com/ (2026), ac- cessed: April 6

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T07:30:45.040537Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b1567eb1-075c-494d-9133-5333eead2293 · outbound

This paper cites In: Proc.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing In: Proc

Reference 5

Resolution: malformed identifier; doi_truncated, observed 2026-05-16T07:30:44.107769Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 441b729f-07d5-435d-a10c-2bd79bd77fa7 · outbound

This paper cites https://github.com/ConsenSysDiligence/mythril (Mar 2024), accessed: November 6.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing https://github.com/ConsenSysDiligence/mythril (Mar 2024), accessed: November 6

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T07:30:45.045923Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d7d02dd8-e78b-489f-936a-7fdd9417fc65 · outbound

This paper cites Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence pp.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence pp

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T07:30:45.051649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 02b947e5-0457-444a-8a59-42a1039cb324 · outbound

This paper cites Capretz, M.A., Capretz, L.F.: A multi-agent framework for testing distributed systems.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing Capretz, M.A., Capretz, L.F.: A multi-agent framework for testing distributed systems

Reference 8

Resolution: verified exact; doi, observed 2026-05-16T07:30:44.140259Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2e64236b-5017-448a-a186-b26644e01523 · outbound

This paper cites Donaldson.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing Donaldson

Reference 9

Resolution: metadata mismatch; arxiv_id, observed 2026-05-16T07:30:44.125971Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 397eb1b3-942d-4124-8d2c-017491e6a58f · outbound

This paper cites In: Findings of the Association for Computational Linguistics: EMNLP 2020.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing In: Findings of the Association for Computational Linguistics: EMNLP 2020

Reference 10

Resolution: malformed identifier; doi_truncated, observed 2026-05-16T07:30:44.137093Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 5f62ebc2-5a6d-433f-a35c-196fb7e82d19 · outbound

This paper cites Standard SC00061J, FIPA (2000), http://www.fipa.org/specs/fipa00061/.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing Standard SC00061J, FIPA (2000), http://www.fipa.org/specs/fipa00061/

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T07:30:45.027286Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 29abe58a-817d-493d-86b6-7b05c25e695a · outbound

This paper cites Grieco, W.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing Grieco, W

Reference 12

Resolution: metadata mismatch; arxiv_id, observed 2026-05-16T07:30:44.149337Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 791d9b52-52bd-4d58-b4a2-dc6936dd0476 · outbound

This paper cites In: 2018 IEEE 31st Computer Security Foundations Symposium (CSF).

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing In: 2018 IEEE 31st Computer Security Foundations Symposium (CSF)

Reference 13

Resolution: metadata mismatch; arxiv_id, observed 2026-05-16T07:30:44.144751Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7b5e2b6f-b24e-476f-8b60-14109eed0d13 · outbound

This paper cites Generative Large Language Model usage in Smart Contract Vulnerability Detection.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing Generative Large Language Model usage in Smart Contract Vulnerability Detection

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-16T07:30:44.340924Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation dfac4be4-21ed-4d5b-910d-7e398761b339 · outbound

This paper cites Computer36(1), 41–50 (2003).

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing Computer36(1), 41–50 (2003)

Reference 15

Resolution: verified exact; arxiv_id, observed 2026-05-16T07:30:44.105363Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 4a28e136-fd86-4917-baef-37722cb44f8a · outbound

This paper cites IEEE Transactions on Software Engineering38(1), 54–72 (2012).

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing IEEE Transactions on Software Engineering38(1), 54–72 (2012)

Reference 16

Resolution: verified exact; doi, observed 2026-05-16T07:30:44.108728Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1468a2c7-98fd-4a4e-b415-48c385239a49 · outbound

This paper cites In: Proceedings of the 43rd ACM SIGPLAN-SIGACT Sym- posium on Principles of Programming Languages.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing In: Proceedings of the 43rd ACM SIGPLAN-SIGACT Sym- posium on Principles of Programming Languages

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-05-16T07:30:44.134060Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 66354e92-aa69-4cc7-a48a-9dd8cf72b657 · outbound

This paper cites In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security

Reference 18

Resolution: metadata mismatch; arxiv_id, observed 2026-05-16T07:30:44.120821Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ec3727d8-9247-4262-a7e9-fbca5da94664 · outbound

This paper cites Journal of Cases on Information Technology (JCIT) 21, 19–32 (01 2019).

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing Journal of Cases on Information Technology (JCIT) 21, 19–32 (01 2019)

Reference 19

Resolution: verified exact; doi, observed 2026-05-16T07:30:44.129811Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a3b42563-29bf-47d3-8294-2e7f70f90992 · outbound

This paper cites In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T07:30:45.035356Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation fe2eb21a-fc18-4c1d-b6f7-acf8fa8dda9c · outbound

This paper cites Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95) pp.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95) pp

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T07:30:45.038037Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation fce738ca-0de4-4892-b036-378328832857 · outbound

This paper cites Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence pp.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence pp

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T07:30:45.032616Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d2f2797a-2a61-44d1-bdef-9c0fce700eac · outbound

This paper cites https://doi.org/10.1109/TC.1980.1675516.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing https://doi.org/10.1109/TC.1980.1675516

Reference 23

Resolution: verified exact; arxiv_id, observed 2026-05-16T07:30:44.100910Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 4097af9e-830e-4224-b002-987dd0e43497 · outbound

This paper cites In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering

Reference 24

Resolution: metadata mismatch; arxiv_id, observed 2026-05-16T07:30:44.113607Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 81a05a42-b3db-4e4b-ae01-83287cdf5d58 · outbound

This paper cites Adaptive Plan-Execute Framework for Smart Contract Security Auditing.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing Adaptive Plan-Execute Framework for Smart Contract Security Auditing

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-05-16T07:30:44.336240Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e2d844ca-5069-4adb-af92-abdba9dc5422 · outbound

This paper cites Werner, Daniel Perez, Lewis Gudgeon, Ariah Klages-Mundt, Dominik Harz, and William J.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing Werner, Daniel Perez, Lewis Gudgeon, Ariah Klages-Mundt, Dominik Harz, and William J

Reference 26

Resolution: metadata mismatch; arxiv_id, observed 2026-05-16T07:30:44.097294Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6859e0d2-f2c4-48e4-88a0-00484d013f97 · outbound

This paper cites John Wiley & Sons (2020).

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing John Wiley & Sons (2020)

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T07:30:45.029769Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 78932bed-d19c-46f4-971b-67b1de678d0b · outbound

This paper cites John Wiley & Sons, Inc., USA (2001) Multi-Agent Coordination for Smart Contract Auditing 19.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing John Wiley & Sons, Inc., USA (2001) Multi-Agent Coordination for Smart Contract Auditing 19

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T07:30:45.049078Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 4cac055f-8b5b-44ea-8854-dc7b46aa4d6b · outbound

This paper cites ACM Trans.

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing ACM Trans

Reference 29

Resolution: verified exact; doi, observed 2026-05-16T07:30:44.157280Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 8fa4de18-93f8-4771-b069-a8d9824dc6fb · outbound

This paper cites Journal of Metaverse4(2), 126–137 (2024).

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing Journal of Metaverse4(2), 126–137 (2024)

Reference 30

Resolution: verified exact; doi, observed 2026-05-16T07:30:44.160710Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Pith citing papers

No inbound Pith citation observations are available.