Paper Citation Record · LEDGER

ADVENT: LLM-Driven Automatic Predicate Invention for ILP

As of 12 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 0 inbound Pith citation observations for arXiv:2607.01585.

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

pith.paper-citation-record.v1
2607.01585 v1

Coverage vector

measured 19 of 19 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-03T04:37:04.340874Z

measured 19 of 19 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+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

19 of 19 outbound references displayed

verified exact1
verified fuzzy17
unresolved1
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation fd46055c-6090-4a26-b354-a8777ce7e1ca · outbound

This paper cites Inductive logic programming at 30: a new introduction.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP Inductive logic programming at 30: a new introduction

Reference 1

Resolution: verified exact; arxiv_id, observed 2026-07-03T04:37:36.333884Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ac086595-8edd-447f-a825-2017cecd239c · outbound

This paper cites an unresolved cited work.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-07-05T14:31:10.316773Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 0e0faa7a-cd97-47eb-a2ee-7163fb913466 · outbound

This paper cites Learning programs by learning from fail- ures,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP Learning programs by learning from fail- ures,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.283456Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 4cec1baa-b354-40c3-94c3-3c7b14d18bf2 · outbound

This paper cites Predicate renaming via large language models,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP Predicate renaming via large language models,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.309407Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 61dd028a-4a01-4a66-a692-c8c2af3c8b10 · outbound

This paper cites Forgetting to learn logic programs,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP Forgetting to learn logic programs,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.329157Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 191b7c0e-e7bd-471d-88fb-90bb2f93213e · outbound

This paper cites Evaluating large language models trained on code,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP Evaluating large language models trained on code,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.281069Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 36c32146-1e2d-4837-9e09-ac3be9d3523e · outbound

This paper cites Abductive logical rule induction by bridging inductive logic programming and multimodal large language models,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP Abductive logical rule induction by bridging inductive logic programming and multimodal large language models,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.325361Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9e0c64cd-7c7f-48b0-90e5-159718baadb6 · outbound

This paper cites Inductive learn- ing of logical theories with LLMs: An expressivity-graded analysis,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP Inductive learn- ing of logical theories with LLMs: An expressivity-graded analysis,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.278405Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b1cad0eb-b407-4b03-95d1-b5dd677e4896 · outbound

This paper cites Survey of hallucination in natural language generation,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP Survey of hallucination in natural language generation,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.306982Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a2dd2235-a65c-44cf-9478-a5c1b64dfd81 · outbound

This paper cites Clover: Closed-loop verifi- able code generation,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP Clover: Closed-loop verifi- able code generation,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.313580Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 429ac7ca-482a-4cb5-8d87-2f66aa61aa8a · outbound

This paper cites VERGE: Formal refinement and guidance engine for verifiable LLM reasoning,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP VERGE: Formal refinement and guidance engine for verifiable LLM reasoning,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.321441Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 419aec72-0640-4383-8b13-0717add10afb · outbound

This paper cites Fifty years of Prolog and beyond,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP Fifty years of Prolog and beyond,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.304057Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 592e76b8-2aeb-4029-82ec-254367d88591 · outbound

This paper cites Meta-interpretive learning of higher-order dyadic datalog: Predicate invention revisited,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP Meta-interpretive learning of higher-order dyadic datalog: Predicate invention revisited,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.297527Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 17510916-e420-43b9-b702-1b0c5cd411a0 · outbound

This paper cites Hypothesis generation via LLM-automated language bias for ILP,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP Hypothesis generation via LLM-automated language bias for ILP,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.300910Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 79caa0ca-84ce-47cf-8eb4-738281b9d9ff · outbound

This paper cites Logic-LM: Empow- ering large language models with symbolic solvers for faithful logical reasoning,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP Logic-LM: Empow- ering large language models with symbolic solvers for faithful logical reasoning,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.285819Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 01dc5227-6ff3-49f4-b62b-56262a6d2eab · outbound

This paper cites From reasoning to learning: A survey on hypothesis discovery and rule learning with large language models,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP From reasoning to learning: A survey on hypothesis discovery and rule learning with large language models,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.275293Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 75fd7367-2030-4663-bfb9-e018ff7aa874 · outbound

This paper cites Poker hand,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP Poker hand,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.291413Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e6ab0aa1-ac60-4dc2-a624-07d6c9d716ff · outbound

This paper cites A theory and methodology of inductive learning,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP A theory and methodology of inductive learning,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.293918Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ddcdfdd6-e847-435d-bb91-dbaa6beaa991 · outbound

This paper cites The Aleph manual,.

ADVENT: LLM-Driven Automatic Predicate Invention for ILP The Aleph manual,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T14:31:10.288838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Pith citing papers

No inbound Pith citation observations are available.