Paper Citation Record · LEDGER

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference

As of 8 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2607.27606.

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

pith.paper-citation-record.v1
2607.27606 v1

Coverage vector

measured 44 of 44 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T04:51:20.197683Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

44 of 44 outbound references displayed

verified exact0
verified fuzzy0
unresolved44
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 35fede3b-6351-457f-b860-ba5922463c4b · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.082275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78b8d525-b910-46cd-ad79-f57644c54616 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.085942Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f6a1976-856e-4a98-8036-c4a734f141c6 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.089004Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 130d3e7d-5898-4ae3-86f7-2d52f6642b82 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.092015Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0414fa0b-59ed-43d5-9481-02ce390d956f · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.095075Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b766be15-859d-4c63-bada-0f95f5b5fbdd · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.098081Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d07d1462-1c62-42f8-aca0-e562fda4d402 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.101067Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cfbc9dd-27a1-4c26-bd60-155bc506e692 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.103866Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1649998-3828-49c4-9312-41b3288049ec · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.106472Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33b8af07-c557-420a-9c69-fc51519980ba · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.109024Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0da59df5-ff31-4df7-8ab1-b3813ef5d723 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.111643Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95b381c8-ff35-4ec5-8f9b-812bc6e05c07 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.114175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3942377b-13a5-46c3-ad8d-23062c49568b · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.116928Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd32a604-e29f-4390-b797-ff85240d5610 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.119644Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ffe0f63-ec8d-4225-ad17-34e7bb167433 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.122188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef604f51-07e9-4ab9-b8a0-a7e13cc79d30 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.124899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56a81782-b78f-4ad3-88b6-1293b587506d · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.127585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdd55cb6-e4a7-4770-82bf-a157e72ff0cc · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.130200Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d4fd99a-73d2-45cf-b47e-2d04fa7d4602 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.132712Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c6ee2a4-285b-4776-bdca-89518da22b12 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.135240Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3992abce-c731-448e-87bd-58202e7ccb0d · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.137931Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f36d5b9-4412-46ad-8070-12bc3a69d54c · outbound

This paper cites Finding Inductive Loop Invariants using Large Language Models.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Finding Inductive Loop Invariants using Large Language Models

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.140358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4dc4aad-ebfe-47de-abbd-eaeae598798a · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.143121Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42766d91-7c16-4956-923e-d60435ecf577 · outbound

This paper cites 2012.Temporal verification of reactive systems: safety.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference 2012.Temporal verification of reactive systems: safety

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.145540Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67dace33-a8a5-4b1f-b676-e4c98b02fc15 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.147904Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ccc7b87-998e-4d58-a839-f41a1ba3d5fb · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.150502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 836dab6d-9030-46a9-b0d8-dbd85dcbbdb8 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.152910Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 282dc7a2-6e7b-47fd-893a-dac1df298bd5 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.155371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8dfd7cf8-16c0-472a-8477-99c52fa80736 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.158013Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1150c278-9977-4608-9ff2-50c728f84a15 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.160449Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4dc7881d-4843-49f3-80e2-767961465828 · outbound

This paper cites 2025.aeval-benchmarks.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference 2025.aeval-benchmarks

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.163149Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65beb1e9-e9a0-462d-89e4-82d4f0ffa1c6 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.165737Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 603a4f74-6b4c-4cee-9813-9160a600d9bf · outbound

This paper cites CLN2INV: Learning Loop Invariants with Continuous Logic Networks.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference CLN2INV: Learning Loop Invariants with Continuous Logic Networks

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.168266Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0cc3c4c-dc69-47d7-b8fe-371f08f418d8 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.171181Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f66b7ea-5975-4cc5-b065-0c3f66eed780 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.173621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99abfa9e-3954-4787-8716-24d5256824a4 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.176133Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5237a5d-ca56-4a73-bcb6-180fe59dc90b · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.179096Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5edae0be-c1cf-423f-8672-4f0d67e3278f · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.181829Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26ac4caa-1b69-4cc6-8d26-a00aab8860f9 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.184438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e78f1aec-8bd8-41e1-92c5-7f7ddd8ca22a · outbound

This paper cites Lemur: Integrating Large Language Models in Automated Program Verification.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Lemur: Integrating Large Language Models in Automated Program Verification

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.187024Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13149338-a3f2-49a2-9355-115db4e020a3 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.189949Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 850dd3eb-6688-4f52-8487-167dd53b4fd3 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.192563Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06145911-2150-465c-b743-ab303b8e7141 · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.195173Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af4a294b-5148-4deb-9be2-b067166a4fde · outbound

This paper cites an unresolved cited work.

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T04:51:20.197683Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.