{"as_of":"2026-08-12T05:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:cd0d58bb3a5cdf5d8c189e276a57d333816b75165f0c2769ec4161f1596a2a2e","coverage":[{"denominator":19,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":19,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-03T04:37:04.340874Z","state":"measured"},{"denominator":19,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":19,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.01585/citation-record","integrity":"/paper/2607.01585/integrity","json":"/paper/2607.01585/citation-record.json","paper":"/paper/2607.01585"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2008.07912","last_updated":"2022-03-22T10:44:16Z","snapshot_observed_at":"2026-08-11T05:31:16.494760Z","submitted_at":"2020-08-18T13:09:25Z","title":"Inductive logic programming at 30: a new introduction","version":5},"cited_work":{"arxiv_id":"2008.07912","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2008.07912","snapshot_observed_at":"2026-07-03T04:37:36.331760Z","title":"Inductive logic programming at 30: A new introduction,","venue":null,"work_id":"dd01f65a-d153-40e5-aa97-beaf986ba2b2","year":2022},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"cited_paper":"/paper/2008.07912","citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:25af6155fa4cd50c88c48210977495d22a6cad5ad7039e6c69bed71aca18eacf","observation_id":"fd46055c-6090-4a26-b354-a8777ce7e1ca","resolution":{"observed_at":"2026-07-03T04:37:36.333884Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.314736Z","title":null,"venue":null,"work_id":"f4048e8e-3782-4a20-aea7-89bde093ee36","year":2008},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:7e69d12e9dd6992d31e614eeafca58d88dff36443ff28d63a33efe3a258b286b","observation_id":"ac086595-8edd-447f-a825-2017cecd239c","resolution":{"observed_at":"2026-07-05T14:31:10.316773Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.282083Z","title":"Learning programs by learning from fail- ures,","venue":null,"work_id":"58a34d94-a6e8-4beb-ad67-fab6c77c4abb","year":2021},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:d9c919bbd2f71278b4f268e05d155b64d1e4999c7ff5d90bedf6814d3c865a66","observation_id":"0e0faa7a-cd97-47eb-a2ee-7163fb913466","resolution":{"observed_at":"2026-07-05T14:31:10.283456Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.307845Z","title":"Predicate renaming via large language models,","venue":null,"work_id":"ef6f4d1a-8fbb-4ece-b74a-779f18d32c60","year":2025},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:240af94b75b960361182ce06307e866c66a2a37d15db49aa75d4d93cafb4801f","observation_id":"4cec1baa-b354-40c3-94c3-3c7b14d18bf2","resolution":{"observed_at":"2026-07-05T14:31:10.309407Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.326624Z","title":"Forgetting to learn logic programs,","venue":null,"work_id":"19222b46-4ff3-4244-b23e-7ab97e9bbfb3","year":2020},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:ef3cfc66fa7b5c33ddc5899d7242dde8775023a98aa3bf187f857b8968aa6fd6","observation_id":"61dd028a-4a01-4a66-a692-c8c2af3c8b10","resolution":{"observed_at":"2026-07-05T14:31:10.329157Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.279225Z","title":"Evaluating large language models trained on code,","venue":null,"work_id":"9fe7e14f-f614-443b-baab-790ca97a00d0","year":2021},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:4a5bb5d89098e0698aa133054bb209b2767ee9294360203a8212a3ba9db05685","observation_id":"191b7c0e-e7bd-471d-88fb-90bb2f93213e","resolution":{"observed_at":"2026-07-05T14:31:10.281069Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.322518Z","title":"Abductive logical rule induction by bridging inductive logic programming and multimodal large language models,","venue":null,"work_id":"0c5a8378-245f-4617-a4e7-215e2c61445e","year":2025},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:925dbc44e8ddbe955067cef0efab6367a3cc4ad255ca594137566bd90e87516f","observation_id":"36c32146-1e2d-4837-9e09-ac3be9d3523e","resolution":{"observed_at":"2026-07-05T14:31:10.325361Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.276264Z","title":"Inductive learn- ing of logical theories with LLMs: An expressivity-graded analysis,","venue":null,"work_id":"27214968-12dd-40ea-a598-b83b1ee028c4","year":2025},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:281ba3b9ec09baa94c3f1dc50db2817f54cba6b06144614f22db6ced1cf6cd66","observation_id":"9e0c64cd-7c7f-48b0-90e5-159718baadb6","resolution":{"observed_at":"2026-07-05T14:31:10.278405Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.305030Z","title":"Survey of hallucination in natural language generation,","venue":null,"work_id":"7c84ed09-6f2a-4277-95a4-96b7ca9cb43a","year":2023},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:6c74b3c28146abe5548759a48c2b37c7a89aeaa869f8d04b2a9a32e8482b62dd","observation_id":"b1cad0eb-b407-4b03-95d1-b5dd677e4896","resolution":{"observed_at":"2026-07-05T14:31:10.306982Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.311331Z","title":"Clover: Closed-loop verifi- able code generation,","venue":null,"work_id":"dc565cfd-2cfc-411c-ad41-f8bea5258879","year":2024},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:d6653a131663b402f83592ecf77844747129800f0e695f535a6e7c0c55a8bf3e","observation_id":"a2dd2235-a65c-44cf-9478-a5c1b64dfd81","resolution":{"observed_at":"2026-07-05T14:31:10.313580Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.318888Z","title":"VERGE: Formal refinement and guidance engine for verifiable LLM reasoning,","venue":null,"work_id":"710b715c-d7c7-4c70-ac2a-87ff1ce470ec","year":2026},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:9980ed5a796a1a89c8787e38b0777c110c454ce8b1943ada31ea1096e4725d02","observation_id":"429ac7ca-482a-4cb5-8d87-2f66aa61aa8a","resolution":{"observed_at":"2026-07-05T14:31:10.321441Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.302004Z","title":"Fifty years of Prolog and beyond,","venue":null,"work_id":"683d71fb-1ad6-4a08-8efb-0b25f247086d","year":2022},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:2ab668a2e5b5f2cc6be3c05e994b58775556f7a3bf385212758a52ebc9871f93","observation_id":"419aec72-0640-4383-8b13-0717add10afb","resolution":{"observed_at":"2026-07-05T14:31:10.304057Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.295370Z","title":"Meta-interpretive learning of higher-order dyadic datalog: Predicate invention revisited,","venue":null,"work_id":"a0d193b1-e39e-45f4-bc12-a91515fd160f","year":2015},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:b3c1ba8407ee6e4c6bda74590d95b42d6ee472313c0652b13d69d7e6fb5458f2","observation_id":"592e76b8-2aeb-4029-82ec-254367d88591","resolution":{"observed_at":"2026-07-05T14:31:10.297527Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.298970Z","title":"Hypothesis generation via LLM-automated language bias for ILP,","venue":null,"work_id":"03648e0c-5739-4d00-b375-111889df1b28","year":2026},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:ec87de144eaea12fc2721aa87184ca93e41cde20600c306b1df9915301e4b5fa","observation_id":"17510916-e420-43b9-b702-1b0c5cd411a0","resolution":{"observed_at":"2026-07-05T14:31:10.300910Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.284184Z","title":"Logic-LM: Empow- ering large language models with symbolic solvers for faithful logical reasoning,","venue":null,"work_id":"d855339e-3249-4dff-a039-53e44b2b2bc3","year":2023},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:450d0012731d8161691b5fcf8b7d535ac8dbb28fc31fee79f97868d6c9aec1a8","observation_id":"79caa0ca-84ce-47cf-8eb4-738281b9d9ff","resolution":{"observed_at":"2026-07-05T14:31:10.285819Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.273418Z","title":"From reasoning to learning: A survey on hypothesis discovery and rule learning with large language models,","venue":null,"work_id":"ffaaa123-590e-407c-a336-fd14f9aa819b","year":2025},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:37b7376ca1a97cf48a93faf66f1e7a0e59268d0d219a9d622c2cf8b85cb20007","observation_id":"01dc5227-6ff3-49f4-b62b-56262a6d2eab","resolution":{"observed_at":"2026-07-05T14:31:10.275293Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.289853Z","title":"Poker hand,","venue":null,"work_id":"2e4017b1-2688-49d2-9022-084fb04963ea","year":2002},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:d37bc6b80d1d009df6bcde3bddadcb6caf86814d33173fae9359b38db52b4691","observation_id":"75fd7367-2030-4663-bfb9-e018ff7aa874","resolution":{"observed_at":"2026-07-05T14:31:10.291413Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.292131Z","title":"A theory and methodology of inductive learning,","venue":null,"work_id":"49185742-d5a6-4db5-8afb-7d10b1feecd8","year":1983},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:fb5164cd5cdece204bba1b9c778a7bc39940d041d2f647b522c9f86a9749cca6","observation_id":"e6ab0aa1-ac60-4dc2-a624-07d6c9d716ff","resolution":{"observed_at":"2026-07-05T14:31:10.293918Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T14:31:10.286706Z","title":"The Aleph manual,","venue":null,"work_id":"c78b8e97-04a6-46df-9dde-76992b4f0f8d","year":2026},"citing_paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-03T04:37:04.340874Z"},"links":{"citing_paper":"/paper/2607.01585"},"observation_digest":"sha256:3e0f1aed5f4da9b2a5f0826960ef46099e2d63ccc199f6d39f03ecb16d129bc4","observation_id":"ddcdfdd6-e847-435d-bb91-dbaa6beaa991","resolution":{"observed_at":"2026-07-05T14:31:10.288838Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.01585","last_updated":"2026-07-02T01:33:45Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-08T13:14:55.781101Z","submitted_at":"2026-07-02T01:33:45Z","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP"},"reference_resolution":{"displayed":19,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":1,"verified_fuzzy":17},"total_outbound_references":19},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"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."}