Pith. sign in

Paper Citation Record · LEDGER

Learning Minimal Neural Specifications

As of 15 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 2 inbound Pith citation observations for arXiv:2404.04662.

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

pith.paper-citation-record.v1
2404.04662 v4

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 2 of 2 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-11T22:57:11.156671Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

  • verified exact0
  • verified fuzzy0
  • unresolved0
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

1
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation d4b7535c-6dca-4563-a715-f009fabf8591 · inbound

Specification Generation for Neural Networks in Systems cites this paper.

Specification Generation for Neural Networks in Systems Learning Minimal Neural Specifications

Reference 27

Resolution
unresolved
no resolver link, observed 2026-08-11T22:57:11.156671Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-11T22:57:11.156671Z digest=sha256:1a30722e6679f4acc1cad26cbb142b770cc3a8119b579e3fb71db9e68f0c2f8f

Observation 5ad84832-6e80-4170-b750-2f505edaeb96 · inbound

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair cites this paper.

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair Learning Minimal Neural Specifications

Reference 21

Resolution
verified exact
arxiv_id, observed 2026-05-19T22:52:50.006311Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-05-19T22:51:50.268490Z digest=sha256:15378e936e534b03186d0c17d5e64d36d75a4775e2be2db7328134c7e5254ab7