{"as_of":"2026-08-08T09:58:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:83ed6aa479e5436286b9baf7b477b2c477ea08b8b6485362b5b6e3d54e90d400","coverage":[{"denominator":30,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":30,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T12:11:28.889254Z","state":"measured"},{"denominator":30,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":30,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2506.06333/citation-record","integrity":"/paper/2506.06333/integrity","json":"/paper/2506.06333/citation-record.json","paper":"/paper/2506.06333"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:11:33.846062Z","title":"In: Gi- annakopoulou, D., Méry, D","venue":null,"work_id":"7c8f8465-eb02-4f21-8c7d-21610cf167e6","year":2012},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:26.586611Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:6fa9ee8913257c121da73399c941ea75908093e4a74087208b56d3743c421c20","observation_id":"ce154926-46ab-4fea-beec-e04a57119906","resolution":{"observed_at":"2026-08-07T12:11:33.926699Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T12:11:26.637260Z","title":"Formal Methods Syst","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:26.637260Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:5371013418657040e2e49643f142931a80e64d3f74a9e58fde63d0a4d222097b","observation_id":"bbd6195e-0526-4e5d-9a76-aa055a7d8c81","resolution":{"observed_at":"2026-08-07T12:11:26.637260Z","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-08-07T12:11:26.762743Z","title":"In: Egyed, A., Wimmer, M., Chechik, M., Combemale, B","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:26.762743Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:bcc9aebadc156dd511980b0b29ebb4e7ec73eda539f321631ed4635be9b99cc4","observation_id":"a9a3b7c6-e11b-4ad0-aded-8091f315fbd9","resolution":{"observed_at":"2026-08-07T12:11:26.762743Z","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.1007/978-3-031-77382-2_13","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:11:31.300665Z","title":"In: Madeira, A., Knapp, A","venue":null,"work_id":"c67bd5e9-c63e-437f-9fd7-b199fd4a156a","year":2024},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:26.885777Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:2cabdb73087da99aba4efa96ecc9c587640ae8525eacbd891f4db786d8f0ab21","observation_id":"8d13539d-7388-47b9-9bc0-a9bc9026213a","resolution":{"observed_at":"2026-08-07T12:11:31.391024Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16032","last_updated":"2024-12-20T16:29:14Z","snapshot_observed_at":"2026-07-06T20:11:01.090789Z","submitted_at":"2024-12-20T16:29:14Z","title":"A Framework for Streaming Event-Log Prediction in Business Processes","version":1},"cited_work":{"arxiv_id":"2412.16032","doi":"10.48550/arxiv.2412.16032","metadata_source":"pith","pith_arxiv_id":"2412.16032","snapshot_observed_at":"2026-08-07T18:16:16.850658Z","title":"A Framework for Streaming Event-Log Prediction in Business Processes","venue":"cs.AI","work_id":"45755792-c19b-4379-9bd4-47a819ffe8cc","year":2024},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:26.979715Z"},"links":{"cited_paper":"/paper/2412.16032","citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:45e18cc41e4681b4a11a04d999f359291295def9e9a48bdc7d22303bcb62207d","observation_id":"793c1699-b0a1-4f0f-8f0b-0b986e025387","resolution":{"observed_at":"2026-08-07T12:11:31.201379Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T12:11:27.071979Z","title":"In: Touili, T., Cook, B., Jackson, P.B","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:27.071979Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:bd733930e94ccf28bb9b4f638881ca4d701f467eb736da6aab88c1129c3299fc","observation_id":"a2f6893f-6412-4637-a402-17abe8ea150a","resolution":{"observed_at":"2026-08-07T12:11:27.071979Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:11:33.588255Z","title":null,"venue":null,"work_id":"05f8fa9d-105a-4d0a-94dd-ad36732ef267","year":2015},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:27.152327Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:2b8d84da80f8c64974ba471c07eb50135949f767491236a4316f20d53de17553","observation_id":"2aee3b98-8e13-40eb-96f9-de5a18eab5f5","resolution":{"observed_at":"2026-08-07T12:11:33.695811Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T12:11:27.245061Z","title":"In: Mutzel, P., Jünger, M., Leipert, S","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:27.245061Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:6b5124a5a744a9f279fc8c8d527d8316e6dd071580280dc8842061fb48176998","observation_id":"27ea53fc-a9d5-4289-9d52-a899b5709118","resolution":{"observed_at":"2026-08-07T12:11:27.245061Z","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.1007/978-3-031-66149-5_9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:11:30.855607Z","title":"In: Neele, T., Wijs, A","venue":null,"work_id":"2cade667-8e4b-40cf-b4ff-1d0882e0c292","year":2024},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:27.334725Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:3515f379155768909c4c9e6a2be986c85a3a46bf82170a9a8217751129644d2d","observation_id":"edb2bc44-4c2d-4103-be2d-c0dcf0f5fd98","resolution":{"observed_at":"2026-08-07T12:11:30.929995Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T12:11:33.306587Z","title":"Cambridge University Press (2010).https://doi.org/10.1017/ CBO9781139194655 Extending AALpy with Passive Learning 19","venue":null,"work_id":"645f2338-1451-40f5-b0d5-d23f310924c3","year":2010},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:27.428872Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:238a71ddf3b547d6c2cb2f8d40e4a898cc5208539ac2c37fa4618f5e154a75d9","observation_id":"72c0bc72-91e7-4446-8a33-211257ecb5b4","resolution":{"observed_at":"2026-08-07T12:11:33.409502Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T12:11:32.929541Z","title":"In: Kroening, D., Pasareanu, C.S","venue":null,"work_id":"43612039-0cb6-47ba-95b0-de7af42260b3","year":2015},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:27.528760Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:464084f21b74ffc369ea1e7c57d50ae2e241ba6e4a33dfd089fcf9239346ccf2","observation_id":"4d1acf0f-2f9a-444e-a688-8b39607a4052","resolution":{"observed_at":"2026-08-07T12:11:33.110350Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-15629-8_20","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:11:30.648294Z","title":"In: Jansen, N., Stoelinga, M., van den Bos, P","venue":null,"work_id":"c227bdf4-980c-4d3b-bc65-81fc835eb2e9","year":2022},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:27.598948Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:546e71c1fc8515a49fbd936fa765761460fbf1ca36fa1aa9e53eef9efbc4666b","observation_id":"a290f577-e1cd-440b-9515-65742858546e","resolution":{"observed_at":"2026-08-07T12:11:30.723872Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T12:11:32.538171Z","title":"In: Platzer, A., Rozier, K.Y., Pradella, M., Rossi, M","venue":null,"work_id":"bdff1640-462c-4fae-88a3-3864f4bed346","year":2024},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:27.690962Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:bf05525ff1c5d12c73613f50a523b15e01ddb46c3dc197bab0c33de065be4589","observation_id":"9155ab4d-3688-4598-9b74-53ab8fc40a2f","resolution":{"observed_at":"2026-08-07T12:11:32.748800Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2023.10702","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:11:31.781295Z","title":null,"venue":null,"work_id":"3f00cac9-ac64-4719-920d-488244b43a0e","year":2023},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:27.761199Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:c617dfc69e3398cd0136d058163a7ae42fa463603971915240f87b3ca9331289","observation_id":"0e92a35d-4dd2-40e6-bb4b-5385354c7fd0","resolution":{"observed_at":"2026-08-07T12:11:31.864180Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T12:11:32.293909Z","title":"In: Honavar, V.G., Slutzki, G","venue":null,"work_id":"4d259c38-94e4-4fd9-a038-f4a19e01e18c","year":1998},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:27.832206Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:67c3355b5d02006694602aeec6ce3c935e13c54d493a27244830df4d7a64f23d","observation_id":"fe155b45-ca75-4a81-adb3-200f9a4ca47e","resolution":{"observed_at":"2026-08-07T12:11:32.415392Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T12:11:27.907621Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:27.907621Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:9cf69eab96ae89e7825b55943d87a4c8a3afd997f8021b5bf416d90a5e0dd1f9","observation_id":"21223dba-c3b5-40bf-8c5b-239516a112ea","resolution":{"observed_at":"2026-08-07T12:11:27.907621Z","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-08-07T12:11:27.975335Z","title":"In: 29th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2024, Padova, Italy, September 10-13, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:27.975335Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:f7c90fa196d16a964fcea216fa089dff089c791dc0cb80b64976c458ae0080b5","observation_id":"e3c9298f-4975-420a-afc3-fb7a60d21a77","resolution":{"observed_at":"2026-08-07T12:11:27.975335Z","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-08-07T12:11:28.063961Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:28.063961Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:aabb2bfc569131aea50b639e9098370d72fcdb5de3381aa1d941cfb6470d59f4","observation_id":"a6e41a37-c22b-4d53-8179-e2697b896fbe","resolution":{"observed_at":"2026-08-07T12:11:28.063961Z","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.1007/978-3-031-07727-2_13","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:11:30.362393Z","title":"In: ter Beek, M.H., Monahan, R","venue":null,"work_id":"4b60d262-a852-4db7-a21e-860959d4c677","year":2022},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:28.132279Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:b676b5077ed209e2710e86b5058851fdaebdd14016b41050d03f13bf4be1b1a0","observation_id":"b8322df1-2bb6-4784-a48f-2a2a28e64e94","resolution":{"observed_at":"2026-08-07T12:11:30.486800Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1142/9789812797919_0007","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:11:30.102009Z","title":"In: Bunke, H","venue":null,"work_id":"3fe176c7-c275-46e9-a6d9-27e28fa42a5d","year":1993},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:28.206225Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:0295b36232aab8f42f282ff94cb8a471d0c07a14a366029cea42ba5d90a4a60b","observation_id":"36eee635-2209-4e8e-a83f-c960002af753","resolution":{"observed_at":"2026-08-07T12:11:30.237945Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T12:11:32.087544Z","title":"In: International Con- ference on Protocol Specification, Testing and Verification","venue":null,"work_id":"3d9c3aa4-f98c-43b1-a6ff-106ab7019ff6","year":1999},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:28.260984Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:cd1b26fd137a94153fa3c6a31eaa9b33e875bce6bb15a0b937e5e2edd2235001","observation_id":"b4b8c677-d0f1-4a4d-8439-a13885268cee","resolution":{"observed_at":"2026-08-07T12:11:32.165396Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-90870-6_28","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:11:29.891651Z","title":"Lecture Notes in Computer Science, vol","venue":null,"work_id":"f4a0eca1-8ab9-408b-b9b9-fcaba1b040ba","year":2021},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:28.339766Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:bf497f379296ca419b0d628a834134f07c4c0e025842617e6d41771449866a0b","observation_id":"41303a97-88dc-452d-9f2e-8f1e8e96f210","resolution":{"observed_at":"2026-08-07T12:11:29.980880Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-06773-0_20","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:11:29.706158Z","title":"In: Deshmukh, J.V., Havelund, K., Perez, I","venue":null,"work_id":"e08fa8f1-5503-4fd2-a690-4e218ee10854","year":2022},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:28.404433Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:cda1d1c60fe621e4711ce6c68b390898098e98802bc67bd4dbfa9682a5dec2bc","observation_id":"47a13bcc-cab1-42b2-931a-67b99cfd629f","resolution":{"observed_at":"2026-08-07T12:11:29.781838Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-43835-6_3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:11:29.423869Z","title":"In: Jansen, N., Tribastone, M","venue":null,"work_id":"1e9160d7-daf8-4df7-919d-c06410696e41","year":2023},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:28.470730Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:dee6e3f136553f27a010e0978647894c27cb79acc54ce9f160263d8de81383ce","observation_id":"ee355ccc-5c27-4be9-8edc-33f9546ca7a9","resolution":{"observed_at":"2026-08-07T12:11:29.539120Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T12:11:28.542549Z","title":"ACM Trans","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:28.542549Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:346445463476c1aeaafc01c6f12226e1e4cc91e21911ccada03aad77c661e061","observation_id":"ef2df9fd-ae74-4118-b382-68eedf62ccee","resolution":{"observed_at":"2026-08-07T12:11:28.542549Z","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-08-07T12:11:28.631902Z","title":"In: Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:28.631902Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:4c004fe3cbd960aaa174914a4b366975a7135bfa23c575c00b4369f8daa5e366","observation_id":"37cc68d7-34c6-4c9b-8efa-5ee0dc4c9d7d","resolution":{"observed_at":"2026-08-07T12:11:28.631902Z","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-08-07T12:11:28.710702Z","title":"In: Margaria, T., Steffen, B","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:28.710702Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:1000dc5ebf0ab9174c14a6253648eba383b45105150a39c6acc25920eb462c3a","observation_id":"0487ec24-b12d-4e35-88ac-ef60b9c9932b","resolution":{"observed_at":"2026-08-07T12:11:28.710702Z","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-08-07T12:11:28.763989Z","title":"CoRRabs/2203.16331(2022).https://doi","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:28.763989Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:b6eb89da085fcd79014f01736f3727ec51f19a47bad1159f2d83dbddb3bd22e1","observation_id":"e4ea0ca3-281a-411c-b51f-5c76fed0c722","resolution":{"observed_at":"2026-08-07T12:11:28.763989Z","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.1007/978-3-642-15488-1_17","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:11:29.144384Z","title":"In: Sempere, J.M., García, P","venue":null,"work_id":"cd686596-32f6-4ac2-b19e-8eb285ca2acf","year":2010},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:28.821751Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:4f63c7fb1976ab1d92b98439fa958e8cc4245c3199143ca54448398e8a1abcc4","observation_id":"972d8551-83e6-4a16-a469-94af666fcbe9","resolution":{"observed_at":"2026-08-07T12:11:29.217444Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10664-015-9367-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:11:28.961455Z","title":null,"venue":null,"work_id":"c9c31c0a-4696-472e-a667-81167d03739e","year":2016},"citing_paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:28.889254Z"},"links":{"citing_paper":"/paper/2506.06333"},"observation_digest":"sha256:7015825bff8f6f0277ac663bdd754432c01c3d824237da48c0a8577e0051f2ef","observation_id":"24283685-eadb-45b5-97df-352151067781","resolution":{"observed_at":"2026-08-07T12:11:29.043632Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.06333","last_updated":"2025-06-12T07:46:40Z","latest_version":2,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-07T12:02:21.169023Z","submitted_at":"2025-05-31T08:29:32Z","title":"Extending AALpy with Passive Learning: A Generalized State-Merging Approach"},"reference_resolution":{"displayed":30,"state_counts":{"malformed_identifier":3,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":12,"verified_exact":10,"verified_fuzzy":3},"total_outbound_references":30},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2506.06333."}