Pith. sign in

Paper Citation Record · LEDGER

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis

As of 23 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2506.12883.

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

pith.paper-citation-record.v1
2506.12883 v1

Coverage vector

measured 12 of 12 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T00:39:34.519137Z

measured 12 of 12 standing notices

One-hop event checks from named stored sources.

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

12 of 12 outbound references displayed

  • verified exact1
  • verified fuzzy0
  • unresolved10
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 49173c8a-ea0a-462f-9f07-934206e1f476 · outbound

This paper cites an unresolved cited work.

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis Unresolved cited work

Reference 1

Resolution
unresolved
raw_fallback, observed 2026-08-07T00:39:37.491175Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T00:39:32.747908Z digest=sha256:2d72c4de0c2193bc3ac9c554eea3f7b29efeef431d10f562f3a9e32f214d4732

Observation 9bd60ef2-31e9-42c1-ac5d-c50f8159dfc5 · outbound

This paper cites an unresolved cited work.

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis Unresolved cited work

Reference 2

Resolution
unresolved
raw_fallback, observed 2026-08-07T00:39:37.132318Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T00:39:32.877136Z digest=sha256:42187764d1977207fc63020f8b36f74f210bb4deeccdef19031d91e3fffec75d

Observation 3dddf112-b3d3-4953-8213-5ec3bab55a98 · outbound

This paper cites an unresolved cited work.

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis Unresolved cited work

Reference 3

Resolution
metadata mismatch
raw_fallback, observed 2026-08-07T00:39:35.452965Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T00:39:33.021783Z digest=sha256:945a35838b6e183ba9e395c8180d5a75a9c32ff674c60c7984c53997531452b1

Observation f04a762c-a34b-4890-b244-fc6ca3c81f29 · outbound

This paper cites an unresolved cited work.

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis Unresolved cited work

Reference 4

Resolution
unresolved
raw_fallback, observed 2026-08-07T00:39:36.863189Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T00:39:33.169802Z digest=sha256:36d0d95f902c6da7cbfe8f80e6697610a340bd5eeb53012f5ca21c7494fca04f

Observation 95c30a15-31cf-4096-804f-5f179a0383b2 · outbound

This paper cites an unresolved cited work.

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis Unresolved cited work

Reference 5

Resolution
unresolved
raw_fallback, observed 2026-08-07T00:39:36.477831Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T00:39:33.410899Z digest=sha256:633f43ec5cd31ec2b5ed14ce0092c1f6f3f25454109c1d070719c1eabb5c9846

Observation da894b23-461c-45f4-8431-44ca906a594d · outbound

This paper cites an unresolved cited work.

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis Unresolved cited work

Reference 6

Resolution
unresolved
raw_fallback, observed 2026-08-07T00:39:36.162489Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T00:39:33.696717Z digest=sha256:744059a5668de3e3fb9617cf06a18627d69d9bd9394876d1097bae90bf82dfba

Observation 06273aca-e67c-425e-93ef-f55922e94ffe · outbound

This paper cites an unresolved cited work.

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis Unresolved cited work

Reference 7

Resolution
unresolved
raw_fallback, observed 2026-08-07T00:39:35.832133Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T00:39:33.849735Z digest=sha256:3da8bd85d51add01e7648166ff505717de06be7c22ade3f7fdc5fff9603b12fd

Observation a7e62406-95c4-4067-8283-3499a9f30c9f · outbound

This paper cites an unresolved cited work.

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis Unresolved cited work

Reference 8

Resolution
unresolved
no resolver link, observed 2026-08-07T00:39:34.005534Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-07T00:39:34.005534Z digest=sha256:1118fd90cd313393193634ba1ff9f84ca8f9049176ac67d9c42502346480f18e

Observation bbf82363-c9ce-44a5-8df8-1b273d503c64 · outbound

This paper cites The EPFL Logic Synthesis Libraries.

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis The EPFL Logic Synthesis Libraries

Reference 9

Resolution
unresolved
no resolver link, observed 2026-08-07T00:39:34.154130Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-07T00:39:34.154130Z digest=sha256:eafecb868b6fde23d9cf637e5bb03e7ae52979ca0afc0e2081ee4bf65696bb03

Observation 987e3fe7-c69e-446f-9d69-fcbf869f46a8 · outbound

This paper cites an unresolved cited work.

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis Unresolved cited work

Reference 10

Resolution
unresolved
no resolver link, observed 2026-08-07T00:39:34.313091Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-07T00:39:34.313091Z digest=sha256:1357d581657a0ea97c38c3161677977f902c94a19ccee5eb938227a52fc69731

Observation 400a6298-6a46-4e6a-b8e9-714b795bb61d · outbound

This paper cites an unresolved cited work.

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis Unresolved cited work

Reference 11

Resolution
unresolved
no resolver link, observed 2026-08-07T00:39:34.519137Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-07T00:39:34.519137Z digest=sha256:261e758c7ca8e9492888eeb0403b4daf583c119af56fb44c291a9f123c40caed

Observation 1bda69ea-8a6a-4b7d-a7d2-9cb026a58bbd · outbound

This paper cites Proceedings on Privacy Enhancing Tech- nologies 2023, 3 (July 2023), 154–172.

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis Proceedings on Privacy Enhancing Tech- nologies 2023, 3 (July 2023), 154–172

Reference 2023

Resolution
verified exact
doi, observed 2026-08-07T00:39:34.945490Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T00:39:33.572469Z digest=sha256:a8a7ba01ed633b9375bb06bb40db63ffc0147cdbf53a0f798d1c30a0466b4058

Pith citing papers

No inbound Pith citation observations are available.