Paper Citation Record · LEDGER

Fast and Extensible Hybrid Embeddings with Micros

As of 17 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2509.07551.

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

pith.paper-citation-record.v1
2509.07551 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T16:17:01.196131Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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

22 of 22 outbound references displayed

verified exact4
verified fuzzy3
unresolved14
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7d651c11-31b3-424d-bc3b-fc27e43290f8 · outbound

This paper cites an unresolved cited work.

Fast and Extensible Hybrid Embeddings with Micros Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T16:17:01.068339Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 132663ff-18e0-4c62-9639-902cdbfd016c · outbound

This paper cites an unresolved cited work.

Fast and Extensible Hybrid Embeddings with Micros Unresolved cited work

Reference 2

Resolution: verified exact; doi, observed 2026-08-15T16:17:01.343556Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4fc69b58-353c-4754-8eb6-686207d1bf30 · outbound

This paper cites 2025.Fast and Extensible Hybrid Embeddings with Micros Artifact.

Fast and Extensible Hybrid Embeddings with Micros 2025.Fast and Extensible Hybrid Embeddings with Micros Artifact

Reference 3

Resolution: verified exact; doi, observed 2026-08-15T16:17:01.325239Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 12b62c41-5271-4727-914e-10792945d4ca · outbound

This paper cites an unresolved cited work.

Fast and Extensible Hybrid Embeddings with Micros Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T16:17:01.087917Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb0feff5-ae6e-4a6e-9cd3-e818fb8d3e1c · outbound

This paper cites Bow- man.

Fast and Extensible Hybrid Embeddings with Micros Bow- man

Reference 6

Resolution: verified exact; doi, observed 2026-08-15T16:17:01.294234Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 3c79cd3a-ab0f-420a-b6cf-6857b6c1da0d · outbound

This paper cites an unresolved cited work.

Fast and Extensible Hybrid Embeddings with Micros Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-15T16:17:01.109188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58358605-730b-449f-bbf7-5648555ce09f · outbound

This paper cites an unresolved cited work.

Fast and Extensible Hybrid Embeddings with Micros Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-15T16:17:01.113801Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e833cf1-24f3-4d83-8f5e-969bdff8d7cf · outbound

This paper cites an unresolved cited work.

Fast and Extensible Hybrid Embeddings with Micros Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T16:17:01.118905Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b5144cb-3b1d-48df-bce7-d66a8f8e1bc6 · outbound

This paper cites an unresolved cited work.

Fast and Extensible Hybrid Embeddings with Micros Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-15T16:17:01.123823Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a064bd5-9fbf-41e5-a22a-d618b8344580 · outbound

This paper cites an unresolved cited work.

Fast and Extensible Hybrid Embeddings with Micros Unresolved cited work

Reference 12

Resolution: metadata mismatch; raw_fallback, observed 2026-08-15T16:17:01.645754Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 25c77329-f8e6-4131-8e8a-9ba3e55aa0fa · outbound

This paper cites an unresolved cited work.

Fast and Extensible Hybrid Embeddings with Micros Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:17:01.913279Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 77e99518-2e1a-4c0e-a80e-93f9ca7eef66 · outbound

This paper cites 2001.Linguistic reuse.

Fast and Extensible Hybrid Embeddings with Micros 2001.Linguistic reuse

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:17:01.895337Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation bc091e5d-3f58-468c-9f1b-c942169913a4 · outbound

This paper cites 2007.Towards a practical programming language based on dependent type theory.

Fast and Extensible Hybrid Embeddings with Micros 2007.Towards a practical programming language based on dependent type theory

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:17:01.875858Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 426b4661-f6c7-4d0c-9b74-66cf79d35675 · outbound

This paper cites an unresolved cited work.

Fast and Extensible Hybrid Embeddings with Micros Unresolved cited work

Reference 16

Resolution: verified exact; doi, observed 2026-08-15T16:17:01.251084Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a7db94f4-53ca-45d9-8781-9c62e04624eb · outbound

This paper cites an unresolved cited work.

Fast and Extensible Hybrid Embeddings with Micros Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:17:01.858508Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 35013c3e-0bb8-485d-ab31-689f53f7cf20 · outbound

This paper cites an unresolved cited work.

Fast and Extensible Hybrid Embeddings with Micros Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:17:01.839199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4b454a3b-3ac1-4115-ae81-1d6df186b9c1 · outbound

This paper cites an unresolved cited work.

Fast and Extensible Hybrid Embeddings with Micros Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T16:17:01.167708Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6d9b036-6c1b-4670-8cc9-9589348dd024 · outbound

This paper cites Siek and Walid Taha.

Fast and Extensible Hybrid Embeddings with Micros Siek and Walid Taha

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:17:01.821521Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ea6fe8aa-a276-4890-a423-cf6b18f61a20 · outbound

This paper cites an unresolved cited work.

Fast and Extensible Hybrid Embeddings with Micros Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T16:17:01.179089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2b21bc5-9bc2-422f-aa80-e34a0a20ca65 · outbound

This paper cites 2023.An Extensible Theorem Proving Frontend.

Fast and Extensible Hybrid Embeddings with Micros 2023.An Extensible Theorem Proving Frontend

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T16:17:01.185682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b28458e1-1d29-4aec-8676-d3fcd7592027 · outbound

This paper cites an unresolved cited work.

Fast and Extensible Hybrid Embeddings with Micros Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:17:01.804456Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b411dba3-779b-422f-8b27-85c9bd3d8795 · outbound

This paper cites an unresolved cited work.

Fast and Extensible Hybrid Embeddings with Micros Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-15T16:17:01.196131Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.