{"as_of":"2026-08-21T16:46:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:39307ec2e292f5c15972191ad5c4a4ad72dbdbbd43ccccb8ef0493dfd4432aae","coverage":[{"denominator":53,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":53,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T17:31:51.289473Z","state":"measured"},{"denominator":53,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":53,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+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/2411.15194/citation-record","integrity":"/paper/2411.15194/integrity","json":"/paper/2411.15194/citation-record.json","paper":"/paper/2411.15194"},"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-12T17:31:52.796919Z","title":null,"venue":null,"work_id":"47798b29-1d13-4409-9fd5-13183c8b8bd5","year":2024},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.010720Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:a11a1953a46b3cc6e2419d3b2b28378af85a716d73286bfb462bdb78452bfa50","observation_id":"6c81465a-c3ce-4b30-b589-8689ecaba6da","resolution":{"observed_at":"2026-08-12T17:31:52.801948Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:52.780543Z","title":"https://github.com/ ChenchengLiang/boosting-string-equation-solving-by-GNNs","venue":null,"work_id":"64f4904e-7728-43f9-8b68-c35ead425ded","year":2024},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.016759Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:cecd79cf695c14e29019a8bb064d6bca0fbb6eb1c53eca74251ce7ac404e4b10","observation_id":"c2c737fe-7a05-4dee-bfd9-6823ed89b108","resolution":{"observed_at":"2026-08-12T17:31:52.786098Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"records/1335477","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:31:52.339970Z","title":"https://zenodo.org/ records/13354774","venue":null,"work_id":"72681ef3-ea1d-41b3-9134-d6355dc259e0","year":2024},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.022145Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:a271f8bb75160ed004705ab262c977855fdbe4315b2a641c6fb77af8a56302a6","observation_id":"c29ef411-115b-409c-89f4-008254e80fa1","resolution":{"observed_at":"2026-08-12T17:31:52.350676Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:52.764233Z","title":"In: Biere, A., Bloem, R","venue":null,"work_id":"eca06bfa-581b-4b99-be5d-d8491446e157","year":2014},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.027278Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:9fab5c430dc36c2b7130bc9ee7b2d8d713f9cea66a09ec76d481f940f6616b83","observation_id":"a9cecdda-f63e-4199-866b-a8f29a8c3cb4","resolution":{"observed_at":"2026-08-12T17:31:52.769247Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:52.748447Z","title":"In: Kroening, D., P˘ as˘ areanu, C.S","venue":null,"work_id":"ebae8861-f64d-4ef6-bf03-b560777b50d1","year":2015},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.032443Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:5c25b84444a0174e0091f09f08415ac3a5a8d5a3495b595ee037e68191642e92","observation_id":"818fc1e8-d1c0-4adb-a96b-52dc562b3082","resolution":{"observed_at":"2026-08-12T17:31:52.753242Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:51.038005Z","title":"In: 2018 Formal Methods in Computer Aided Design (FMCAD)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.038005Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:81f4af3cc14abbf836404f8a12555f997a3ce5def00f124d6728222aea52f300","observation_id":"17d59b59-a883-4ee9-a72b-e86285930417","resolution":{"observed_at":"2026-08-12T17:31:51.038005Z","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-12T17:31:51.043446Z","title":"In: Dimitrova, R., Lahav, O., Wolff, S","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.043446Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:c13d4ae12444cf7b36a83d952d2bf4279897f1d2dfde265dc61a9b7b348d4d6f","observation_id":"334c349d-35d0-4436-ba63-3e1a8b91a848","resolution":{"observed_at":"2026-08-12T17:31:51.043446Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1803.08375","last_updated":"2026-04-14T12:21:53Z","snapshot_observed_at":"2026-08-14T20:09:04.632955Z","submitted_at":"2018-03-22T14:30:17Z","title":"Deep Learning using Rectified Linear Units (ReLU)","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1803.08375","snapshot_observed_at":"2026-08-12T17:31:51.048168Z","title":"https://doi.org/10.48550/arXiv.1803.08375","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.048168Z"},"links":{"cited_paper":"/paper/1803.08375","citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:6b4e8b64c2db43e9ee45c51ee322eed3d4c2ead5039b66c2cd74f5d532c77fe9","observation_id":"324c78e4-18a6-4641-9b6c-dc2d9f18632d","resolution":{"observed_at":"2026-08-12T17:31:51.048168Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1711.00740","last_updated":"2018-05-04T20:30:53Z","snapshot_observed_at":"2026-08-15T11:48:55.744776Z","submitted_at":"2017-11-01T09:48:06Z","title":"Learning to Represent Programs with Graphs","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1711.00740","snapshot_observed_at":"2026-08-12T17:31:51.053724Z","title":"CoRR abs/1711.00740 (2017), http://arxiv.org/abs/1711.00740","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.053724Z"},"links":{"cited_paper":"/paper/1711.00740","citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:96c165da8ba17d5761c4cf2df74eed7e7ec0319e67e4dce24b593b22555cf973","observation_id":"1e3e7b75-1edd-4ce4-ad78-daaadf8ad73f","resolution":{"observed_at":"2026-08-12T17:31:51.053724Z","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-12T17:31:52.722866Z","title":"In: Fisman, D., Rosu, G","venue":null,"work_id":"8c3e6694-e953-460e-a7e9-3f87d21c5060","year":2022},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.059252Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:048ffe410a1e7201b1fe00d7ffadff739536e77c4f1f0ff2f5f932a7eb8b787b","observation_id":"5e24144e-13c1-448b-9199-7cf3cf63dd1e","resolution":{"observed_at":"2026-08-12T17:31:52.727733Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:52.707593Z","title":"In: Gopalakrishnan, G., Qadeer, S","venue":null,"work_id":"c324c6a4-3af1-40b3-9795-0bc15c1b62d1","year":2011},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.065291Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:1a524d89751a66f04fc814d75b423a89740f63005f5f18d1033c9d74e9da3f12","observation_id":"7814c010-2c68-4223-a427-3a77aab9adc3","resolution":{"observed_at":"2026-08-12T17:31:52.712468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:51.071281Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.071281Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:56ba01eef3375eed9e53ccdad3c7fab17de1ab367b2bb197c402aded59cacfc9","observation_id":"17c5e9ab-9709-4f29-9a70-9c1db8159ac7","resolution":{"observed_at":"2026-08-12T17:31:51.071281Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1806.01261","last_updated":"2018-10-17T17:51:36Z","snapshot_observed_at":"2026-08-17T23:08:02.689731Z","submitted_at":"2018-06-04T17:58:18Z","title":"Relational inductive biases, deep learning, and graph networks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1806.01261","snapshot_observed_at":"2026-08-12T17:31:51.077140Z","title":"CoRR abs/1806.01261 (2018), http://arxiv.org/abs/1806","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.077140Z"},"links":{"cited_paper":"/paper/1806.01261","citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:adf101a6660b631c793d994085b5d5e24aa954cd9e742eb8e18349c46dfbc2c2","observation_id":"3e6e599f-6638-4298-8fd5-0750bfbd0e08","resolution":{"observed_at":"2026-08-12T17:31:51.077140Z","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-12T17:31:51.082815Z","title":"In: 2017 Formal Methods in Computer Aided Design (FMCAD)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.082815Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:683df0d9a82e6f88292513548350d34837026fa5eaf5a8983238628f4ca3ac8e","observation_id":"c88b17df-6176-4c54-96c0-fd171bf99e2f","resolution":{"observed_at":"2026-08-12T17:31:51.082815Z","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-12T17:31:51.087564Z","title":"In: Proceed- ings of the Fourth International Workshop on Data Management for End-to- End Machine Learning","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.087564Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:fcf6873a2790065f277d59e399daf85e649447523e33ae44a52f5dc3ec747eaf","observation_id":"142fbc97-1ecf-4101-ae68-5e90b25b2fa6","resolution":{"observed_at":"2026-08-12T17:31:51.087564Z","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-12T17:31:51.093872Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.093872Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:8d5f34dd6a09f04fe2c63a79482b15aff4c6af61d15c88883143647da3c7f3f4","observation_id":"71e4d14d-1e4f-4f3d-b1e1-aefb3f95102d","resolution":{"observed_at":"2026-08-12T17:31:51.093872Z","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-12T17:31:51.099557Z","title":"In: Finkbeiner, B., Kov´ acs, L","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.099557Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:933436ae50ca79c677e2ce6d4dcb6032cd36498fac9bd61da8f30fe69652ef05","observation_id":"d8bba421-46e5-44a1-99a2-36e5d09b443a","resolution":{"observed_at":"2026-08-12T17:31:51.099557Z","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-12T17:31:52.671756Z","title":"In: Piskac, R., Voronkov, A","venue":null,"work_id":"2399e9d6-c9d7-411b-b246-c8416b81b1d1","year":null},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.104403Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:bb8cff4f9e0625c94fdc9e17f77f05eb3a06cbe1e51b0ef98fb10c5352eb87e4","observation_id":"9e1f2cac-35f6-4561-aead-03e8654169ab","resolution":{"observed_at":"2026-08-12T17:31:52.676737Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:51.114246Z","title":"In: Filiot, E., Jungers, R., Potapov, I","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.114246Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:b219f51ea9d66e81cea04715aec5c1a36d84cbb261a3fc09a38cdfa1b474d89a","observation_id":"a551169c-8351-4f70-ad0d-acbe7b9df7ef","resolution":{"observed_at":"2026-08-12T17:31:51.114246Z","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-12T17:31:51.119859Z","title":"In: Proceedings of the 8th International Con- ference on Formal Methods in Software Engineering","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.119859Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:701d2409f8adf2c93ca7ba8035c9c9b0bdc84bfc1ccd8349fc4f3c74bab9f41c","observation_id":"49448059-f79a-4e89-a8ce-cd2c30fc5d90","resolution":{"observed_at":"2026-08-12T17:31:51.119859Z","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-12T17:31:51.126275Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.126275Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:553fe450d236cb5dc15293a79de650bbd73bfa6697e9a88bdab12f6a919e3b7a","observation_id":"55fec56f-c325-4011-afb9-dd66b590eaff","resolution":{"observed_at":"2026-08-12T17:31:51.126275Z","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-08-12T17:31:51.131785Z","title":"In: The World Wide Web Conference","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.131785Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:ae863a0fef8c05277a67caf505cd44eae58f727c50bbff81a070c35326fb211d","observation_id":"e6cbd93d-6686-4808-9a2a-06f698b9f570","resolution":{"observed_at":"2026-08-12T17:31:51.131785Z","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-12T17:31:52.646804Z","title":"In: Proceedings of the 34th International Con- ference on Machine Learning - Volume 70","venue":null,"work_id":"0db21e70-e7a2-46c7-86ad-7c39a20f3afd","year":2017},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.138022Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:f97f275cd48463e4e248eecc333339b4c88147a46ed2966834a37511443509d8","observation_id":"3e4f075b-0f66-4d86-9b26-0c832a04283d","resolution":{"observed_at":"2026-08-12T17:31:52.651785Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1704.01212","last_updated":"2017-06-12T20:52:56Z","snapshot_observed_at":"2026-08-16T04:04:33.340455Z","submitted_at":"2017-04-04T23:00:44Z","title":"Neural Message Passing for Quantum Chemistry","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1704.01212","snapshot_observed_at":"2026-08-12T17:31:51.143485Z","title":"CoRR abs/1704.01212 (2017), http://arxiv","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.143485Z"},"links":{"cited_paper":"/paper/1704.01212","citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:5ae9fa7f5ce8ae1dd51aa22b8b8797facddf64723355c05885095af6c981a674","observation_id":"e5e4b690-8085-436b-a5a0-b69a356e1e70","resolution":{"observed_at":"2026-08-12T17:31:51.143485Z","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-12T17:31:51.149414Z","title":"MIT Press, Cambridge, MA, USA (2016), http://www.deeplearningbook.org","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.149414Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:fc32976501a5c30befffac3b3bd541bc391760eeadd1f14f1e6ba049851e03fe","observation_id":"1751d3bb-9c79-4f0c-bca2-8c49755d9c80","resolution":{"observed_at":"2026-08-12T17:31:51.149414Z","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-12T17:31:52.620243Z","title":"In: Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics","venue":null,"work_id":"3ab74368-e195-4004-ac64-9d8c2e696550","year":2009},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.154872Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:2c88aae90f27c9baaeb3405bfae385f8533de1719000307b5394ac3d7ec34ba5","observation_id":"69b15d9c-37ff-4029-a5e1-5a729995cc22","resolution":{"observed_at":"2026-08-12T17:31:52.625472Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:51.160325Z","title":"In: 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.160325Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:573a0528bb5a4ef7b4d728bee70326e5e8beaf93dbbe2f7740e099adcb7e335c","observation_id":"cce1bcd9-326c-4a08-a0f9-ed5462e71bf2","resolution":{"observed_at":"2026-08-12T17:31:51.160325Z","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-12T17:31:51.165198Z","title":"In: 2018 For- mal Methods in Computer Aided Design (FMCAD)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.165198Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:af116cbbe2c6a0838a4d5478095332d26cdf3c63189e7a09adf8d872b5cea0c9","observation_id":"20404577-97fd-4431-a962-21f75751bd36","resolution":{"observed_at":"2026-08-12T17:31:51.165198Z","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-12T17:31:52.604813Z","title":"In: Peltier, N., Sofronie-Stokkermans, V","venue":null,"work_id":"1916876c-87f7-4d93-b5a9-b14259f2a09a","year":2020},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.170737Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:2daa79dc36bc0b9ebffd3165d73fc34436c0411b92952e8d248849d483b73298","observation_id":"eaeea6da-c2cc-450b-96cf-b2de5fd49ae3","resolution":{"observed_at":"2026-08-12T17:31:52.609720Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:52.589740Z","title":null,"venue":null,"work_id":"4aa9aa22-bdf2-48f7-a145-401bec59fdc9","year":1971},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.175963Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:225e967fee4875ec7706ea743110a0318ad0b9234da643e5391e339c6f44d8c3","observation_id":"37bc08ca-e436-43a7-bf05-5d98ced2f723","resolution":{"observed_at":"2026-08-12T17:31:52.594858Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:51.182038Z","title":"In: 5th International Conference on Learning Representations, ICLR 2017, Toulon, France, April 24-26, 2017, Conference Track Proceedings","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.182038Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:ef97eb70a4ef5b4c9f51f61a32b08e9a4985d47cbbe98b308926717ce5d85093","observation_id":"ba52b084-39b2-49c3-9187-99d5abf960a9","resolution":{"observed_at":"2026-08-12T17:31:51.182038Z","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-12T17:31:52.564872Z","title":"Artificial Intelligence 27(1), 97–109 (1985)","venue":null,"work_id":"f8fe0a8d-076b-4177-af3f-28e9966ef1c9","year":1985},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.187333Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:68d0d786ea13487c03e82fb9af4a86f80ce0a3a17232214818bf8e4d996d12db","observation_id":"8214e46d-3571-4dba-a01d-092149d9ad4b","resolution":{"observed_at":"2026-08-12T17:31:52.569560Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:52.549654Z","title":"net/forum?id=B1lCn64tvS","venue":null,"work_id":"0e0019d1-9d0c-436d-b31e-42e93e3d8a98","year":2020},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.194249Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:0e5d07eec2986f4a7bc8d00606fa182bf9f5abf96c3d9f16d7be231dec7a3386","observation_id":"03325c00-375a-452f-97fd-215761f746d3","resolution":{"observed_at":"2026-08-12T17:31:52.554436Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:51.200231Z","title":null,"venue":null,"work_id":null,"year":1944},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.200231Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:970ebaad1c5ca3a566a7ac1ed035e7bb8d4b5b8d56cfa32a01a3fbae4de7d63a","observation_id":"475f854c-8bc6-4a19-96d9-3f2848c25c87","resolution":{"observed_at":"2026-08-12T17:31:51.200231Z","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-12T17:31:52.524019Z","title":"In: Konev, B., Schon, C., Steen, A","venue":null,"work_id":"ca50d4cf-6f36-41a9-9779-8c7d1ea5d4b7","year":2022},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.206372Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:205ba4497f0201bd7976f1d1aab75128cca84f3c763ba248377ac8e409c22ee6","observation_id":"e888e3dc-924f-47ca-b029-f7c2ea014c5a","resolution":{"observed_at":"2026-08-12T17:31:52.529053Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:51.211515Z","title":null,"venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.211515Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:d90ec1263d4a48b7189bf07d0f0120867303ea1552fa2ff1f9e7f856af96275a","observation_id":"38c1e8d3-0e5c-4552-944f-faf9a834a6d9","resolution":{"observed_at":"2026-08-12T17:31:51.211515Z","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-12T17:31:52.497683Z","title":"IEEE Trans","venue":null,"work_id":"f4d61bc3-1377-4afe-9ec7-c758f03e01fc","year":1999},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.216397Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:600b1f2f5934673285fb40ede9dd31343c08f10bae95403024aca549d4212ad9","observation_id":"e30eea8a-d596-446e-b445-b92260135e04","resolution":{"observed_at":"2026-08-12T17:31:52.502477Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:52.481465Z","title":"In: Proceedings of the Thir- tieth AAAI Conference on Artificial Intelligence","venue":null,"work_id":"cfcc9cb0-f7e3-4740-95cd-90556ea1305a","year":2016},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.221142Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:00b9f555f4874d1d6b29a3f49a049d746dbfe321dbe59999a05a92183a03cbcf","observation_id":"1fe6c66e-7275-494b-9d39-69d0a1acd7cb","resolution":{"observed_at":"2026-08-12T17:31:52.486931Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:51.226141Z","title":"In: 2008 Tools and Algo- rithms for Construction and Analysis of Systems","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.226141Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:f979f9083b9c276915a88aae8a68ed1fea71daf335642f90b81b6b03073163c7","observation_id":"fe388d57-da7d-4116-ac2d-37bc1c5844c7","resolution":{"observed_at":"2026-08-12T17:31:51.226141Z","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-12T17:31:52.455730Z","title":"Mathematische Annalen 78, 385–397 (1917), https://api","venue":null,"work_id":"ceeeb2ea-b32f-4ced-b290-dea8b049866e","year":1917},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.230654Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:121dcff261c898c9cc6d22134c553b0d93a85be2c543dbad0993b6e92b25d71d","observation_id":"43f71cea-8a36-499a-948b-65aca7c6b4da","resolution":{"observed_at":"2026-08-12T17:31:52.460581Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1905.10006","last_updated":"2019-09-13T00:06:34Z","snapshot_observed_at":"2026-08-14T16:27:24.753403Z","submitted_at":"2019-05-24T02:42:22Z","title":"Graph Representations for Higher-Order Logic and Theorem Proving","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1905.10006","snapshot_observed_at":"2026-08-12T17:31:51.235533Z","title":"CoRR abs/1905.10006 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.235533Z"},"links":{"cited_paper":"/paper/1905.10006","citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:a81e1da71fc978e0dd4c92bc2f2d2721d166435bb06acf101f0c860fe016cd40","observation_id":"c435a418-d362-4f5d-ba41-75ee771e6d8e","resolution":{"observed_at":"2026-08-12T17:31:51.235533Z","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-12T17:31:52.436945Z","title":"Abdulla et al","venue":null,"work_id":"0ccfcbd0-ba4d-4d2c-9bd0-1d67fba07c7f","year":2019},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.240385Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:b678ca50596d309b337c77b8c1b2cddc4702fb9254df1471b0a91a8927cfeddb","observation_id":"d4c58f1e-78e3-4233-a6ba-ba2c65f13e1a","resolution":{"observed_at":"2026-08-12T17:31:52.442759Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:52.420474Z","title":"In: Proceedings of the 25th International Conference on World Wide Web","venue":null,"work_id":"817f6208-0fb8-4e44-97b3-a2e0cb7e3c29","year":2016},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.245333Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:201b96d1ffaf8c91a6635515ab06958c07abe45d68163fad2e70a9957b9f6df9","observation_id":"d88609b7-61b7-44a2-aefd-d635e3a7d22f","resolution":{"observed_at":"2026-08-12T17:31:52.425375Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:51.250050Z","title":"In: Proceed- ings of the Thirty-Eighth Annual ACM Symposium on Theory of Computing","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.250050Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:3c907cb4b0da84af62fd986b4bb2bbf419f80ee24573a79dce038af07b38f15f","observation_id":"e40f0236-999f-43ec-932d-d0fe0b4fdae2","resolution":{"observed_at":"2026-08-12T17:31:51.250050Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1903.04671","last_updated":"2019-07-19T22:36:02Z","snapshot_observed_at":"2026-08-19T22:05:01.366864Z","submitted_at":"2019-03-12T00:15:46Z","title":"Guiding High-Performance SAT Solvers with Unsat-Core Predictions","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1903.04671","snapshot_observed_at":"2026-08-12T17:31:51.255080Z","title":"CoRR abs/1903.04671 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.255080Z"},"links":{"cited_paper":"/paper/1903.04671","citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:fb9f9c2fca322a5538e4ec15b802e4ebfcb6d1f1fe44835515fb88760bc0ca86","observation_id":"a21692ff-d25f-4504-acb3-885d33179474","resolution":{"observed_at":"2026-08-12T17:31:51.255080Z","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-12T17:31:52.403668Z","title":"In: 7th International Conference on Learn- ing Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019","venue":null,"work_id":"14bd7382-513c-4d33-be7c-f744c96e5c57","year":2019},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.260184Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:67ee4f9e78afff59967d18647bf4a17233bed92ec14d551fca2a8d8a937bf0b0","observation_id":"186a72ca-0abb-4e75-a8af-0bb4e2b04c64","resolution":{"observed_at":"2026-08-12T17:31:52.409659Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-12T17:31:51.264747Z","title":"In: Bengio, S., Wallach, H., Larochelle, H., Grauman, K., Cesa-Bianchi, N., Garnett, R","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.264747Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:cbfa85198d11648f0f5884b4cda4f36e9429cb132ac080a65af789dc1af672d1","observation_id":"e60bce95-7df6-4338-bee4-84d7b448f7be","resolution":{"observed_at":"2026-08-12T17:31:51.264747Z","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-12T17:31:51.269390Z","title":"In: Computer Aided Verification: 32nd International Con- ference, CA V 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.269390Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:90bf7ba3ff5d38c645f8e6ef9ae0781d2f277874093864d9b724bfdc5cbaf2d8","observation_id":"a115ad0a-9838-4e18-9d69-92b2dbb496c9","resolution":{"observed_at":"2026-08-12T17:31:51.269390Z","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-12T17:31:51.274191Z","title":"CreateSpace, Scotts Valley, CA (2009)","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.274191Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:27d9e15a0289c9ec4c9b3009d4c985f5534c0a5728985db714b48e2efe8713cf","observation_id":"d6098860-5929-407d-b5ae-284c49cec274","resolution":{"observed_at":"2026-08-12T17:31:51.274191Z","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-12T17:31:51.279228Z","title":"In: Proceedings of the 31st International Conference on Neural Information Processing Systems","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.279228Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:360572c3d3688bed14d88afd1b986da2a2a98a27e7d2ec9b3f2db4031a402075","observation_id":"2bd4806b-8fd5-4799-8a1c-2a2d6387001e","resolution":{"observed_at":"2026-08-12T17:31:51.279228Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1909.01315","last_updated":"2020-08-25T15:46:13Z","snapshot_observed_at":"2026-08-18T10:54:34.717319Z","submitted_at":"2019-09-03T17:10:28Z","title":"Deep Graph Library: A Graph-Centric, Highly-Performant Package for Graph Neural Networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1909.01315","snapshot_observed_at":"2026-08-12T17:31:51.284314Z","title":"arXiv preprint arXiv:1909.01315 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.284314Z"},"links":{"cited_paper":"/paper/1909.01315","citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:6edc7bae6a46dbc1c61eaef68a0c1f5259383a5bd0e390534f7522eaf3ead673","observation_id":"21e8f4a6-500c-43e5-90a4-b83f77ef7eab","resolution":{"observed_at":"2026-08-12T17:31:51.284314Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2110.14053","last_updated":"2024-05-08T18:23:10Z","snapshot_observed_at":"2026-08-16T17:46:17.653822Z","submitted_at":"2021-10-26T22:08:22Z","title":"NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.14053","snapshot_observed_at":"2026-08-12T17:31:51.289473Z","title":"CoRR abs/2110.14053 (2021), https://arxiv.org/abs/2110.14053 Title Suppressed Due to Excessive Length 25 A Proof of Lemma 1 Proof","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.289473Z"},"links":{"cited_paper":"/paper/2110.14053","citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:1c9d80b190b03b0488e3af886a4498b1da1927e4ef4cc8eb913baf0fe95886c3","observation_id":"80e7c25d-129d-40c3-9c21-403fa1510bec","resolution":{"observed_at":"2026-08-12T17:31:51.289473Z","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-12T17:31:51.109034Z","title":"https://doi.org/10.29007/tp23, https://easychair.org/ publications/paper/5z94","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","version":1},"reference_index":123,"source":"pdf_text","source_observed_at":"2026-08-12T17:31:51.109034Z"},"links":{"citing_paper":"/paper/2411.15194"},"observation_digest":"sha256:4765fe3c77fb389b49cf40e116e89f9b8530019335fcca51164e1c975e8ac3b5","observation_id":"57c3f001-fafe-472d-a2f0-f8451de59d9b","resolution":{"observed_at":"2026-08-12T17:31:51.109034Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.15194","last_updated":"2024-11-19T14:15:34Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-17T00:51:33.967228Z","submitted_at":"2024-11-19T14:15:34Z","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)"},"reference_resolution":{"displayed":53,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":32,"verified_exact":1,"verified_fuzzy":18},"total_outbound_references":53},"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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 53 of 53 outbound references and 0 inbound Pith citation observations for arXiv:2411.15194."}