Paper Citation Record · LEDGER

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs

As of 9 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2607.05478.

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

pith.paper-citation-record.v1
2607.05478 v1

Coverage vector

measured 52 of 52 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-11T08:00:14.766840Z

measured 52 of 52 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

52 of 52 outbound references displayed

verified exact2
verified fuzzy0
unresolved48
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e146cfa3-c58c-41ee-8482-e42e90a12f9b · outbound

This paper cites Horn-ice learning for synthesizing invariants and contracts,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Horn-ice learning for synthesizing invariants and contracts,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb792253-520f-4e06-b880-4882334cdfa0 · outbound

This paper cites Learning invariants using decision trees and implication counterexamples,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Learning invariants using decision trees and implication counterexamples,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5dc284f-ff36-4f4c-83ee-e164d1265ef8 · outbound

This paper cites Interval counterexamples for loop invariant learning,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Interval counterexamples for loop invariant learning,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ff71ab8-ab96-412f-97e9-2bbb9d54e038 · outbound

This paper cites Learning loop invariants for program verification,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Learning loop invariants for program verification,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f207010-f65b-4d0f-9109-ead66579278c · outbound

This paper cites Loop invariant inference through smt solving enhanced reinforcement learning,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Loop invariant inference through smt solving enhanced reinforcement learning,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e9bce83-4ba0-4de7-89fa-4617d3653329 · outbound

This paper cites Cln2inv: Learning loop invariants with continuous logic networks,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Cln2inv: Learning loop invariants with continuous logic networks,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3307f67a-6e9b-4c29-a971-9e999c0e23c6 · outbound

This paper cites Learning nonlinear loop invariants with gated continuous logic networks,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Learning nonlinear loop invariants with gated continuous logic networks,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c26dafc-df68-491a-bddd-901ae0ebf1c6 · outbound

This paper cites Finding Inductive Loop Invariants using Large Language Models.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Finding Inductive Loop Invariants using Large Language Models

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fe7de47-327d-4fb7-841d-c48581409217 · outbound

This paper cites Ranking LLM-generated loop invariants for program verification,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Ranking LLM-generated loop invariants for program verification,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f94d2097-60b9-4299-a16b-7b6bb374a11a · outbound

This paper cites Towards general loop invariant generation: a benchmark of programs with memory manipula- tion,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Towards general loop invariant generation: a benchmark of programs with memory manipula- tion,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be64c82e-23d4-4fa8-b9a5-9b54273d1d16 · outbound

This paper cites Lemur: Integrating large language models in automated program verification,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Lemur: Integrating large language models in automated program verification,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b830598-e3df-403e-8340-32e13a3ad86f · outbound

This paper cites Progress on software verification: Sv-comp 2022,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Progress on software verification: Sv-comp 2022,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8a1b566-8959-4b34-ba9f-7d4469380b76 · outbound

This paper cites Inductive invariant generation via abductive inference,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Inductive invariant generation via abductive inference,

Reference 13

Resolution: malformed identifier; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf49d7ca-dae2-42ae-8e84-9bbab4433479 · outbound

This paper cites an unresolved cited work.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0497e7d-6b43-4a36-9b73-baeed9a2ffb3 · outbound

This paper cites Software model checking for people who love automata,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Software model checking for people who love automata,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5805a089-6fe8-434d-9811-d18b2233f38a · outbound

This paper cites Llm meets bounded model checking: Neuro-symbolic loop invariant inference,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Llm meets bounded model checking: Neuro-symbolic loop invariant inference,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 002feea0-e92d-4552-87e0-85b8b1b8dd1c · outbound

This paper cites Enchanting program specification synthesis by large language models using static analysis and program verification,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Enchanting program specification synthesis by large language models using static analysis and program verification,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcfc0945-b1c5-4655-9cde-4edac151b0ea · outbound

This paper cites Z3: An efficient smt solver,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Z3: An efficient smt solver,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad8520bb-c7b2-48a8-9663-36b442929adf · outbound

This paper cites an unresolved cited work.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 742a9a8e-9749-4577-9b39-e82ded4b7915 · outbound

This paper cites Frama-c: A software analysis perspective,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Frama-c: A software analysis perspective,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e98d18a8-1eef-4f37-bbaf-7e756293ff7b · outbound

This paper cites Behavioral interface specification languages,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Behavioral interface specification languages,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation baba2370-baa1-4869-9ecd-52e9aebd66af · outbound

This paper cites Enhancing automated loop invariant generation for complex programs with large language models,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Enhancing automated loop invariant generation for complex programs with large language models,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6e694ae-4e81-43dc-8e15-39c7d1ecee0f · outbound

This paper cites Qwen3.7: The agent frontier,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Qwen3.7: The agent frontier,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 824e3f12-5dce-44db-b678-35cafe41fb9f · outbound

This paper cites Deepseek-v4: Towards highly efficient million- token context intelligence,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Deepseek-v4: Towards highly efficient million- token context intelligence,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3eb7ee8d-3b83-4f62-94de-277c5616cfb1 · outbound

This paper cites OpenAI GPT-5 System Card.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs OpenAI GPT-5 System Card

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f74ce390-4c6b-4e35-81e1-d1e390d1d5d1 · outbound

This paper cites Alt-ergo 2.2,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Alt-ergo 2.2,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ee68fa1-d714-4a24-aaf3-8b20c5500e1b · outbound

This paper cites cvc5: A versatile and industrial-strength smt solver,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs cvc5: A versatile and industrial-strength smt solver,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 338423f2-97ac-4373-bf77-9b2458f3b860 · outbound

This paper cites Ghosts for lists: a critical module of contiki verified in frama-c,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Ghosts for lists: a critical module of contiki verified in frama-c,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a739263a-eef9-4b04-933d-2d50f9bbb6f6 · outbound

This paper cites Logic against ghosts: Comparison of two proof approaches for a list module,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Logic against ghosts: Comparison of two proof approaches for a list module,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5267755-f61e-4355-bb8a-aa2b9dd58975 · outbound

This paper cites The daikon system for dynamic detection of likely invariants,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs The daikon system for dynamic detection of likely invariants,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92256299-5b55-4626-aebc-5036cce9f784 · outbound

This paper cites A data driven approach for algebraic loop invariants,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs A data driven approach for algebraic loop invariants,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e318541-9473-46cb-a0a6-e48a9fe28a44 · outbound

This paper cites Dig: A dynamic invariant generator for polynomial and array invariants,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Dig: A dynamic invariant generator for polynomial and array invariants,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6cc1734-8908-4455-825f-45048cf25615 · outbound

This paper cites Bi-abductive resource invariant synthesis,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Bi-abductive resource invariant synthesis,

Reference 34

Resolution: verified exact; doi, observed 2026-07-11T08:07:53.790825Z

Source-reported events for the cited work

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

Observation 92e705d0-4819-4666-8a42-f54a6f862173 · outbound

This paper cites Linear invariant generation using non-linear constraint solving,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Linear invariant generation using non-linear constraint solving,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9959bf22-f815-4aa0-ba7f-55403df8de63 · outbound

This paper cites From tests to proofs,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs From tests to proofs,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5c611ba-bdb3-43ec-9d58-390c0f4bb99d · outbound

This paper cites Automatic discovery of linear restraints among variables of a program,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Automatic discovery of linear restraints among variables of a program,

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 324376d8-d478-437c-a62f-9a0715121f64 · outbound

This paper cites Systematic design of program analysis frameworks,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Systematic design of program analysis frameworks,

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7918653a-9e8f-4c0a-bd67-37e2669bdc59 · outbound

This paper cites Affine relationships among variables of a program,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Affine relationships among variables of a program,

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2daf0f3d-e980-42b4-b6eb-92826dd5aea5 · outbound

This paper cites The eldarica horn solver,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs The eldarica horn solver,

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9192f3a8-a469-4db2-ab9c-bc4c810db91c · outbound

This paper cites Global guidance for local generalization in model checking,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Global guidance for local generalization in model checking,

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d184b0c-b88f-4c02-8355-a37b43862290 · outbound

This paper cites A practical and complete approach to predicate refinement,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs A practical and complete approach to predicate refinement,

Reference 42

Resolution: verified exact; doi, observed 2026-07-11T08:07:53.811038Z

Source-reported events for the cited work

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

Observation 9a05b4ba-e225-445c-a98b-d0b9c1aa0cac · outbound

This paper cites Lazy annotation for program testing and verification,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Lazy annotation for program testing and verification,

Reference 43

Resolution: malformed identifier; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a0311f1-4826-4180-b4cc-ed937374bcdb · outbound

This paper cites Barrett, C.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Barrett, C

Reference 44

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 337a6e99-3ed6-473c-a713-057cda751d1f · outbound

This paper cites Data-driven precondition infer- ence with learned features,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Data-driven precondition infer- ence with learned features,

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18055bea-2c6e-4b17-b986-0e3a413457d3 · outbound

This paper cites Ice: A robust framework for learning invariants,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Ice: A robust framework for learning invariants,

Reference 46

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92fa2fe2-a369-47ad-84b4-d11050b00f5e · outbound

This paper cites Multi-phase invariant synthesis,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Multi-phase invariant synthesis,

Reference 47

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0be62e45-26d2-4ef0-be09-119d5a47ba39 · outbound

This paper cites Interpolants as classifiers,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Interpolants as classifiers,

Reference 48

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8f68edd-2c42-4075-b181-1de65c122a69 · outbound

This paper cites Automatic loop- invariant generation anc refinement through selective sampling,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Automatic loop- invariant generation anc refinement through selective sampling,

Reference 49

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f22164d6-d6fb-4a97-8ffb-2a125bd29eb4 · outbound

This paper cites Verification as learning geometric concepts,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Verification as learning geometric concepts,

Reference 50

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcfce5b9-b8b0-4eff-8e31-d72f34c1ca39 · outbound

This paper cites Springer, 2013, pp.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Springer, 2013, pp

Reference 51

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce37d0df-c1b2-4152-a009-2d3960b1f765 · outbound

This paper cites Clause2inv: A generate-combine-check framework for loop invariant inference,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Clause2inv: A generate-combine-check framework for loop invariant inference,

Reference 52

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71e98036-5c4f-4090-9e09-c29f6b35791b · outbound

This paper cites Integrating symbolic execution with llms for automated generation of program specifications,.

InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Integrating symbolic execution with llms for automated generation of program specifications,

Reference 53

Resolution: unresolved; no resolver link, observed 2026-07-11T08:00:14.766840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.