Paper Citation Record · LEDGER

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems

As of 20 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2607.23134.

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

pith.paper-citation-record.v1
2607.23134 v1

Coverage vector

measured 16 of 16 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T03:36:20.487019Z

measured 16 of 16 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

16 of 16 outbound references displayed

verified exact0
verified fuzzy0
unresolved15
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f37968cf-e8b9-4f9d-8799-0fe9fc313dbc · outbound

This paper cites In: Akshay, S., Niemetz, A., Sankaranarayanan, S.

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems In: Akshay, S., Niemetz, A., Sankaranarayanan, S

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:19.464889Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97d388b6-f1ef-4f14-93c2-bb76579cac32 · outbound

This paper cites an unresolved cited work.

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:19.524852Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6675c463-9bc7-477f-9fa8-a2103b9fbad6 · outbound

This paper cites Wiley (2006).

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems Wiley (2006)

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:19.583357Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38a15296-bfa5-4063-909e-e6075bf89b70 · outbound

This paper cites The Annals of Probability3(1), 146–158 (1975).

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems The Annals of Probability3(1), 146–158 (1975)

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:19.643523Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc325dd5-5bc7-4275-a7f4-84e493e14b83 · outbound

This paper cites Springer (1998).

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems Springer (1998)

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:19.705281Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e47235e-c528-4757-9517-2b5a0c1e5043 · outbound

This paper cites Diffusion Models Beat GANs on Image Synthesis.

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems Diffusion Models Beat GANs on Image Synthesis

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:19.732461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10b1657d-eadd-4ba4-8308-8281d6fc2d7f · outbound

This paper cites Communications on Pure and Applied Mathematics28(1), 1–47 (1975).

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems Communications on Pure and Applied Mathematics28(1), 1–47 (1975)

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:19.792465Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cb5f4fd-b48b-4a43-8796-7e6f0d206dea · outbound

This paper cites In: International Conference on Computer Aided Verification.

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems In: International Conference on Computer Aided Verification

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:19.850308Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b267794f-8837-4a4d-89a1-8421a8122981 · outbound

This paper cites In: International Conference on Computer Aided Verification.

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems In: International Conference on Computer Aided Verification

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:19.909029Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e12f6eb7-61c3-4b30-8c3b-37f0c0b395ea · outbound

This paper cites Denoising Diffusion Probabilistic Models.

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems Denoising Diffusion Probabilistic Models

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:19.966954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 954a221f-5e85-4b5f-b402-a247036d6166 · outbound

This paper cites In: Frehse, G., Althoff, M.

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems In: Frehse, G., Althoff, M

Reference 11

Resolution: malformed identifier; doi_truncated, observed 2026-08-01T03:38:23.142679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4d619dc8-f7b3-4ba7-86ae-6fccee37b8e9 · outbound

This paper cites In: IEEE International Conference on Robotics and Automation (ICRA) (2026).

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems In: IEEE International Conference on Robotics and Automation (ICRA) (2026)

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:20.080698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation adaa29f8-0455-44c6-bad0-6325eb16bdf3 · outbound

This paper cites Generative Modeling by Estimating Gradients of the Data Distribution.

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems Generative Modeling by Estimating Gradients of the Data Distribution

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:20.108808Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8cbea796-3c7f-4791-aab4-5f9ed3eccf67 · outbound

This paper cites Score-Based Generative Modeling through Stochastic Differential Equations.

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems Score-Based Generative Modeling through Stochastic Differential Equations

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:20.202780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31ab5012-034d-46d1-8fd6-8705ac1396ee · outbound

This paper cites In: International Conference on Computer Aided Verification.

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems In: International Conference on Computer Aided Verification

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:20.318828Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd015f40-26d2-4c5e-87b9-ff0765136f8d · outbound

This paper cites JointNet: Extending Text-to-Image Diffusion for Dense Distribution Modeling.

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems JointNet: Extending Text-to-Image Diffusion for Dense Distribution Modeling

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T03:36:20.487019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.