Pith. sign in

Paper Citation Record · LEDGER

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis

As of 11 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-11T06:34:44.6726+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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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:e479fd28d9e126a257896f8e044e87b7044de3c4099659771d1802e067a0dc3f

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:71fe46d746b5dbb1d53a92d83f521d1dbaf888721c3c506f7b8e33d5cfde009b

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:fd94c19eaf726c554f5c4fe6341c754471a04ac8e7113ea985e800430006f207

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:1ff440b6f0abb75d21c869d1cc16fadc94d54f2fdd3bbe90ea974086dc2bbb37

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-11T06:34:44.6726+00:00.

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

Pith citing papers

No inbound Pith citation observations are available.