Cycle-Consistent Neural Explanation of Formal Verification Certificates | Paper Citation Record

Observation de902b88-10b8-4d85-836e-86ded579d2e0 · outbound

This paper cites Safe Reinforcement Learning via Shielding.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Safe Reinforcement Learning via Shielding

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2420a529-7f0f-4db3-a804-e9bab5ec0d29 · outbound

This paper cites The Claude Model Family: Claude Opus 4.5 and Claude Sonnet 4.6.Technical Report, 2025.

Cycle-Consistent Neural Explanation of Formal Verification Certificates The Claude Model Family: Claude Opus 4.5 and Claude Sonnet 4.6.Technical Report, 2025

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba37ad02-0736-4aaf-beb4-c85054d80efd · outbound

This paper cites In: Piskac, R., Rakamaric, Z.

Cycle-Consistent Neural Explanation of Formal Verification Certificates In: Piskac, R., Rakamaric, Z

Reference 3

Resolution: metadata mismatch; doi, observed 2026-06-25T23:48:42.472057Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 860bd9c3-6d9e-46d1-a9ad-7e79793288d6 · outbound

This paper cites Neural Machine Translation by Jointly Learning to Align and Translate.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Neural Machine Translation by Jointly Learning to Align and Translate

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f97481e5-aa97-40c8-806b-ffcdee62a00d · outbound

This paper cites Constitutional AI: Harmlessness from AI Feedback.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Constitutional AI: Harmlessness from AI Feedback

Reference 5

Resolution: verified exact; local_arxiv, observed 2026-07-04T17:29:59.650475Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 228b5c45-fe7c-44cb-8656-9d36080f6c5d · outbound

This paper cites MIT Press, 2008.

Cycle-Consistent Neural Explanation of Formal Verification Certificates MIT Press, 2008

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a703331-1181-41c3-bced-0d48dfae9b5d · outbound

This paper cites cvc5: A Versatile and Industrial-Strength SMT Solver.

Cycle-Consistent Neural Explanation of Formal Verification Certificates cvc5: A Versatile and Industrial-Strength SMT Solver

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abff7e44-1c51-42d1-b6fc-641db962e714 · outbound

This paper cites The coq proof assistant reference manual,.

Cycle-Consistent Neural Explanation of Formal Verification Certificates The coq proof assistant reference manual,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1e62ad8-5479-4978-a28e-3e75482e8b5c · outbound

This paper cites Optimal Bounded Partial Order Reduction , booktitle =.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Optimal Bounded Partial Order Reduction , booktitle =

Reference 9

Resolution: verified exact; doi, observed 2026-06-25T23:48:42.467322Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6a7077dd-b3b5-4da4-a9e2-fb0f85dbfe82 · outbound

This paper cites Explaining Counterexamples Using Causality.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Explaining Counterexamples Using Causality

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b904d29-f05f-4078-87d1-e5ce83e8197e · outbound

This paper cites Symbolic Model Checking without BDDs.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Symbolic Model Checking without BDDs

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8612fd76-e1d2-430f-8be2-22e81338912e · outbound

This paper cites Synthesis of Reactive(1) Designs.Journal of Computer and System Sciences, 78(3):911–938, 2012.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Synthesis of Reactive(1) Designs.Journal of Computer and System Sciences, 78(3):911–938, 2012

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d46b14b-c8c7-4001-a033-b32952793b81 · outbound

This paper cites Shield Synthesis: Runtime Enforcement for Reactive Systems.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Shield Synthesis: Runtime Enforcement for Reactive Systems

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29c5bfcd-0892-44a8-94f9-f73edfb00f74 · outbound

This paper cites Large Language Monkeys: Scaling Inference Compute with Repeated Sampling.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Large Language Monkeys: Scaling Inference Compute with Repeated Sampling

Reference 14

Resolution: metadata mismatch; local_arxiv, observed 2026-07-04T17:29:59.650086Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 4da68a0d-66c5-44b1-af3a-c44a9668e174 · outbound

This paper cites The nuXmv Symbolic Model Checker.

Cycle-Consistent Neural Explanation of Formal Verification Certificates The nuXmv Symbolic Model Checker

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 304399ec-004c-4761-99e7-acb9b0539931 · outbound

This paper cites Logical natural language generation from open-domain tables.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Logical natural language generation from open-domain tables

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ad97d91-2eec-499e-a7aa-85fc411747fc · outbound

This paper cites ShieldAgent: Shielding Agents via Verifiable Safety Policy Reasoning.

Cycle-Consistent Neural Explanation of Formal Verification Certificates ShieldAgent: Shielding Agents via Verifiable Safety Policy Reasoning

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 999f2e53-a593-4198-bb79-9d2ee2508d06 · outbound

This paper cites Provenance in Databases: Why, How, and Where.Foundations and Trends in Databases, 1(4):379–474, 2009.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Provenance in Databases: Why, How, and Where.Foundations and Trends in Databases, 1(4):379–474, 2009

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87d6a671-a643-4dc0-845b-d2d37dca5e40 · outbound

This paper cites an unresolved cited work.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Unresolved cited work

Reference 19

Resolution: verified exact; arxiv_id, observed 2026-06-25T23:48:42.470102Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 61995093-fe40-41a9-9386-3adefd0cdd54 · outbound

This paper cites Clarke, Fausto Giunchiglia, and Marco Roveri.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Clarke, Fausto Giunchiglia, and Marco Roveri

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1c1f9c7-81e9-4075-87bd-79819275c9d9 · outbound

This paper cites IC3 Modulo Theories via Implicit Predicate Abstraction.Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2014.

Cycle-Consistent Neural Explanation of Formal Verification Certificates IC3 Modulo Theories via Implicit Predicate Abstraction.Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2014

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a272a498-8458-46a6-afdf-9b477c7d2932 · outbound

This paper cites Counterexample- Guided Abstraction Refinement.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Counterexample- Guided Abstraction Refinement

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d008dd08-4732-4db9-bb82-65704803d269 · outbound

This paper cites Clarke, E.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Clarke, E

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0714b51-556b-4568-a8ee-08f1dce55bbf · outbound

This paper cites Clarke, Thomas A.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Clarke, Thomas A

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0346fb7d-8114-41c6-9a90-f3f3f133f8e9 · outbound

This paper cites Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 121e4ad7-08c9-4c09-bca8-903e56c9982a · outbound

This paper cites Verification-Guided Shielding for Deep Reinforcement Learning.RLJ, 4:1759–1780, 2024.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Verification-Guided Shielding for Deep Reinforcement Learning.RLJ, 4:1759–1780, 2024

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2cc63591-d996-4b82-bfe3-fd99accf0db9 · outbound

This paper cites Z3: An Efficient SMT Solver.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Z3: An Efficient SMT Solver

Reference 27

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37d9c372-e459-4a21-99fb-ef012c33f900 · outbound

This paper cites The Lean 4 Theorem Prover and Programming Language.

Cycle-Consistent Neural Explanation of Formal Verification Certificates The Lean 4 Theorem Prover and Programming Language

Reference 28

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 492f0e6e-2ee3-4fde-a4c8-d658bfeb5fd2 · outbound

This paper cites FEQA: A Question Answering Evaluation Framework for Faithfulness Assessment in Abstractive Summarization.

Cycle-Consistent Neural Explanation of Formal Verification Certificates FEQA: A Question Answering Evaluation Framework for Faithfulness Assessment in Abstractive Summarization

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b9d907e-b92d-4a35-a42b-c8173cd7a190 · outbound

This paper cites Unsolvability Certificates for Classical Planning.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Unsolvability Certificates for Classical Planning

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7287d4f-9896-4599-a881-c2a1ec521e35 · outbound

This paper cites Data Augmentation for Low-Resource Neural Machine Translation.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Data Augmentation for Low-Resource Neural Machine Translation

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c1acd01-4c89-4951-a76a-2abc193c936b · outbound

This paper cites Beam Search Strategies for Neural Machine Translation.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Beam Search Strategies for Neural Machine Translation

Reference 32

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b06fa447-490e-456c-845e-ffd8bfea0229 · outbound

This paper cites Elsevier, 2004.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Elsevier, 2004

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d185edfc-9a10-4c2d-91fb-5fb10d0f25d9 · outbound

This paper cites Neu- ral Model Checking.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Neu- ral Model Checking

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 589d77ca-2f4d-4182-bb7f-e5c52ce21817 · outbound

This paper cites Let a Neural Network be Your Invariant.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Let a Neural Network be Your Invariant

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5277b76e-67b8-4ae2-9171-e29058570969 · outbound

This paper cites What Went Wrong: Explaining Counterexamples.

Cycle-Consistent Neural Explanation of Formal Verification Certificates What Went Wrong: Explaining Counterexamples

Reference 36

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9ba83f2-78be-45c3-b09b-c4c8fd3b629f · outbound

This paper cites Pointing the Unknown Words.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Pointing the Unknown Words

Reference 37

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4417ee1-0d79-42a7-ae31-fc0c62b388bc · outbound

This paper cites Foundations and Trends in Programming Languages, 2017.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Foundations and Trends in Programming Languages, 2017

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1eb4cf71-7835-41a1-8dfb-26d934d60692 · outbound

This paper cites Shields to Guarantee Probabilistic Safety in MDPs.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Shields to Guarantee Probabilistic Safety in MDPs

Reference 39

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ea31378-1d4e-494b-8f3a-669a8257ae3c · outbound

This paper cites The Fast Downward Planning System.Journal of Artificial Intelligence Research, 26:191–246, 2006.

Cycle-Consistent Neural Explanation of Formal Verification Certificates The Fast Downward Planning System.Journal of Artificial Intelligence Research, 26:191–246, 2006

Reference 41

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf0ea991-0195-43c7-a34f-74200f6cfe20 · outbound

This paper cites Holzmann.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Holzmann

Reference 42

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ca721c2-0576-467d-b4f4-a3ce1cf13aa2 · outbound

This paper cites Justification of OWL Entailments.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Justification of OWL Entailments

Reference 43

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 514e9a4f-e581-4dad-a08b-75f1c62d4eb4 · outbound

This paper cites an unresolved cited work.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b49b68e4-c6f9-4901-abcc-8abffb0f0b15 · outbound

This paper cites Survey of Hallucination in Natural Language Generation.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Survey of Hallucination in Natural Language Generation

Reference 45

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9f0d9d3-d8ca-4b00-86c0-6073d3ebf43c · outbound

This paper cites an unresolved cited work.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Unresolved cited work

Reference 46

Resolution: verified exact; doi, observed 2026-06-25T23:48:42.451171Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation af124be7-c6e6-494c-a415-391208fd47fc · outbound

This paper cites Shields for Safe Reinforcement Learning.Commun.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Shields for Safe Reinforcement Learning.Commun

Reference 47

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a1def93-abad-49ee-bcc5-45d481eb9e4c · outbound

This paper cites K¨ onighofer, R.

Cycle-Consistent Neural Explanation of Formal Verification Certificates K¨ onighofer, R

Reference 48

Resolution: metadata mismatch; doi, observed 2026-06-25T23:48:42.460192Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a2a56977-9c66-46c7-87af-c747ab7c5089 · outbound

This paper cites CBMC – C Bounded Model Checker.

Cycle-Consistent Neural Explanation of Formal Verification Certificates CBMC – C Bounded Model Checker

Reference 49

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b8373f6-903a-460e-8dc2-4bae050a618c · outbound

This paper cites Evaluating the Factual Consistency of Abstractive Text Summarization.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Evaluating the Factual Consistency of Abstractive Text Summarization

Reference 50

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0b3ba62-af8f-4f6d-9323-5adc293bf23a · outbound

This paper cites Unsuper- vised Machine Translation Using Monolingual Corpora Only.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Unsuper- vised Machine Translation Using Monolingual Corpora Only

Reference 51

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca0ad63b-8a88-49b6-8efd-75c8f5f32a23 · outbound

This paper cites Decoupled Weight Decay Regularization.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Decoupled Weight Decay Regularization

Reference 52

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba4f5a75-9348-4b68-94e3-187354769fd8 · outbound

This paper cites McMillan.

Cycle-Consistent Neural Explanation of Formal Verification Certificates McMillan

Reference 53

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e540c277-0ad1-4e44-b7ab-6b4f6a6994d6 · outbound

This paper cites In: Chockler, H., Weissenbacher, G.

Cycle-Consistent Neural Explanation of Formal Verification Certificates In: Chockler, H., Weissenbacher, G

Reference 54

Resolution: verified exact; doi, observed 2026-06-25T23:48:42.445376Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 526930c4-b250-439c-b488-0d23ea8bbf6a · outbound

This paper cites On Learning Action Costs from Input Plans.

Cycle-Consistent Neural Explanation of Formal Verification Certificates On Learning Action Costs from Input Plans

Reference 55

Resolution: verified exact; arxiv_id, observed 2026-07-04T17:20:01.545254Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f8b6ed79-ee73-4aec-8f6b-bced19b549df · outbound

This paper cites Optimality Certificates for Classical Planning.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Optimality Certificates for Classical Planning

Reference 56

Resolution: verified exact; doi, observed 2026-06-25T23:48:42.465351Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 22812868-b6e6-47d8-945d-22c88fd94af4 · outbound

This paper cites Paulson, and Markus Wenzel.Isabelle/HOL: A Proof Assistant for Higher-Order Logic.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Paulson, and Markus Wenzel.Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Reference 57

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b425f228-9705-466a-95ce-1b34648ec303 · outbound

This paper cites Tenenbaum, and Brenden M.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Tenenbaum, and Brenden M

Reference 58

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eac1f76d-90b2-49f3-8d6f-7381e16c9f24 · outbound

This paper cites GPT-4o System Card.Technical Report, 2024.

Cycle-Consistent Neural Explanation of Formal Verification Certificates GPT-4o System Card.Technical Report, 2024

Reference 59

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee1319fb-5c8b-45d7-a907-19fa343741a6 · outbound

This paper cites Parikh, Xuezhi Wang, Sebastian Gehrmann, Manaal Faruqui, Bhuwan Dhingra, Diyi Yang, and Dipanjan Das.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Parikh, Xuezhi Wang, Sebastian Gehrmann, Manaal Faruqui, Bhuwan Dhingra, Diyi Yang, and Dipanjan Das

Reference 60

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41b23ce1-5bf3-43e0-91ab-1b1137709285 · outbound

This paper cites The Temporal Logic of Programs.

Cycle-Consistent Neural Explanation of Formal Verification Certificates The Temporal Logic of Programs

Reference 61

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea3686d2-2f0d-43a0-a4b1-194ee6df6744 · outbound

This paper cites On the Synthesis of a Reactive Module.

Cycle-Consistent Neural Explanation of Formal Verification Certificates On the Synthesis of a Reactive Module

Reference 62

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 825cb321-78f3-403c-acd7-f96cce596a94 · outbound

This paper cites Translation Validation.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Translation Validation

Reference 63

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c5b2b23-b265-4555-8a64-d651b1e7ae8c · outbound

This paper cites Synchromesh: Reliable Code Generation from Pre-trained Language Models.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Synchromesh: Reliable Code Generation from Pre-trained Language Models

Reference 64

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd15cbfc-494a-4576-99a7-88c7f6a5342d · outbound

This paper cites an unresolved cited work.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Unresolved cited work

Reference 65

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae8bbcc5-e360-42a6-8366-2f37c43aebeb · outbound

This paper cites Making IP = PSPACE practical: Efficient interactive protocols for BDD algorithms.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Making IP = PSPACE practical: Efficient interactive protocols for BDD algorithms

Reference 66

Resolution: metadata mismatch; doi, observed 2026-06-25T23:48:42.449416Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 66365dc6-dcee-4c60-96b0-bf8354e324da · outbound

This paper cites Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories

Reference 67

Resolution: verified exact; doi, observed 2026-06-25T23:48:42.457413Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1af47596-702b-4b2e-b9df-1f6258240d46 · outbound

This paper cites Shield Synthesis for LTL Modulo Theories.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Shield Synthesis for LTL Modulo Theories

Reference 68

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35f6a9f0-72b2-4e7f-8a69-75dc65b27397 · outbound

This paper cites In: Piskac, R., Rakamari´ c, Z.

Cycle-Consistent Neural Explanation of Formal Verification Certificates In: Piskac, R., Rakamari´ c, Z

Reference 69

Resolution: metadata mismatch; doi, observed 2026-06-25T23:48:42.462873Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6f1d7680-65c4-4478-ad1a-e5451d394c09 · outbound

This paper cites Explanations for Unrealizability of Infinite-State Safety Shields.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Explanations for Unrealizability of Infinite-State Safety Shields

Reference 70

Resolution: verified exact; doi, observed 2026-06-25T23:48:42.447302Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation be5cb607-f8ce-489e-b6ce-3ac7b97074f1 · outbound

This paper cites GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces.

Cycle-Consistent Neural Explanation of Formal Verification Certificates GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces

Reference 71

Resolution: metadata mismatch; arxiv_id, observed 2026-06-25T23:48:42.454695Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2a4b1772-d881-488d-8a6d-5acde08ef589 · outbound

This paper cites Liu, and Christopher D.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Liu, and Christopher D

Reference 72

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8cd4ee09-bb62-43af-9807-0a62cd226cbd · outbound

This paper cites Selinger, Morton M.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Selinger, Morton M

Reference 73

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6075489a-e583-42bf-b2e5-fd6226163b21 · outbound

This paper cites Improving Neural Machine Translation Models with Monolingual Data.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Improving Neural Machine Translation Models with Monolingual Data

Reference 74

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c94a7497-31ca-4bc8-a0f2-3841f4a2a943 · outbound

This paper cites Checking Safety Properties Using Induction and a SAT-Solver.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Checking Safety Properties Using Induction and a SAT-Solver

Reference 75

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6b94f03-1a54-49c6-aac3-6de4616d9cbc · outbound

This paper cites Program Synthesis by Sketching.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Program Synthesis by Sketching

Reference 76

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3b7c5a8-f78c-4261-8500-d23d7f1f636f · outbound

This paper cites Gomez, Lukasz Kaiser, and Illia Polosukhin.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Gomez, Lukasz Kaiser, and Illia Polosukhin

Reference 77

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0dab858f-a5f2-4645-be7a-d7c1238b7c97 · outbound

This paper cites Asking and Answering Questions to Evaluate the Factual Consistency of Summaries.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Asking and Answering Questions to Evaluate the Factual Consistency of Summaries

Reference 78

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1570fc5-f28d-499c-8348-add0dd5d3cad · outbound

This paper cites Wolsey and George L.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Wolsey and George L

Reference 79

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6cb6a6e7-6b7a-4283-9b66-55087b015240 · outbound

This paper cites Jiang, Wenda Li, Markus N.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Jiang, Wenda Li, Markus N

Reference 80

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe6a3183-27bf-4693-a09c-255aa82984dc · outbound

This paper cites Weinberger, and Yoav Artzi.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Weinberger, and Yoav Artzi

Reference 81

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a0e57a0-ac77-49e5-9ae2-2b336e0f0f1c · outbound

This paper cites Xing, et al.

Cycle-Consistent Neural Explanation of Formal Verification Certificates Xing, et al

Reference 82

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3694f72c-3113-4983-a421-67a0f6f40bca · outbound

This paper cites kind": "reachability.

Cycle-Consistent Neural Explanation of Formal Verification Certificates kind": "reachability

Reference 83

Resolution: unresolved; no resolver link, observed 2026-06-25T23:44:27.663072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers