{"as_of":"2026-08-04T15:36:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0dd51e3fc667cef33b67b364d17a6248b356c514ac2e3d871f4a110ccf03f1b1","coverage":[{"denominator":54,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":54,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-13T01:12:51.086972Z","state":"measured"},{"denominator":54,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":54,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+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.08988/citation-record","integrity":"/paper/2607.08988/integrity","json":"/paper/2607.08988/citation-record.json","paper":"/paper/2607.08988"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Termination proofs for systems code,","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:b36bfebccc251f9701ed99d24a41dfad92b947fb4a2995bbc7a78f75dfbdd4bf","observation_id":"575d4992-45ac-4db7-893a-37f6a16c0864","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Loopster: static loop termination analysis,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:b038a7a5fa5f7177f3e516cee26718952ca21c9b6dc92207e73945a9e001a7ae","observation_id":"aeab592e-abd1-4eb5-b07f-7315d7bef5a8","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Proving nontermination via safety,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:e5f69e58847ef472be3b40d1a5744267d9a3245bb2af9c5d6b44560412c3d226","observation_id":"c72386e9-23be-4dde-823b-099c0f8d578d","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Proving non-termination using max-smt,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:8f3e6b49e774baac6df0414fa8369c97a32f44ba990657783c281f1852e78e7c","observation_id":"cc76210f-c87b-4352-a59a-cee587bf5dfe","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"The abstract domain of segmented ranking functions,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:843a3132ae2068da2133f1378c224aa2d02b91e49c40782749994c0de68fc13a","observation_id":"aba4ff7d-1570-4ddb-b56c-6903d47cda12","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"A forward analysis for recurrent sets,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:3f46b031b98d6dadb6469e6ab8d3baac0fe81d0a14222d1f1516876bc3deeb49","observation_id":"ff00ccc7-2964-40cb-91ea-995f4e19bdef","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Practical methods for proving program termination,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:e85a0e9c8b4d458c7c5b0389565268e46a01837c26ad168e42e835bb838e47c7","observation_id":"472332ee-4fa7-4906-bedc-6569f914cc8a","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Linear ranking with reachability,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:1ccbb4d07fc83b1fac478c3ef9d91353e2b97f92e1440ac47ab51361a5348a85","observation_id":"d2a63a37-1136-4be6-aad1-2cfdf3820453","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Termination analysis with compositional transition invariants,","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:debdc5dd63658dc818f7cebc0b8fc831a335a72e6ea03f0ee372bec2a275facb","observation_id":"b30aa04f-f0ca-40ea-b558-272ec638a1f8","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Synthesis of linear ranking functions,","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:bf347f2206000709161069ff98a6f2b034cad1e8960108719d8b85447c727647","observation_id":"b2349e09-0363-420d-8f18-0dd96c6a47c0","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"A complete method for the synthesis of linear ranking functions,","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:3896806fb50be63c1589ffc64f68a11401cf5db4c8377639e7f65bf8c131e1cb","observation_id":"78309133-8d4b-407e-a795-480e893fc7d2","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Ranking templates for linear loops,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:44f707a689ee55e1be3da6a1f07bcb506d44d43dfe3f0699354c46ab32fe39e8","observation_id":"468c0904-8b50-43a1-a41e-df7c107f12b6","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2629488","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:19:14.379769Z","title":"Ranking functions for linear- constraint loops,","venue":null,"work_id":"d79297d8-5cc2-4048-a2f4-f8776745d90d","year":2014},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:8fc3742354f263dfff51133b84103625ce18b36afc9ca3363d78d7a61f9ad907","observation_id":"a9fe0dad-ebe4-4903-89d3-2afaac9c43f2","resolution":{"observed_at":"2026-07-13T01:19:14.383199Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-07-13T11:19:38.749718+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T11:19:38.749718+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Proving non-termination,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:2f85014f85826100e168f322a3823402c86f5a67842733dd6513e221289b0f41","observation_id":"a982b715-2069-47d3-9536-bf7babdea530","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Disproving termination with overapproximation,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:10761384fee6fe12d6a17d4db4cb5b983e2b310a96872941bacf03e4fb0f9fdb","observation_id":"a08347ff-fa6c-4570-8cae-7ad5f7bfdea4","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"TermCOMP/TPDB: The termination prob- lems data base,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:9354a939bb18a4335d8ee5cef053038a8509479b61d57d26581a2f741857531c","observation_id":"49080272-c39f-44c3-b288-79f0bfba6831","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"SV-Benchmarks: Benchmark suite for software verification,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:1a7329fd5414fb43fa8b0d29a16bb43f00e21e3e5afde9fd22cd349ae6e9097a","observation_id":"61083cd4-d05b-40ca-9211-45475242aa0e","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Large-scale analysis of non-termination bugs in real-world oss projects,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:9c5bce34bfb0c0ed027dd6f169a9330350595a9dbc5ddd216dbd2b423fcb3d11","observation_id":"6c99cb67-c61a-4944-ab7b-ef788eccbc32","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Proving program termination,","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:8f8259fa95ad7b4e505493a4275c46371a10bf13285e409310704227d77969b1","observation_id":"9173102c-554a-45b0-8486-74a6e518ef27","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3428257","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:19:14.471746Z","title":"Dynamite: dynamic termination and non-termination proofs,","venue":null,"work_id":"97d2b1aa-1ec9-40b4-bc56-fd3b2882f004","year":2020},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:8b50742deafe32d191d26580c30343924298ab7534805ed7df9e91af565b79d9","observation_id":"5e956605-df79-43b6-82b1-8710524b81dc","resolution":{"observed_at":"2026-07-13T01:19:14.474073Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-07-13T11:19:39.851455+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T11:19:39.851455+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Fuzznt : Checking for program non-termination,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:971dcd88c80812e8f1b3c3c3f2dd30dd50bca7291f0f5461e351f387e4a37ada","observation_id":"824524b2-302f-4d13-aa9d-b151902bc10b","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Endwatch: A practical method for detecting non-termination in real-world software,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:be8dc38d523850cede4fd453c74505f24986b3a310ba7a179662b10d8d1b347d","observation_id":"462f9d95-1758-4e24-a846-b500ef8d3041","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3808205","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:19:14.371137Z","title":"Sound termination and non-termination analysis of c programs with bit-precise bounded semantics and advanced constructs,","venue":null,"work_id":"dad62628-80c6-4f15-8a6e-baee66831d73","year":2026},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:0837d82e837068ed37a8ec12a406b347db2b9c04921e9922732ca05d334ca8e7","observation_id":"91df0e11-8dd5-4495-9a8f-d62ec0e9565e","resolution":{"observed_at":"2026-07-13T01:19:14.374119Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-07-13T11:19:40.348442+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T11:19:40.348442+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Proton: Probes for termination or not (competition contribution),","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:392d0aad74a041865fa1a9b6b7a85e36ccb535f6cde647471d702e7d27b37240","observation_id":"95a1c16f-f422-42d7-8024-ce4e9f6f1f9c","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Proton 2.1: Synthesizing ranking functions via fine-tuned locally hosted llm (competition contribution),","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:fa328c02e7d25fdb14ba6e8a50473e08b93ae7b1310753d29f17e5de1a7ce664","observation_id":"d5890ae8-3f45-4db9-bd97-212a3fa20d38","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Termination analysis by learning terminating programs,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:87e2fa09a1a043f6582ea1743ffdacb3a4bb3bb12bb638483d2b302ccf5330b4","observation_id":"18c442c7-aeb7-44ab-8d0a-10a372079cf9","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Proving termination of programs automatically with aprove,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:b2f64f727f7cb722feb3d75c62a0bd02f294a05d646037581522c7137f0b31aa","observation_id":"50f78166-5d3d-4b4f-921e-8216ae5c8d7f","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Cpachecker: a tool for configurable software verification,","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:bc6be7e499235f984fef2971d3344150102bf32079c0e133cd9dc158d005c43c","observation_id":"bc630d5f-2e9c-4e34-849f-87c3d5533e1e","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"2ls for program analysis,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:aa0b50123105d8815edad68a62f8c253592b5931ec33c68b0093e030542eef46","observation_id":"5ca64e6c-bc96-484f-9e70-688878a2db36","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"FSE-2022-Termination (v1.0),","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:523c65cbf3d6f9c9651467917ffb4b249afcd02c5696ef96a21c9e727f0de83e","observation_id":"3f8d709e-27a2-4fea-92be-ad897821b8e3","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Program slicing,","venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:2763f9a67ecd62430c0ecd362c95f39f48451b215cf7cc79519ab6be1e0cad47","observation_id":"41e59e3a-b3ca-4f75-a07f-9879539a11a4","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Dynamic program slicing,","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:761fb9931507c7d7398c7fa4d94c340993c742dee6d28c350ff4c9440ac809d1","observation_id":"c61b56cb-d124-42f3-a400-f0d85cad0791","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"The codesurfer software understanding platform,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:7e9f4ffe055d119d85ec56f70844d546667f67b4569f8f43ffb362be54447c0e","observation_id":"bad44332-e707-44b5-a5b8-24c522425bd8","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Frama-c: a software analysis perspective,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:f9a1a2b232b7c5176bc8174142296eda9123232c8935f4275a453ef3573f2347","observation_id":"cb1e03fe-1b0a-4005-afbb-cf3407cd2852","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Dg: Analysis and slicing of llvm bitcode,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:3cd3756ee6e1666b2e780860d914eb21f3e8bd24c411bc5116068fcc62a1f1d5","observation_id":"5d27dc1a-9a88-4bad-bcf2-47018089344a","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1116.245113","doi":"10.1145/2451116.2451131","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:15:01.053796Z","title":"Using likely invariants for automated software fault localization,","venue":null,"work_id":"bc86ef4a-1ea1-4ceb-89f7-e58babf3cd75","year":2013},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:5b36d9ff12ff4fc8296ec42907fa67ad15830e894ccff5eaa7d07a724e17cebf","observation_id":"f4bcd3fe-6d98-4408-aab2-347bfd37ae87","resolution":{"observed_at":"2026-07-13T01:19:14.432626Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-07-13T11:19:41.077406+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T11:19:41.077406+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Constraint-based relational verification,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:dc7af67cf5fcf00e196355412b13a597ad1c47ec68a22f76de2684612f274faa","observation_id":"c7f3c770-82d5-4370-85dd-591c7494b201","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Decision tree learning in cegis- based termination analysis,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:d9f78bfd1558538580d9bce1612ae38622acfbde94701e35fe1036c935cae900","observation_id":"967df9c7-8589-4421-baf8-45b507c9a57d","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Modular primal- dual fixpoint logic solving for temporal verification,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:f7ccced031adc333e9eb80fc5349aeecf5b90eb09d2143caee1cfc5a242b8e2a","observation_id":"7d88d07f-6d80-4990-b999-b7aa0eb38d83","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Ultimate automizer with smtinterpol,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:e56b93badadaf17975678555a19b73ea4ce6984baec774abde5ba297399bbf07","observation_id":"5ff19650-840f-46a1-819c-94c09ecb7ad0","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Ultimate automizer with two-track proofs,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:bffd06321e741778271b837454a20e4f2d5da912339858389d15d1cf40e9f932","observation_id":"434f9d2c-8f90-477e-b283-33497343eabe","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:ba810cdd47eac0286295c10f69bdcfa94f08f758439938eb5479fe57e6dc18eb","observation_id":"33f5eba3-656a-46cd-9c0b-96879dd4d6b9","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Ultimate automizer and the search for perfect interpolants,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:5772f36dae42a629a32f8289d6aceeff2e7396b4a8581db24ad9a83d5aa634f4","observation_id":"41783c4f-c94f-4c24-b36e-cfd9f909d018","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Aprove: Proving and disproving termination of memory-manipulating c programs,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:d26190163f861607c57fe2859b194287b6af15f30887ec46cb84d2ab0e9b3dc6","observation_id":"737c9d77-c3bc-469e-b70b-33282d6c63f6","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Proving termination of programs with bitvector arithmetic by symbolic execution,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:210b9e4881f0364176272705b1a1cc1cd3b052f243ec448b0e91208605842106","observation_id":"2f560b18-f7ab-4987-b7c1-d61be27adf42","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Aprove: Termination and memory safety of c programs,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:b9d5019991914452147149ae5c4246ee654073c4743d673177b6e5b82aae0740","observation_id":"e9674726-1178-4590-8f4f-14d76ac9203e","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"2ls: Memory safety and non-termination,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:623820e8dfe2d40909088ffa47cc9d66e0d6f62753f4e2f1700ff441735d167d","observation_id":"21a32413-9d19-4ef9-9526-ad3655d51a89","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Bit-precise procedure-modular termination analysis,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:206c7492875a02741a158a7a6f4b717a2e05fe736c80ccd4f5932668e1b249cc","observation_id":"fed8cb8a-917c-4752-bdbe-b98059c6bbc6","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3121136","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:19:14.414394Z","title":"Available: https://doi.org/10.1145/3121136","venue":null,"work_id":"c5ef723f-4625-4a04-90e5-9ca946ded885","year":null},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:7ee9007f78905172401da10fb7b74b557521f495ae2e0fd911152d80a8d659f2","observation_id":"efa1135b-e991-45f7-9c67-92ecb5b8d545","resolution":{"observed_at":"2026-07-13T01:19:14.418560Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-07-13T11:19:42.694119+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T11:19:42.694119+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/ase.2015.10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:19:14.358896Z","title":"Synthesising interprocedural bit-precise termination proofs,","venue":null,"work_id":"12aab3fe-0c22-40dc-ac5f-0e775a9e63fd","year":2015},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:bf949e633e785edc69c7b22dacafd6eac9f47153fca4d63d03b8a1d71e8844ef","observation_id":"68f033d0-b2bf-46c5-9510-651278946087","resolution":{"observed_at":"2026-07-13T01:19:14.362446Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-07-13T11:19:42.936074+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T11:19:42.936074+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"The LLVM compiler infrastructure project,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:aa9877e0c134813b943a13a7f79298df9a04718f04eb19e08e2b5da999b37677","observation_id":"d75380f8-d2a8-4aea-8447-9314ea20df39","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"Klee: unassisted and automatic generation of high-coverage tests for complex systems programs,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:0d97e39e1513936f41717c34f184a185b225c2b50871fb2df1d260271e3741f4","observation_id":"e6be3f7e-5e5d-49e2-8c7d-70d1c6133a7b","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"American fuzzy lop (afl),","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:3bb3380745a75cb9373e34a2a42fa29230da3f5cfb4407efcb9bbf3a9b28428b","observation_id":"3e0bf3fd-b303-4e04-bcf9-14c359db82fc","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T01:12:51.086972Z","title":"ChatGPT (GPT-4o),","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-07-13T01:12:51.086972Z"},"links":{"citing_paper":"/paper/2607.08988"},"observation_digest":"sha256:e6d5d63c2e9cca966c4bb489194949622743e09402184228ed0bd9c6c9dd600e","observation_id":"5f6f8213-d143-4288-bf63-45e5208c62cd","resolution":{"observed_at":"2026-07-13T01:12:51.086972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.08988","last_updated":"2026-07-09T23:29:19Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-07-30T16:12:34.751888Z","submitted_at":"2026-07-09T23:29:19Z","title":"Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis"},"reference_resolution":{"displayed":54,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":46,"verified_exact":6,"verified_fuzzy":0},"total_outbound_references":54},"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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"As of 4 August 2026, this Paper Citation Record lists 54 of 54 outbound references and 0 inbound Pith citation observations for arXiv:2607.08988."}