Paper Citation Record · LEDGER

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis

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

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

pith.paper-citation-record.v1
2607.23672 v1

Coverage vector

measured 41 of 41 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-30T16:20:11.689330Z

measured 41 of 41 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

41 of 41 outbound references displayed

verified exact0
verified fuzzy0
unresolved41
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c6d82c0f-7001-4d08-a572-0833f405d301 · outbound

This paper cites an unresolved cited work.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.468508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17002bd8-e267-4116-9b88-5312bd2f6d91 · outbound

This paper cites Mis: A multiple-level logic optimization system,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Mis: A multiple-level logic optimization system,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.474162Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9e6ecc0-5004-4831-be2d-56572c2bab9f · outbound

This paper cites Sis: A system for sequential circuit synthesis,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Sis: A system for sequential circuit synthesis,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.482257Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00854e78-c2aa-40df-94ef-cd9f43a7eef3 · outbound

This paper cites Dag-aware aig rewriting: A fresh look at combinational logic synthesis,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Dag-aware aig rewriting: A fresh look at combinational logic synthesis,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.486931Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fe90add-b406-45ff-9c4b-3af5de6a0518 · outbound

This paper cites Scalable don’t- care-based logic optimization and resynthesis,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Scalable don’t- care-based logic optimization and resynthesis,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.490914Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7ce4b95-f2c7-45f1-b10c-2642710efcfa · outbound

This paper cites Sat- based exact synthesis: Encodings, topology families, and parallelism,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Sat- based exact synthesis: Encodings, topology families, and parallelism,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.494962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07c22b17-6480-4088-8873-56ed44c5d2e5 · outbound

This paper cites Boolean rewriting strikes back: Reconvergence-driven windowing meets resyn- thesis,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Boolean rewriting strikes back: Reconvergence-driven windowing meets resyn- thesis,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.499091Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9f78414-3d43-425d-8364-5cb39268e220 · outbound

This paper cites A simulation-guided paradigm for logic synthesis and verification,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis A simulation-guided paradigm for logic synthesis and verification,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.502770Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c58f981f-cb15-42f8-a83b-bb42c3a0150c · outbound

This paper cites Majority-inverter graph: A new paradigm for logic optimization,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Majority-inverter graph: A new paradigm for logic optimization,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.507135Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54f7b77e-ebe7-4040-8e4e-225154dbcd63 · outbound

This paper cites Logic optimization with xor-and graphs,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Logic optimization with xor-and graphs,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.511185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 096e50fc-f739-4a23-a9af-275aa88de934 · outbound

This paper cites Logic optimization with majority-inverter graphs and xor-majority graphs,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Logic optimization with majority-inverter graphs and xor-majority graphs,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.516518Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d7b0866-38df-4340-a7dd-548f4352d4c3 · outbound

This paper cites Drills: Deep rein- forcement learning for logic synthesis,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Drills: Deep rein- forcement learning for logic synthesis,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.523533Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4931dd7-b162-48db-933f-fbea9750b915 · outbound

This paper cites FlowTune: End-to-end Automatic Logic Optimization Exploration via Domain-specific Multi-armed Bandit.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis FlowTune: End-to-end Automatic Logic Optimization Exploration via Domain-specific Multi-armed Bandit

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.528767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66d4c361-ad04-4cd1-864a-6c1e7fe8efc6 · outbound

This paper cites Boils: Bayesian optimisation for logic synthesis,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Boils: Bayesian optimisation for logic synthesis,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.534485Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80d35150-607b-4a15-8ea0-0ca4dda18458 · outbound

This paper cites Alphasyn: Logic synthesis optimization with efficient monte carlo tree search,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Alphasyn: Logic synthesis optimization with efficient monte carlo tree search,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.541598Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18652a1a-7901-450a-b658-6c0c8247c980 · outbound

This paper cites Exploring logic optimizations with reinforcement learning and graph convolutional network,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Exploring logic optimizations with reinforcement learning and graph convolutional network,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.549420Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7549ac3-9995-4dc8-8620-957d1c70efb4 · outbound

This paper cites Retrieval-guided reinforcement learning for boolean circuit minimiza- tion,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Retrieval-guided reinforcement learning for boolean circuit minimiza- tion,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.553083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 239b709c-12e1-42b3-b67b-442b1ed2940f · outbound

This paper cites LOSTIN: Logic optimization via spatio-temporal information with hybrid graph models,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis LOSTIN: Logic optimization via spatio-temporal information with hybrid graph models,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.558010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7268c272-492c-4a43-9191-416dce32463a · outbound

This paper cites Gamora: Graph learning based symbolic reasoning for large-scale boolean networks,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Gamora: Graph learning based symbolic reasoning for large-scale boolean networks,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.563304Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 849dd8d8-d746-4986-a65d-61d86e0cfa6a · outbound

This paper cites BoolGebra: Attributed graph-learning for boolean algebraic manipulation,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis BoolGebra: Attributed graph-learning for boolean algebraic manipulation,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.568651Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 006422e6-e6c3-4842-a67e-bcb706598630 · outbound

This paper cites Lsoracle: a logic synthesis framework driven by artificial intelligence (invited paper),.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Lsoracle: a logic synthesis framework driven by artificial intelligence (invited paper),

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.572629Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f9f30a2-016c-41ff-8949-896e98ff0aaf · outbound

This paper cites Helo: A heterogeneous logic optimization framework by hierarchical clustering and graph learning,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Helo: A heterogeneous logic optimization framework by hierarchical clustering and graph learning,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.576657Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ce8a596-9eff-47f6-9e46-fd744e2ea7f2 · outbound

This paper cites DAG-aware Synthesis Orchestration.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis DAG-aware Synthesis Orchestration

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.581687Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c07ee16f-d98d-4a18-87e7-748530a3e28b · outbound

This paper cites Abc: An academic industrial-strength verification tool,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Abc: An academic industrial-strength verification tool,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.586691Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73e1a0f6-43bd-4b21-a41c-f02d37afacf4 · outbound

This paper cites The epfl logic synthesis libraries,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis The epfl logic synthesis libraries,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.592742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb1f8310-f552-48a3-bfee-b69dd2869b3b · outbound

This paper cites Provably correct peephole optimizations with alive,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Provably correct peephole optimizations with alive,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.599551Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16f999e5-895a-4687-ae54-89de844a8a21 · outbound

This paper cites Alive2: Bounded translation validation for llvm,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Alive2: Bounded translation validation for llvm,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.609569Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26184f5f-07d7-4a09-aa13-562841f3622e · outbound

This paper cites Mathematical discoveries from program search with large language models,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Mathematical discoveries from program search with large language models,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.617316Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21d23049-a3b6-4bba-961e-cfd72a35ffd5 · outbound

This paper cites Solving olympiad geometry without human demonstrations,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Solving olympiad geometry without human demonstrations,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.621799Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c936114-c9f1-457f-91ab-a0d842ebc4b9 · outbound

This paper cites Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.626377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0da356d-4cb6-4e41-90ae-a2f4409f1ae7 · outbound

This paper cites Robust boolean reasoning for equivalence checking and functional property verification,.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Robust boolean reasoning for equivalence checking and functional property verification,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.634175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8170dd2b-570b-4264-822d-64962e8e9551 · outbound

This paper cites Minimum cardinality and arbitrary multi-step reachable sets lie outside this result.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Minimum cardinality and arbitrary multi-step reachable sets lie outside this result

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.639652Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 624d31e7-3097-4281-bd78-6496cfad12ab · outbound

This paper cites an unresolved cited work.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.649437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59fedef6-f0a1-4572-80cd-265bfed792f5 · outbound

This paper cites an unresolved cited work.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.658207Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 025cf403-6c6b-44ae-9cf3-ecfa2b37ee10 · outbound

This paper cites an unresolved cited work.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.663499Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1091ec9b-8f10-4966-a88c-0856a469dde9 · outbound

This paper cites No reassociation, balancing, rewriting, refactoring, resubsti- tution, or SAT sweeping occurs inN.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis No reassociation, balancing, rewriting, refactoring, resubsti- tution, or SAT sweeping occurs inN

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.667945Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 341b1179-b4d1-44fb-aa6d-2b8076a01fdc · outbound

This paper cites The normal-effort HeLO- comparison recipe iscgo -M 2; cgo_mig; the maximum- effort recipe iscgo -M 1 -P 20; cgo_mig -R 60 -T.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis The normal-effort HeLO- comparison recipe iscgo -M 2; cgo_mig; the maximum- effort recipe iscgo -M 1 -P 20; cgo_mig -R 60 -T

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.672401Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b112fcf-862b-44e6-9985-127dd7d10ea5 · outbound

This paper cites Ratios and speedups use the same inputs, host, harness, and published orchestratecommand as Tables XVII and XVIII.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Ratios and speedups use the same inputs, host, harness, and published orchestratecommand as Tables XVII and XVIII

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.682271Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2bc1bc0b-512d-4071-8bfc-f0498ce85b02 · outbound

This paper cites At normal effort, its exact-input and all-context NDP geomeans are0.940 and0.944; at maximum effort, they are0.944and0.929.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis At normal effort, its exact-input and all-context NDP geomeans are0.940 and0.944; at maximum effort, they are0.944and0.929

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.685850Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 007c1dee-a5cc-4e95-b971-a3e34e91e049 · outbound

This paper cites The eleven corrected inputs inO 16 \D 55 entered after the configuration freeze and form the disjoint evaluation subset reported above.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis The eleven corrected inputs inO 16 \D 55 entered after the configuration freeze and form the disjoint evaluation subset reported above

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.689330Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec580f23-21c2-4fc7-a764-b2ede4b5de02 · outbound

This paper cites TABLE XX COMPLETE DELTA FROM TACO TO THE FAST OVERLAY.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis TABLE XX COMPLETE DELTA FROM TACO TO THE FAST OVERLAY

Reference 1800

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.677087Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.