Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T21:37:57.035625Z
Paper Citation Record · LEDGER
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
53 of 53 outbound references displayed
- verified exact2
- verified fuzzy26
- unresolved20
- parse uncertain0
- malformed identifier3
- metadata mismatch2
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 68be2bcb-ee16-45a5-b416-28eebe81e62d · outbound
This paper cites an unresolved cited work.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:37:57.821078Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 46a1513a-4f16-4971-a099-c6fab482ab9f · outbound
This paper cites an unresolved cited work.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:37:57.808876Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b3ca4aab-9594-49bc-b544-49f59c1847c6 · outbound
This paper cites an unresolved cited work.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:37:57.797545Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0c922510-4bd5-4f84-b54c-611cf128517d · outbound
This paper cites an unresolved cited work.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:37:57.787044Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e5fb5c78-d0c4-4c55-bfe2-bf074bed3f42 · outbound
This paper cites https://github.com/tage64/wordeq solver.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) https://github.com/tage64/wordeq solver
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.776798Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 9c436eeb-05e6-4fc6-811f-cb7edcc44eaa · outbound
This paper cites Learning to Guide a Saturation-Based Theorem Prover.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Learning to Guide a Saturation-Based Theorem Prover
Reference 6
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T21:37:57.408747Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b77faaee-bd9e-4115-9614-04b412687399 · outbound
This paper cites In: Akshay, S., Niemetz, A., Sankara- narayanan, S.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: Akshay, S., Niemetz, A., Sankara- narayanan, S
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.763919Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 907eecae-3068-43fd-8377-b98bcef77568 · outbound
This paper cites In: Dimitrova, R., Lahav, O., Wolff, S.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: Dimitrova, R., Lahav, O., Wolff, S
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.743049Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 60980d4f-76b2-428d-816e-f94b404e365d · outbound
This paper cites Deep Learning using Rectified Linear Units (ReLU).
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Deep Learning using Rectified Linear Units (ReLU)
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:37:55.615911Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a7a3b841-1dff-49a7-8204-44669181f5ea · outbound
This paper cites In: Fisman, D., Rosu, G.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: Fisman, D., Rosu, G
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.730010Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation aba97093-5b26-4753-8169-37aa77788551 · outbound
This paper cites Relational inductive biases, deep learning, and graph networks.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Relational inductive biases, deep learning, and graph networks
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:37:55.809161Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c7d5e5dc-fd5c-4eb6-a7e9-70dc2eaf0114 · outbound
This paper cites In: Platzer, A., Sutcliffe, G.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: Platzer, A., Sutcliffe, G
Reference 12
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-06T21:37:55.939630Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 557ad8c4-4870-460a-a4d6-c3dfe4581519 · outbound
This paper cites In: Piskac, R., Voronkov, A.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: Piskac, R., Voronkov, A
Reference 13
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-06T21:37:57.094313Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 854686ef-076d-4df3-9ccc-d8c85bd574da · outbound
This paper cites an unresolved cited work.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:37:56.090127Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ea5912f2-bda2-4010-9aaf-90cd93a729ca · outbound
This paper cites In: Finkbeiner, B., Kov´ acs, L.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: Finkbeiner, B., Kov´ acs, L
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.720737Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 943e30c7-0b53-42d5-b1ab-7a0edfaac80a · outbound
This paper cites In: Filiot, E., Jungers, R., Potapov, I.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: Filiot, E., Jungers, R., Potapov, I
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.710671Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 275feba4-6195-4283-bd8b-5c7a7583a126 · outbound
This paper cites In: Proceedings of the 8th International Con- ference on Formal Methods in Software Engineering.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: Proceedings of the 8th International Con- ference on Formal Methods in Software Engineering
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:37:56.279525Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aad5c961-aeae-46f0-8b0f-618c5fb63582 · outbound
This paper cites In: Pandya, P.K., Radhakrishnan, J.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: Pandya, P.K., Radhakrishnan, J
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.700393Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3cbd018e-6dde-4e1e-a6e5-5047c4174359 · outbound
This paper cites Neural Message Passing for Quantum Chemistry.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Neural Message Passing for Quantum Chemistry
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:37:56.437432Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4f2c07a4-58df-4cf0-ab32-a648d6b6eb10 · outbound
This paper cites MIT Press, Cambridge, MA, USA (2016), http://www.deeplearningbook.org.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) MIT Press, Cambridge, MA, USA (2016), http://www.deeplearningbook.org
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.689370Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 9772b6f6-818d-4464-a965-bde0113fc7ee · outbound
This paper cites Journal of Symbolic Logic 16(1), 14–21 (1951).
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Journal of Symbolic Logic 16(1), 14–21 (1951)
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:37:56.747241Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d8b0fc7d-14f2-446b-a359-c3a9b78b0054 · outbound
This paper cites In: 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI).
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:37:56.840793Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2e3eb504-7696-49a9-a377-7b9f9f6f3870 · outbound
This paper cites In: Peltier, N., Sofronie-Stokkermans, V.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: Peltier, N., Sofronie-Stokkermans, V
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:37:56.923686Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bc34ef9b-1d40-4e17-9506-d26dbdfde3e1 · outbound
This paper cites Recompression: a simple and powerful technique for word equations.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Recompression: a simple and powerful technique for word equations
Reference 24
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T21:37:57.224993Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation db11a72b-555b-47c6-be5b-47c8da9da5e3 · outbound
This paper cites In: 5th International Conference on Learning Representations, ICLR 2017, Toulon, France, April 24-26, 2017, Conference Track Proceedings.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: 5th International Conference on Learning Representations, ICLR 2017, Toulon, France, April 24-26, 2017, Conference Track Proceedings
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.679627Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d015c9b7-ca6a-4e55-a8ed-fd915ecc4451 · outbound
This paper cites In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:37:56.936371Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d4d1ba15-7e44-41ab-9d2f-9f53931f56fe · outbound
This paper cites an unresolved cited work.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:37:57.670100Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 666534b3-aea1-437a-b0c7-f11b83eb26eb · outbound
This paper cites In: Konev, B., Schon, C., Steen, A.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: Konev, B., Schon, C., Steen, A
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.660657Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 7afddae7-db9f-4a9b-9c62-78e21cbab9f6 · outbound
This paper cites an unresolved cited work.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:37:57.650239Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 9872bd5a-50e6-4e6f-943b-95e14d6f12c3 · outbound
This paper cites IEEE Trans.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) IEEE Trans
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.639393Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation aac600de-7846-4233-aaca-dbbdd2f6aff9 · outbound
This paper cites In: 2008 Tools and Algo- rithms for Construction and Analysis of Systems.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: 2008 Tools and Algo- rithms for Construction and Analysis of Systems
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.627723Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation abedcd93-bb76-4917-8dbb-872235d587a0 · outbound
This paper cites Mathematische Annalen 78, 385–397 (1917), https://api.semanticscholar.org/CorpusID:119726936.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Mathematische Annalen 78, 385–397 (1917), https://api.semanticscholar.org/CorpusID:119726936
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.616933Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 80f62505-5038-4e7c-854f-e82cc08e36a5 · outbound
This paper cites Elsevier (2004), https://hal.science/hal-00112831.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Elsevier (2004), https://hal.science/hal-00112831
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.605288Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation fbea9477-5185-4b47-98fb-c136c2e1be50 · outbound
This paper cites In: 40th Annual Symposium on Foundations of Computer Science (Cat.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: 40th Annual Symposium on Foundations of Computer Science (Cat
Reference 34
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-06T21:37:57.209133Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 025d67f3-6e41-4b18-ac72-5d8d97d259b1 · outbound
This paper cites Thue's 1914 paper: a translation.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Thue's 1914 paper: a translation
Reference 35
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-06T21:37:57.135853Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0472cfc8-7d0a-43a3-9866-b3d64f83243d · outbound
This paper cites Guiding High-Performance SAT Solvers with Unsat-Core Predictions.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Guiding High-Performance SAT Solvers with Unsat-Core Predictions
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:37:56.972329Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8063656c-0a1b-4805-8dc3-0e0bf9d2d6ac · outbound
This paper cites In: 7th International Conference on Learn- ing Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: 7th International Conference on Learn- ing Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.594194Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 77f22c83-60f4-4af2-b781-63fa544c3f2f · outbound
This paper cites In: Bengio, S., Wallach, H., Larochelle, H., Grauman, K., Cesa-Bianchi, N., Garnett, R.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: Bengio, S., Wallach, H., Larochelle, H., Grauman, K., Cesa-Bianchi, N., Garnett, R
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.582739Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f8a740ee-2520-48c0-af68-a6f3210d19f9 · outbound
This paper cites In: Computer Aided Verification: 32nd International Con- ference, CA V 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: Computer Aided Verification: 32nd International Con- ference, CA V 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.572041Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 58bbb779-3f7a-4bd3-937f-3032d08dcc6c · outbound
This paper cites In: Platzer, A., Sutcliffe, G.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: Platzer, A., Sutcliffe, G
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.560069Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation dc21fde0-7fc3-47de-8a1a-4487764a9aa4 · outbound
This paper cites In: 6th International Conference on Learning Representations (ICLR 2018), Vancouver, Canada, April 30 – May 3.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: 6th International Conference on Learning Representations (ICLR 2018), Vancouver, Canada, April 30 – May 3
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.548773Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c806b835-72ee-4655-971f-11a3d3dec243 · outbound
This paper cites In: Proceedings of the 31st International Conference on Neural Information Processing Systems.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) In: Proceedings of the 31st International Conference on Neural Information Processing Systems
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.536592Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3aed25a5-ba49-441e-af3d-e203e5ad4532 · outbound
This paper cites Single equation.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Single equation
Reference 43
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-06T21:37:57.525097Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3a8126fd-ca91-464e-9516-0028d4534526 · outbound
This paper cites an unresolved cited work.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:37:57.512857Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 27270229-e175-4059-82c1-988c69835154 · outbound
This paper cites an unresolved cited work.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:37:57.499917Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 59d28ca2-46f1-4e9f-9f00-f66776c0812e · outbound
This paper cites an unresolved cited work.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T21:37:57.488021Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 74f54983-9ec5-424c-a933-09afd402aa29 · outbound
This paper cites GNN” in Table 2. The columns “3.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) GNN” in Table 2. The columns “3
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.474872Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0e50588f-82ad-4dea-be4f-3835931d4cef · outbound
This paper cites Abdulla et al.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Abdulla et al
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.462438Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 67f4fca6-5beb-458a-9469-506a551143a2 · outbound
This paper cites – This paper : Uses MUSes provided by other solvers and shortest paths from UNSAT problems.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) – This paper : Uses MUSes provided by other solvers and shortest paths from UNSAT problems
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.450285Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 9ab92f5c-48ff-4dec-8647-ca39c7c06020 · outbound
This paper cites – This paper : Encodes single word equations with syntax trees enhanced by additional global information.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) – This paper : Encodes single word equations with syntax trees enhanced by additional global information
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.440254Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 631be542-47a3-42d8-a612-aa957d0d45ef · outbound
This paper cites – This paper : Performs three different classification tasks on embeddings of word equation systems.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) – This paper : Performs three different classification tasks on embeddings of word equation systems
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.429244Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ebe08b0e-b31d-4072-b2e1-67a4c0e602d1 · outbound
This paper cites – This paper : Uses predictions at varying frequencies, controlled by man- ually defined criteria, including a random mechanism.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) – This paper : Uses predictions at varying frequencies, controlled by man- ually defined criteria, including a random mechanism
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T21:37:57.418890Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ec67f34f-3acb-4922-bd2e-43665c915b37 · outbound
This paper cites an unresolved cited work.
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report) Unresolved cited work
Reference 301
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T21:37:55.438938Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.