Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-06-30T15:01:45.367343Z
Paper Citation Record · LEDGER
As of 10 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2605.24649.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-06-30T15:01:45.367343Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
14 of 14 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 1b12e35b-4391-4549-86e2-39e691ada5e9 · outbound
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks Monitoring temporal properties of con- tinuous signals
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation b4e83bcc-d86a-4e08-83a5-31afe99e08b6 · outbound
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks Stlcg++: A masking approach for differentiable signal temporal logic specification
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 8fe92207-8f70-4e8d-91af-df067493a732 · outbound
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks Kleene’s three valued logics and their children,
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation df3b6aad-f289-4658-b55d-1a6413a63a36 · outbound
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks Deep differentiable logic gate networks,
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 86058a9b-e13b-4d39-92b5-0f3c33dfe04c · outbound
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks Con- volutional differentiable logic gate networks,
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 9c794d83-8cba-475d-93f5-bc31558f8665 · outbound
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks Polynomial surrogate training for differentiable ternary logic gate networks,
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation a289eb49-e638-466b-b966-df6df685a0cb · outbound
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks Breach, a toolbox for verification and parameter synthesis of hybrid systems
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation f31aa8d7-d42e-4e53-aae3-4c19f6d30212 · outbound
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks S- taliro: A tool for temporal logic falsification for hybrid systems,
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation cbbebfdb-af66-400b-92b6-2b4f307a4456 · outbound
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks Robust online monitoring of signal temporal logic
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation e2ee0776-aa46-4817-8b49-f01c6d2cb356 · outbound
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks Stlnet: Signal temporal logic enforced multivariate recurrent neural networks,
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation f50365c2-fed6-49b6-8b54-03690f81d9e2 · outbound
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks Injective de morgan and kleene algebras,
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 7dbc4d09-775e-4768-a120-150b78830117 · outbound
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks Recurrent Deep Differentiable Logic Gate Networks
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 555a992a-a7a4-454d-a6a5-c9608416f3dc · outbound
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks A lattice-theoretical fixpoint theorem and its applications
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation d57e4617-eefe-4682-bab0-65e4c02a40ac · outbound
On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks D4RL: Datasets for Deep Data-Driven Reinforcement Learning
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
No inbound Pith citation observations are available.