{"as_of":"2026-08-15T22:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:979f4a698edf35e73d45b220230f1500222da1ff057d94f9d07d118a70bbb6f7","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-06T21:37:57.035625Z","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-15T06:32:42.880941+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.23784/citation-record","integrity":"/paper/2506.23784/integrity","json":"/paper/2506.23784/citation-record.json","paper":"/paper/2506.23784"},"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-06T21:37:57.817611Z","title":null,"venue":null,"work_id":"6acae5ef-6775-4bf1-bff9-06465df7ec8f","year":2025},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:54.770416Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:ec3b3d48d62884dc04c5694ca9a902032b3518d70891bf4c4545ae7d4229c3a4","observation_id":"68be2bcb-ee16-45a5-b416-28eebe81e62d","resolution":{"observed_at":"2026-08-06T21:37:57.821078Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.805243Z","title":null,"venue":null,"work_id":"3d5b168b-f3b1-48f9-8960-908afa0c05ff","year":2025},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:54.796544Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:4c565c6823405b4dba8585931852bb74f3949285d42a7053c5f7bfcaa8e729c6","observation_id":"46a1513a-4f16-4971-a099-c6fab482ab9f","resolution":{"observed_at":"2026-08-06T21:37:57.808876Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.794259Z","title":null,"venue":null,"work_id":"15056e2a-2248-4204-926e-e506fb6e6fff","year":2025},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:54.949961Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:8eb6cc7aba478dbc4c8813bd0f408509649512fc88733dee7d0df1f069634e38","observation_id":"b3ca4aab-9594-49bc-b544-49f59c1847c6","resolution":{"observed_at":"2026-08-06T21:37:57.797545Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.783774Z","title":null,"venue":null,"work_id":"701117b3-4fe8-42fb-a30b-cb6709e83649","year":2025},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:55.018714Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:41ffb9137501f7598659479d0783bbc0df5b27955c5261426bec172a3f918c91","observation_id":"0c922510-4bd5-4f84-b54c-611cf128517d","resolution":{"observed_at":"2026-08-06T21:37:57.787044Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.773555Z","title":"https://github.com/tage64/wordeq solver","venue":null,"work_id":"f510f6ce-58bf-43d7-a250-86c5ebb776aa","year":2025},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:55.133420Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:b57abe14a98f0bf1aceb8b5cdfd0d33331d9945184a3f903f5a0c0d7f7727a7b","observation_id":"e5fb5c78-d0c4-4c55-bfe2-bf074bed3f42","resolution":{"observed_at":"2026-08-06T21:37:57.776798Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2106.03906","last_updated":"2021-06-07T18:35:57Z","snapshot_observed_at":"2026-08-14T17:50:20.364755Z","submitted_at":"2021-06-07T18:35:57Z","title":"Learning to Guide a Saturation-Based Theorem Prover","version":1},"cited_work":{"arxiv_id":"2106.03906","doi":null,"metadata_source":"pith","pith_arxiv_id":"2106.03906","snapshot_observed_at":"2026-08-06T21:37:57.405148Z","title":"Learning to Guide a Saturation-Based Theorem Prover","venue":"cs.AI","work_id":"20186f4b-f135-4a8f-9e1e-cd3d36490861","year":2021},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:55.230550Z"},"links":{"cited_paper":"/paper/2106.03906","citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:8f5a91a7994f96d9244cd405597303b5c854b327a209cd2bfdbbcf4ef4623821","observation_id":"9c436eeb-05e6-4fc6-811f-cb7edcc44eaa","resolution":{"observed_at":"2026-08-06T21:37:57.408747Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.760089Z","title":"In: Akshay, S., Niemetz, A., Sankara- narayanan, S","venue":null,"work_id":"3dda9d57-b607-4925-9d05-9e820f141b92","year":null},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:55.364994Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:98d308905f7877964d918e7d921a7d51bdca568b3416ef522502719dad038f7b","observation_id":"b77faaee-bd9e-4115-9614-04b412687399","resolution":{"observed_at":"2026-08-06T21:37:57.763919Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.739639Z","title":"In: Dimitrova, R., Lahav, O., Wolff, S","venue":null,"work_id":"c7cc167c-ce32-4426-86de-6dd1efbdda8d","year":2024},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:55.564000Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:67ceae19473496e86e750a60c67710548a94b0d41f349969943255a651cc02eb","observation_id":"907eecae-3068-43fd-8377-b98bcef77568","resolution":{"observed_at":"2026-08-06T21:37:57.743049Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"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-06T21:37:55.615911Z","title":"https://doi.org/10.48550/arXiv.1803.08375","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:55.615911Z"},"links":{"cited_paper":"/paper/1803.08375","citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:8b7b6826719bb7e2a84f7ac0c880254f8f526a23809fb4f78551df8721c6147f","observation_id":"60980d4f-76b2-428d-816e-f94b404e365d","resolution":{"observed_at":"2026-08-06T21:37:55.615911Z","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-06T21:37:57.727104Z","title":"In: Fisman, D., Rosu, G","venue":null,"work_id":"31b94f14-5a6f-4d94-9fdf-9c25706e4703","year":2022},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:55.753878Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:2411da2914bc643726c3e18513aac8545fd3e465bbf6ac3e4e1d055ea80ee5f5","observation_id":"a7a3b841-1dff-49a7-8204-44669181f5ea","resolution":{"observed_at":"2026-08-06T21:37:57.730010Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1806.01261","last_updated":"2018-10-17T17:51:36Z","snapshot_observed_at":"2026-08-15T04:21:38.631648Z","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-06T21:37:55.809161Z","title":"CoRR abs/1806.01261 (2018), http://arxiv.org/abs/1806.01261","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:55.809161Z"},"links":{"cited_paper":"/paper/1806.01261","citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:220537759d98e2f28177dccad0f2a6c804529caf9d0f3e15cb1f6bac958ed0b3","observation_id":"aba97093-5b26-4753-8169-37aa77788551","resolution":{"observed_at":"2026-08-06T21:37:55.809161Z","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-06T21:37:55.939630Z","title":"In: Platzer, A., Sutcliffe, G","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:55.939630Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:5cdb6df5c33d96c3059adacb31542a20e2e6f3a9eb51d514ab32b3e38c6c4810","observation_id":"c7d5e5dc-fd5c-4eb6-a7e9-70dc2eaf0114","resolution":{"observed_at":"2026-08-06T21:37:55.939630Z","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":"10.29007/5f4r","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"In: Piskac, R., Voronkov, A","venue":"EPiC series in computing","work_id":"77abc392-1654-4e7f-880c-57a3e3e750fa","year":2023},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.018322Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:fb494c470a04bb871ddc32b38a77aa210cc9fdb8734e5d503cb9ee6ac1b48d22","observation_id":"557ad8c4-4870-460a-a4d6-c3dfe4581519","resolution":{"observed_at":"2026-08-06T21:37:57.094313Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:56.090127Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.090127Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:d3de3217e0e7726d0f91752810fe1bd45bd7d6f145ae932a9a95cf988ef0f41c","observation_id":"854686ef-076d-4df3-9ccc-d8c85bd574da","resolution":{"observed_at":"2026-08-06T21:37:56.090127Z","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-06T21:37:57.717351Z","title":"In: Finkbeiner, B., Kov´ acs, L","venue":null,"work_id":"15b3f073-faaf-441b-b558-44cb351e749d","year":2024},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.162573Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:fef04acad59e13d31111943a5fdf9477edb230b75b36ee3b662519340de1aab9","observation_id":"ea5912f2-bda2-4010-9aaf-90cd93a729ca","resolution":{"observed_at":"2026-08-06T21:37:57.720737Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.707338Z","title":"In: Filiot, E., Jungers, R., Potapov, I","venue":null,"work_id":"7ae7250f-b2e4-4abf-9c87-0898f27b042c","year":2019},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.240752Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:344185baa7997f6ec4c48218778fa8d1a4cc731bd8f0dd0ef528c7f52dd08738","observation_id":"943e30c7-0b53-42d5-b1ab-7a0edfaac80a","resolution":{"observed_at":"2026-08-06T21:37:57.710671Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:56.279525Z","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":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.279525Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:3dbddd43da7456ab8652b46d8ef894e8a172484b5be39d5d105fed4a7e2b08c3","observation_id":"275feba4-6195-4283-bd8b-5c7a7583a126","resolution":{"observed_at":"2026-08-06T21:37:56.279525Z","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-06T21:37:57.697064Z","title":"In: Pandya, P.K., Radhakrishnan, J","venue":null,"work_id":"34bc8a09-0828-49f2-b665-48c19a0c701d","year":2003},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.319844Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:2e0a508ed2f0aea083b58fd24cb9ef970052f7de8630e3ec314aefa280d5b04a","observation_id":"aad5c961-aeae-46f0-8b0f-618c5fb63582","resolution":{"observed_at":"2026-08-06T21:37:57.700393Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T21:08:17.645550Z","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-06T21:37:56.437432Z","title":"CoRR abs/1704.01212 (2017), http://arxiv.org/abs/1704.01212","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.437432Z"},"links":{"cited_paper":"/paper/1704.01212","citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:ba75a7397a3f34c3099948367807f68e32d5cb66e697392776c9c618da47e0d2","observation_id":"3cbd018e-6dde-4e1e-a6e5-5047c4174359","resolution":{"observed_at":"2026-08-06T21:37:56.437432Z","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-06T21:37:57.685808Z","title":"MIT Press, Cambridge, MA, USA (2016), http://www.deeplearningbook.org","venue":null,"work_id":"98ba6d29-15a4-4b14-b887-d7da171082f3","year":2016},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.638246Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:1bdcf893ae2c1deba6b95fdc6be8770554f0ec1a76068b979eeda1e0f5013efb","observation_id":"4f2c07a4-58df-4cf0-ab32-a648d6b6eb10","resolution":{"observed_at":"2026-08-06T21:37:57.689370Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:56.747241Z","title":"Journal of Symbolic Logic 16(1), 14–21 (1951)","venue":null,"work_id":null,"year":1951},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.747241Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:d36bf7f9ab0f18c6b59b75e17a805c8d1e4536c604c7d66fb8e704362c6d5dd2","observation_id":"9772b6f6-818d-4464-a965-bde0113fc7ee","resolution":{"observed_at":"2026-08-06T21:37:56.747241Z","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-06T21:37:56.840793Z","title":"In: 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.840793Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:9d94a6a45b7ea5f34541b91d103893e1fd700c4bb20afd707402e8ab4c194341","observation_id":"d8b0fc7d-14f2-446b-a359-c3a9b78b0054","resolution":{"observed_at":"2026-08-06T21:37:56.840793Z","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-06T21:37:56.923686Z","title":"In: Peltier, N., Sofronie-Stokkermans, V","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.923686Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:6829e3ceda9caf3748c0b6a02ad72ef8032d6e78b2934735d2b7a2eba75f396a","observation_id":"2e3eb504-7696-49a9-a377-7b9f9f6f3870","resolution":{"observed_at":"2026-08-06T21:37:56.923686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1203.3705","last_updated":"2014-03-18T12:49:35Z","snapshot_observed_at":"2026-08-15T04:15:52.532764Z","submitted_at":"2012-03-16T13:43:45Z","title":"Recompression: a simple and powerful technique for word equations","version":3},"cited_work":{"arxiv_id":"1203.3705","doi":null,"metadata_source":"pith","pith_arxiv_id":"1203.3705","snapshot_observed_at":"2026-08-06T21:37:57.221088Z","title":"Recompression: a simple and powerful technique for word equations","venue":"cs.FL","work_id":"fcbe04ac-2482-407e-8fa9-438574b28efe","year":2012},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.927933Z"},"links":{"cited_paper":"/paper/1203.3705","citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:1798f3dea041dabac4cf500e4016e968fb01fc73b8396c91d066d0a78df1b82c","observation_id":"bc34ef9b-1d40-4e17-9506-d26dbdfde3e1","resolution":{"observed_at":"2026-08-06T21:37:57.224993Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.676298Z","title":"In: 5th International Conference on Learning Representations, ICLR 2017, Toulon, France, April 24-26, 2017, Conference Track Proceedings","venue":null,"work_id":"660fec39-7bde-4a36-a0ff-a5751899a933","year":2017},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.932426Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:511fa3604f049e13882aef359493c416ca5b869a47eb01b4900fcb16d597dbcc","observation_id":"db11a72b-555b-47c6-be5b-47c8da9da5e3","resolution":{"observed_at":"2026-08-06T21:37:57.679627Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:56.936371Z","title":"In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.936371Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:fb2a37372bca1773de8bb92bb61263219f993ef3975a1e7bb54acb58577087ba","observation_id":"d015c9b7-ca6a-4e55-a8ed-fd915ecc4451","resolution":{"observed_at":"2026-08-06T21:37:56.936371Z","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-06T21:37:57.666928Z","title":null,"venue":null,"work_id":"c2dd6102-c352-4559-8d7f-9076c9bb91ec","year":1944},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.940027Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:b1d7c5a6a9ba4a92f780955be837011184d4a70fef5c1f331564a264be82003d","observation_id":"d4d1ba15-7e44-41ab-9d2f-9f53931f56fe","resolution":{"observed_at":"2026-08-06T21:37:57.670100Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.657594Z","title":"In: Konev, B., Schon, C., Steen, A","venue":null,"work_id":"dd131a5f-5404-43fa-8255-61a7d5b9ce8c","year":2022},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.943635Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:73c9caa08a25a3bc9564798fae923d2bdc664ba4c1c323644af6fb591806c963","observation_id":"666534b3-aea1-437a-b0c7-f11b83eb26eb","resolution":{"observed_at":"2026-08-06T21:37:57.660657Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.646921Z","title":null,"venue":null,"work_id":"5a6d6afd-ca48-4e2a-927e-ed75337603ee","year":1977},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.947299Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:038daa24b2a4259e180f7038832341f06264e1e6c7b835fdf6b7f443c7115cf2","observation_id":"7afddae7-db9f-4a9b-9c62-78e21cbab9f6","resolution":{"observed_at":"2026-08-06T21:37:57.650239Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.634473Z","title":"IEEE Trans","venue":null,"work_id":"9b75de1c-60bd-44cd-ba6a-82e5fc695c87","year":1999},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.950398Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:5faac8c72a33475df50bd2662febb864303a19eca3a5614dea914a0b3e7126a6","observation_id":"9872bd5a-50e6-4e6f-943b-95e14d6f12c3","resolution":{"observed_at":"2026-08-06T21:37:57.639393Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.624237Z","title":"In: 2008 Tools and Algo- rithms for Construction and Analysis of Systems","venue":null,"work_id":"fd55e0fa-dccd-4095-923d-27fa26a4e82e","year":2008},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.954029Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:9a5d91de741132a648dccca2dbe6b16246c627f9fb9ed5cfe7dd303eb170b5a5","observation_id":"aac600de-7846-4233-aaca-dbbdd2f6aff9","resolution":{"observed_at":"2026-08-06T21:37:57.627723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.613571Z","title":"Mathematische Annalen 78, 385–397 (1917), https://api.semanticscholar.org/CorpusID:119726936","venue":null,"work_id":"e53a0937-d43a-447b-a43b-1d7de40bd395","year":1917},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.957106Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:7b7e59bc0f1138b6f2c19ef5d94cd6e4276aa7d9a8d8cb25fa77ea4a003fb73b","observation_id":"abedcd93-bb76-4917-8dbb-872235d587a0","resolution":{"observed_at":"2026-08-06T21:37:57.616933Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.601579Z","title":"Elsevier (2004), https://hal.science/hal-00112831","venue":null,"work_id":"a0da8c94-d095-41ad-8441-5f413ed3f510","year":2004},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.960223Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:886028aa263eca5625898e38eeb677735b1aa6e562cfd7c5f6ab2c3e037b8289","observation_id":"80f62505-5038-4e7c-854f-e82cc08e36a5","resolution":{"observed_at":"2026-08-06T21:37:57.605288Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1999.81462","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:37:57.202837Z","title":"In: 40th Annual Symposium on Foundations of Computer Science (Cat","venue":null,"work_id":"d507ad34-e877-4d4f-9075-f38427f6bce1","year":1999},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.963526Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:5bd5e4c70f6f654a21000913ae83a5e88fe4ad8394bffc2229c28f4ada54dc7f","observation_id":"fbea9477-5185-4b47-98fb-c136c2e1be50","resolution":{"observed_at":"2026-08-06T21:37:57.209133Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1308.5858","last_updated":"2013-08-27T13:15:27Z","snapshot_observed_at":"2026-08-15T00:05:20.850684Z","submitted_at":"2013-08-27T13:15:27Z","title":"Thue's 1914 paper: a translation","version":1},"cited_work":{"arxiv_id":"1308.5858","doi":null,"metadata_source":"pith","pith_arxiv_id":"1308.5858","snapshot_observed_at":"2026-08-06T21:37:57.131344Z","title":"Thue's 1914 paper: a translation","venue":"cs.FL","work_id":"51a0db5f-4b4d-40c8-aea1-adfb357839c1","year":2013},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.968258Z"},"links":{"cited_paper":"/paper/1308.5858","citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:c028aa17aefcb4f321db2678cf84360bdff2171020753ede79f475c6087d3033","observation_id":"025d67f3-6e41-4b18-ac72-5d8d97d259b1","resolution":{"observed_at":"2026-08-06T21:37:57.135853Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1903.04671","last_updated":"2019-07-19T22:36:02Z","snapshot_observed_at":"2026-08-14T17:03:52.358813Z","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-06T21:37:56.972329Z","title":"CoRR abs/1903.04671 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.972329Z"},"links":{"cited_paper":"/paper/1903.04671","citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:de25f17392c46d063ab19900bc9be15b8b82a05bd6da026a37bf5c8540f33ccb","observation_id":"0472cfc8-7d0a-43a3-9866-b3d64f83243d","resolution":{"observed_at":"2026-08-06T21:37:56.972329Z","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-06T21:37:57.590609Z","title":"In: 7th International Conference on Learn- ing Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019","venue":null,"work_id":"99b311f8-abd0-4c81-9195-ae4d9a067dc7","year":2019},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.976036Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:a48e128f861051a4c7df50db826a780bff6545710c3bccec14261c833e53f8bc","observation_id":"8063656c-0a1b-4805-8dc3-0e0bf9d2d6ac","resolution":{"observed_at":"2026-08-06T21:37:57.594194Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.578550Z","title":"In: Bengio, S., Wallach, H., Larochelle, H., Grauman, K., Cesa-Bianchi, N., Garnett, R","venue":null,"work_id":"1ace9ffc-73ba-417e-8cea-990a8de1851d","year":2018},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.979352Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:30889ac34dd130647eb8d99a9745b6d29efdadcf7a1fd7100bf6011191c8e5f5","observation_id":"77f22c83-60f4-4af2-b781-63fa544c3f2f","resolution":{"observed_at":"2026-08-06T21:37:57.582739Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.568024Z","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":"a01c6c77-3899-437a-8fb3-27a405a0a960","year":2020},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.982729Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:91e5bae0eb9c4cfbf5e6f7d5236a07de3297d2f65830ee56fc6d5694294e91f1","observation_id":"f8a740ee-2520-48c0-af68-a6f3210d19f9","resolution":{"observed_at":"2026-08-06T21:37:57.572041Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.556232Z","title":"In: Platzer, A., Sutcliffe, G","venue":null,"work_id":"3d2cfdc4-8b83-400a-a874-2c101fcb3ec8","year":2021},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.986675Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:c4a10d6128d7b7e7020032c07a629f554130a7eae9e82fd9b54ad63fa7d49e8b","observation_id":"58bbb779-3f7a-4bd3-937f-3032d08dcc6c","resolution":{"observed_at":"2026-08-06T21:37:57.560069Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.544740Z","title":"In: 6th International Conference on Learning Representations (ICLR 2018), Vancouver, Canada, April 30 – May 3","venue":null,"work_id":"afeb8284-4329-4721-b7cd-591179cdfb93","year":2018},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.990586Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:0742c140f90f39601cf11f20f57b0cb366fd140c77c21ea1b9d9f5330721e908","observation_id":"dc21fde0-7fc3-47de-8a1a-4487764a9aa4","resolution":{"observed_at":"2026-08-06T21:37:57.548773Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.532645Z","title":"In: Proceedings of the 31st International Conference on Neural Information Processing Systems","venue":null,"work_id":"3b8ffda2-543a-4e71-bf79-24233014b5ba","year":2017},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.994855Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:d0da4413ccd6eb34b6ebe2d1ea642f841b76937f3f3809ecaf2706ec2377cd00","observation_id":"c806b835-72ee-4655-971f-11a3d3dec243","resolution":{"observed_at":"2026-08-06T21:37:57.536592Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.521135Z","title":"Single equation","venue":null,"work_id":"473f2611-9c9c-4334-9a92-bed1d613c0f7","year":2019},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:56.999808Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:d6da6dc7c2b0eade122edaf554bda36363b9b365b9f4c0b95e4f722076cd75b9","observation_id":"3aed25a5-ba49-441e-af3d-e203e5ad4532","resolution":{"observed_at":"2026-08-06T21:37:57.525097Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.508334Z","title":null,"venue":null,"work_id":"b4b060fa-3fa5-419a-8a3f-1c6f746285f7","year":null},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:57.004412Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:04e101aa630a6bd59bf5f13d3a182788e8feadc9400d6e7843ebb48006f9f975","observation_id":"3a8126fd-ca91-464e-9516-0028d4534526","resolution":{"observed_at":"2026-08-06T21:37:57.512857Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.496333Z","title":null,"venue":null,"work_id":"e8406a3c-c4d3-434e-93d4-14b975e86bbc","year":null},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:57.008760Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:7c8d9f541e5261632291a2802415d2462e296dabcf3d892b401904a5b9a694e0","observation_id":"27270229-e175-4059-82c1-988c69835154","resolution":{"observed_at":"2026-08-06T21:37:57.499917Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.483340Z","title":null,"venue":null,"work_id":"082b37ee-e4e0-42d5-89e7-676d43b3a5d6","year":null},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:57.012515Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:c3d7fd52615ce5679cfcabe25219829318a7597e4cc114ff4ab4e1c68700d34f","observation_id":"59d28ca2-46f1-4e9f-9f00-f66776c0812e","resolution":{"observed_at":"2026-08-06T21:37:57.488021Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.471221Z","title":"GNN” in Table 2. The columns “3","venue":null,"work_id":"a21690d6-cb78-4ebf-89fe-ec67f9ea111d","year":null},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:57.016833Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:b91f4bcd5fb0879ca82be686a38088bab5b781b881e85ebd491bb96ca99dd12a","observation_id":"74f54983-9ec5-424c-a933-09afd402aa29","resolution":{"observed_at":"2026-08-06T21:37:57.474872Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.459095Z","title":"Abdulla et al","venue":null,"work_id":"18b4e684-3968-4012-a192-9d73c6aac271","year":null},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:57.020398Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:36b5ab4a8666a62ad40f02094bf0c179573eea9b0334213effd0d19fc0537d0e","observation_id":"0e50588f-82ad-4dea-be4f-3835931d4cef","resolution":{"observed_at":"2026-08-06T21:37:57.462438Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.447074Z","title":"– This paper : Uses MUSes provided by other solvers and shortest paths from UNSAT problems","venue":null,"work_id":"1cdd5543-dfac-4700-aef6-d5f92a78cb82","year":null},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:57.024398Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:7fdc7643c84c6dd48ac44338f08f8830aea8f0469ee4296b540a1416c34e41b9","observation_id":"67f4fca6-5beb-458a-9469-506a551143a2","resolution":{"observed_at":"2026-08-06T21:37:57.450285Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.436664Z","title":"– This paper : Encodes single word equations with syntax trees enhanced by additional global information","venue":null,"work_id":"a9410b69-2a02-4370-b9b7-ffadbbaef918","year":null},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:57.028127Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:0be46302d265a875f052bb710a8c16bfded03ad5cf7830bf8baa3cb43259c8d4","observation_id":"9ab92f5c-48ff-4dec-8647-ca39c7c06020","resolution":{"observed_at":"2026-08-06T21:37:57.440254Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.426028Z","title":"– This paper : Performs three different classification tasks on embeddings of word equation systems","venue":null,"work_id":"286e7457-d42b-4e71-8a8a-efb9b2d97127","year":null},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:57.031963Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:a9d78d3e8350f84ad0825ca5b417956a20b72fc825b85546141cb806980e6bea","observation_id":"631be542-47a3-42d8-a612-aa957d0d45ef","resolution":{"observed_at":"2026-08-06T21:37:57.429244Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:57.415458Z","title":"– This paper : Uses predictions at varying frequencies, controlled by man- ually defined criteria, including a random mechanism","venue":null,"work_id":"aa4e797f-c1cd-419e-a394-6f0fffdbbb4d","year":null},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:57.035625Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:bfca5008de1d59bd5c26dc7911b70316e462aaf754de89978b6a24a97b4c0ca6","observation_id":"ebe08b0e-b31d-4072-b2e1-67a4c0e602d1","resolution":{"observed_at":"2026-08-06T21:37:57.418890Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T21:37:55.438938Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","version":1},"reference_index":301,"source":"pdf_text","source_observed_at":"2026-08-06T21:37:55.438938Z"},"links":{"citing_paper":"/paper/2506.23784"},"observation_digest":"sha256:6c9969901ba7c07532c4bbe15d34f640eba45eb38a1f7f5da1ec6409325ee81c","observation_id":"ec67f34f-3acb-4922-bd2e-43665c915b37","resolution":{"observed_at":"2026-08-06T21:37:55.438938Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.23784","last_updated":"2025-06-30T12:24:24Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-09T21:01:57.971275Z","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)"},"reference_resolution":{"displayed":53,"state_counts":{"malformed_identifier":3,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":20,"verified_exact":2,"verified_fuzzy":26},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 53 of 53 outbound references and 0 inbound Pith citation observations for arXiv:2506.23784."}