Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-11T08:00:14.766840Z
Paper Citation Record · LEDGER
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs
As of 9 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2607.05478.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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
Reference resolution
52 of 52 outbound references displayed
- verified exact2
- verified fuzzy0
- unresolved48
- parse uncertain0
- malformed identifier2
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e146cfa3-c58c-41ee-8482-e42e90a12f9b · outbound
This paper cites Horn-ice learning for synthesizing invariants and contracts,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Horn-ice learning for synthesizing invariants and contracts,
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fb792253-520f-4e06-b880-4882334cdfa0 · outbound
This paper cites Learning invariants using decision trees and implication counterexamples,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Learning invariants using decision trees and implication counterexamples,
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b5dc284f-ff36-4f4c-83ee-e164d1265ef8 · outbound
This paper cites Interval counterexamples for loop invariant learning,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Interval counterexamples for loop invariant learning,
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5ff71ab8-ab96-412f-97e9-2bbb9d54e038 · outbound
This paper cites Learning loop invariants for program verification,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Learning loop invariants for program verification,
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7f207010-f65b-4d0f-9109-ead66579278c · outbound
This paper cites Loop invariant inference through smt solving enhanced reinforcement learning,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Loop invariant inference through smt solving enhanced reinforcement learning,
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8e9bce83-4ba0-4de7-89fa-4617d3653329 · outbound
This paper cites Cln2inv: Learning loop invariants with continuous logic networks,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Cln2inv: Learning loop invariants with continuous logic networks,
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3307f67a-6e9b-4c29-a971-9e999c0e23c6 · outbound
This paper cites Learning nonlinear loop invariants with gated continuous logic networks,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Learning nonlinear loop invariants with gated continuous logic networks,
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7c26dafc-df68-491a-bddd-901ae0ebf1c6 · outbound
This paper cites Finding Inductive Loop Invariants using Large Language Models.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Finding Inductive Loop Invariants using Large Language Models
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9fe7de47-327d-4fb7-841d-c48581409217 · outbound
This paper cites Ranking LLM-generated loop invariants for program verification,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Ranking LLM-generated loop invariants for program verification,
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f94d2097-60b9-4299-a16b-7b6bb374a11a · outbound
This paper cites Towards general loop invariant generation: a benchmark of programs with memory manipula- tion,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Towards general loop invariant generation: a benchmark of programs with memory manipula- tion,
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation be64c82e-23d4-4fa8-b9a5-9b54273d1d16 · outbound
This paper cites Lemur: Integrating large language models in automated program verification,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Lemur: Integrating large language models in automated program verification,
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0b830598-e3df-403e-8340-32e13a3ad86f · outbound
This paper cites Progress on software verification: Sv-comp 2022,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Progress on software verification: Sv-comp 2022,
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d8a1b566-8959-4b34-ba9f-7d4469380b76 · outbound
This paper cites Inductive invariant generation via abductive inference,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Inductive invariant generation via abductive inference,
Reference 13
- Resolution
- malformed identifier
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bf49d7ca-dae2-42ae-8e84-9bbab4433479 · outbound
This paper cites an unresolved cited work.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d0497e7d-6b43-4a36-9b73-baeed9a2ffb3 · outbound
This paper cites Software model checking for people who love automata,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Software model checking for people who love automata,
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5805a089-6fe8-434d-9811-d18b2233f38a · outbound
This paper cites Llm meets bounded model checking: Neuro-symbolic loop invariant inference,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Llm meets bounded model checking: Neuro-symbolic loop invariant inference,
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 002feea0-e92d-4552-87e0-85b8b1b8dd1c · outbound
This paper cites Enchanting program specification synthesis by large language models using static analysis and program verification,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Enchanting program specification synthesis by large language models using static analysis and program verification,
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bcfc0945-b1c5-4655-9cde-4edac151b0ea · outbound
This paper cites Z3: An efficient smt solver,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Z3: An efficient smt solver,
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ad8520bb-c7b2-48a8-9663-36b442929adf · outbound
This paper cites an unresolved cited work.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 742a9a8e-9749-4577-9b39-e82ded4b7915 · outbound
This paper cites Frama-c: A software analysis perspective,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Frama-c: A software analysis perspective,
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e98d18a8-1eef-4f37-bbaf-7e756293ff7b · outbound
This paper cites Behavioral interface specification languages,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Behavioral interface specification languages,
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation baba2370-baa1-4869-9ecd-52e9aebd66af · outbound
This paper cites Enhancing automated loop invariant generation for complex programs with large language models,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Enhancing automated loop invariant generation for complex programs with large language models,
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d6e694ae-4e81-43dc-8e15-39c7d1ecee0f · outbound
This paper cites Qwen3.7: The agent frontier,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Qwen3.7: The agent frontier,
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 824e3f12-5dce-44db-b678-35cafe41fb9f · outbound
This paper cites Deepseek-v4: Towards highly efficient million- token context intelligence,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Deepseek-v4: Towards highly efficient million- token context intelligence,
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3eb7ee8d-3b83-4f62-94de-277c5616cfb1 · outbound
This paper cites OpenAI GPT-5 System Card.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs OpenAI GPT-5 System Card
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f74ce390-4c6b-4e35-81e1-d1e390d1d5d1 · outbound
This paper cites Alt-ergo 2.2,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Alt-ergo 2.2,
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0ee68fa1-d714-4a24-aaf3-8b20c5500e1b · outbound
This paper cites cvc5: A versatile and industrial-strength smt solver,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs cvc5: A versatile and industrial-strength smt solver,
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 338423f2-97ac-4373-bf77-9b2458f3b860 · outbound
This paper cites Ghosts for lists: a critical module of contiki verified in frama-c,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Ghosts for lists: a critical module of contiki verified in frama-c,
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a739263a-eef9-4b04-933d-2d50f9bbb6f6 · outbound
This paper cites Logic against ghosts: Comparison of two proof approaches for a list module,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Logic against ghosts: Comparison of two proof approaches for a list module,
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d5267755-f61e-4355-bb8a-aa2b9dd58975 · outbound
This paper cites The daikon system for dynamic detection of likely invariants,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs The daikon system for dynamic detection of likely invariants,
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 92256299-5b55-4626-aebc-5036cce9f784 · outbound
This paper cites A data driven approach for algebraic loop invariants,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs A data driven approach for algebraic loop invariants,
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8e318541-9473-46cb-a0a6-e48a9fe28a44 · outbound
This paper cites Dig: A dynamic invariant generator for polynomial and array invariants,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Dig: A dynamic invariant generator for polynomial and array invariants,
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f6cc1734-8908-4455-825f-45048cf25615 · outbound
This paper cites Bi-abductive resource invariant synthesis,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Bi-abductive resource invariant synthesis,
Reference 34
- Resolution
- verified exact
- doi, observed 2026-07-11T08:07:53.790825Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 92e705d0-4819-4666-8a42-f54a6f862173 · outbound
This paper cites Linear invariant generation using non-linear constraint solving,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Linear invariant generation using non-linear constraint solving,
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9959bf22-f815-4aa0-ba7f-55403df8de63 · outbound
This paper cites From tests to proofs,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs From tests to proofs,
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b5c611ba-bdb3-43ec-9d58-390c0f4bb99d · outbound
This paper cites Automatic discovery of linear restraints among variables of a program,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Automatic discovery of linear restraints among variables of a program,
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 324376d8-d478-437c-a62f-9a0715121f64 · outbound
This paper cites Systematic design of program analysis frameworks,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Systematic design of program analysis frameworks,
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7918653a-9e8f-4c0a-bd67-37e2669bdc59 · outbound
This paper cites Affine relationships among variables of a program,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Affine relationships among variables of a program,
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2daf0f3d-e980-42b4-b6eb-92826dd5aea5 · outbound
This paper cites The eldarica horn solver,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs The eldarica horn solver,
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9192f3a8-a469-4db2-ab9c-bc4c810db91c · outbound
This paper cites Global guidance for local generalization in model checking,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Global guidance for local generalization in model checking,
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3d184b0c-b88f-4c02-8355-a37b43862290 · outbound
This paper cites A practical and complete approach to predicate refinement,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs A practical and complete approach to predicate refinement,
Reference 42
- Resolution
- verified exact
- doi, observed 2026-07-11T08:07:53.811038Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 9a05b4ba-e225-445c-a98b-d0b9c1aa0cac · outbound
This paper cites Lazy annotation for program testing and verification,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Lazy annotation for program testing and verification,
Reference 43
- Resolution
- malformed identifier
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8a0311f1-4826-4180-b4cc-ed937374bcdb · outbound
This paper cites Barrett, C.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Barrett, C
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 337a6e99-3ed6-473c-a713-057cda751d1f · outbound
This paper cites Data-driven precondition infer- ence with learned features,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Data-driven precondition infer- ence with learned features,
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 18055bea-2c6e-4b17-b986-0e3a413457d3 · outbound
This paper cites Ice: A robust framework for learning invariants,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Ice: A robust framework for learning invariants,
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 92fa2fe2-a369-47ad-84b4-d11050b00f5e · outbound
This paper cites Multi-phase invariant synthesis,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Multi-phase invariant synthesis,
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0be62e45-26d2-4ef0-be09-119d5a47ba39 · outbound
This paper cites Interpolants as classifiers,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Interpolants as classifiers,
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f8f68edd-2c42-4075-b181-1de65c122a69 · outbound
This paper cites Automatic loop- invariant generation anc refinement through selective sampling,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Automatic loop- invariant generation anc refinement through selective sampling,
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f22164d6-d6fb-4a97-8ffb-2a125bd29eb4 · outbound
This paper cites Verification as learning geometric concepts,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Verification as learning geometric concepts,
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bcfce5b9-b8b0-4eff-8e31-d72f34c1ca39 · outbound
This paper cites Springer, 2013, pp.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Springer, 2013, pp
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ce37d0df-c1b2-4152-a009-2d3960b1f765 · outbound
This paper cites Clause2inv: A generate-combine-check framework for loop invariant inference,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Clause2inv: A generate-combine-check framework for loop invariant inference,
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 71e98036-5c4f-4090-9e09-c29f6b35791b · outbound
This paper cites Integrating symbolic execution with llms for automated generation of program specifications,.
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs Integrating symbolic execution with llms for automated generation of program specifications,
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T08:00:14.766840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.