Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) | Paper Citation Record

Observation 6c81465a-c3ce-4b30-b589-8689ecaba6da · outbound

This paper cites an unresolved cited work.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-12T17:31:52.801948Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c2c737fe-7a05-4dee-bfd9-6823ed89b108 · outbound

This paper cites https://github.com/ ChenchengLiang/boosting-string-equation-solving-by-GNNs.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) https://github.com/ ChenchengLiang/boosting-string-equation-solving-by-GNNs

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.786098Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c29ef411-115b-409c-89f4-008254e80fa1 · outbound

This paper cites https://zenodo.org/ records/13354774.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) https://zenodo.org/ records/13354774

Reference 3

Resolution: verified exact; raw_fallback, observed 2026-08-12T17:31:52.350676Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a9cecdda-f63e-4199-866b-a8f29a8c3cb4 · outbound

This paper cites In: Biere, A., Bloem, R.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Biere, A., Bloem, R

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.769247Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 818fc1e8-d1c0-4adb-a96b-52dc562b3082 · outbound

This paper cites In: Kroening, D., P˘ as˘ areanu, C.S.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Kroening, D., P˘ as˘ areanu, C.S

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.753242Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 17d59b59-a883-4ee9-a72b-e86285930417 · outbound

This paper cites In: 2018 Formal Methods in Computer Aided Design (FMCAD).

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: 2018 Formal Methods in Computer Aided Design (FMCAD)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.038005Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 334c349d-35d0-4436-ba63-3e1a8b91a848 · outbound

This paper cites In: Dimitrova, R., Lahav, O., Wolff, S.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Dimitrova, R., Lahav, O., Wolff, S

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.043446Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 324c78e4-18a6-4641-9b6c-dc2d9f18632d · outbound

This paper cites Deep Learning using Rectified Linear Units (ReLU).

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Deep Learning using Rectified Linear Units (ReLU)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.048168Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e3e7b75-1edd-4ce4-ad78-daaadf8ad73f · outbound

This paper cites Learning to Represent Programs with Graphs.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Learning to Represent Programs with Graphs

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.053724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e24144e-13c1-448b-9199-7cf3cf63dd1e · outbound

This paper cites In: Fisman, D., Rosu, G.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Fisman, D., Rosu, G

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.727733Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 7814c010-2c68-4223-a427-3a77aab9adc3 · outbound

This paper cites In: Gopalakrishnan, G., Qadeer, S.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Gopalakrishnan, G., Qadeer, S

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.712468Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 17c5e9ab-9709-4f29-9a70-9c1db8159ac7 · outbound

This paper cites an unresolved cited work.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.071281Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e6e599f-6638-4298-8fd5-0750bfbd0e08 · outbound

This paper cites Relational inductive biases, deep learning, and graph networks.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Relational inductive biases, deep learning, and graph networks

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.077140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c88b17df-6176-4c54-96c0-fd171bf99e2f · outbound

This paper cites In: 2017 Formal Methods in Computer Aided Design (FMCAD).

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: 2017 Formal Methods in Computer Aided Design (FMCAD)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.082815Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 142fbc97-1ecf-4101-ae68-5e90b25b2fa6 · outbound

This paper cites In: Proceed- ings of the Fourth International Workshop on Data Management for End-to- End Machine Learning.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Proceed- ings of the Fourth International Workshop on Data Management for End-to- End Machine Learning

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.087564Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71e4d14d-1e4f-4f3d-b1e1-aefb3f95102d · outbound

This paper cites an unresolved cited work.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.093872Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8bba421-46e5-44a1-99a2-36e5d09b443a · outbound

This paper cites In: Finkbeiner, B., Kov´ acs, L.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Finkbeiner, B., Kov´ acs, L

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.099557Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e1f2cac-35f6-4561-aead-03e8654169ab · outbound

This paper cites In: Piskac, R., Voronkov, A.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Piskac, R., Voronkov, A

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.676737Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a551169c-8351-4f70-ad0d-acbe7b9df7ef · outbound

This paper cites In: Filiot, E., Jungers, R., Potapov, I.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Filiot, E., Jungers, R., Potapov, I

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.114246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49448059-f79a-4e89-a8ce-cd2c30fc5d90 · outbound

This paper cites In: Proceedings of the 8th International Con- ference on Formal Methods in Software Engineering.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Proceedings of the 8th International Con- ference on Formal Methods in Software Engineering

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.119859Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55fec56f-c325-4011-afb9-dd66b590eaff · outbound

This paper cites an unresolved cited work.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Unresolved cited work

Reference 21

Resolution: malformed identifier; no resolver link, observed 2026-08-12T17:31:51.126275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6cbd93d-6686-4808-9a2a-06f698b9f570 · outbound

This paper cites In: The World Wide Web Conference.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: The World Wide Web Conference

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.131785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e4f075b-0f66-4d86-9b26-0c832a04283d · outbound

This paper cites In: Proceedings of the 34th International Con- ference on Machine Learning - Volume 70.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Proceedings of the 34th International Con- ference on Machine Learning - Volume 70

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.651785Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e5e4b690-8085-436b-a5a0-b69a356e1e70 · outbound

This paper cites Neural Message Passing for Quantum Chemistry.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Neural Message Passing for Quantum Chemistry

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.143485Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1751d3bb-9c79-4f0c-bca2-8c49755d9c80 · outbound

This paper cites MIT Press, Cambridge, MA, USA (2016), http://www.deeplearningbook.org.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) MIT Press, Cambridge, MA, USA (2016), http://www.deeplearningbook.org

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.149414Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69b15d9c-37ff-4029-a5e1-5a729995cc22 · outbound

This paper cites In: Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.625472Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation cce1bcd9-326c-4a08-a0f9-ed5462e71bf2 · outbound

This paper cites In: 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI).

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.160325Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20404577-97fd-4431-a962-21f75751bd36 · outbound

This paper cites In: 2018 For- mal Methods in Computer Aided Design (FMCAD).

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: 2018 For- mal Methods in Computer Aided Design (FMCAD)

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.165198Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eaeea6da-c2cc-450b-96cf-b2de5fd49ae3 · outbound

This paper cites In: Peltier, N., Sofronie-Stokkermans, V.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Peltier, N., Sofronie-Stokkermans, V

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.609720Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 37bc08ca-e436-43a7-bf05-5d98ced2f723 · outbound

This paper cites an unresolved cited work.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-12T17:31:52.594858Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ba52b084-39b2-49c3-9187-99d5abf960a9 · outbound

This paper cites In: 5th International Conference on Learning Representations, ICLR 2017, Toulon, France, April 24-26, 2017, Conference Track Proceedings.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: 5th International Conference on Learning Representations, ICLR 2017, Toulon, France, April 24-26, 2017, Conference Track Proceedings

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.182038Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8214e46d-3571-4dba-a01d-092149d9ad4b · outbound

This paper cites Artificial Intelligence 27(1), 97–109 (1985).

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Artificial Intelligence 27(1), 97–109 (1985)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.569560Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 03325c00-375a-452f-97fd-215761f746d3 · outbound

This paper cites net/forum?id=B1lCn64tvS.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) net/forum?id=B1lCn64tvS

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.554436Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 475f854c-8bc6-4a19-96d9-3f2848c25c87 · outbound

This paper cites an unresolved cited work.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.200231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e888e3dc-924f-47ca-b029-f7c2ea014c5a · outbound

This paper cites In: Konev, B., Schon, C., Steen, A.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Konev, B., Schon, C., Steen, A

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.529053Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 38c1e8d3-0e5c-4552-944f-faf9a834a6d9 · outbound

This paper cites an unresolved cited work.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.211515Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e30eea8a-d596-446e-b445-b92260135e04 · outbound

This paper cites IEEE Trans.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) IEEE Trans

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.502477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 1fe6c66e-7275-494b-9d39-69d0a1acd7cb · outbound

This paper cites In: Proceedings of the Thir- tieth AAAI Conference on Artificial Intelligence.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Proceedings of the Thir- tieth AAAI Conference on Artificial Intelligence

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.486931Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation fe388d57-da7d-4116-ac2d-37bc1c5844c7 · outbound

This paper cites In: 2008 Tools and Algo- rithms for Construction and Analysis of Systems.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: 2008 Tools and Algo- rithms for Construction and Analysis of Systems

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.226141Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43f71cea-8a36-499a-948b-65aca7c6b4da · outbound

This paper cites Mathematische Annalen 78, 385–397 (1917), https://api.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Mathematische Annalen 78, 385–397 (1917), https://api

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.460581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c435a418-d362-4f5d-ba41-75ee771e6d8e · outbound

This paper cites Graph Representations for Higher-Order Logic and Theorem Proving.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Graph Representations for Higher-Order Logic and Theorem Proving

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.235533Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4c58f1e-78e3-4233-a6ba-ba2c65f13e1a · outbound

This paper cites Abdulla et al.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Abdulla et al

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.442759Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d88609b7-61b7-44a2-aefd-d635e3a7d22f · outbound

This paper cites In: Proceedings of the 25th International Conference on World Wide Web.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Proceedings of the 25th International Conference on World Wide Web

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.425375Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e40f0236-999f-43ec-932d-d0fe0b4fdae2 · outbound

This paper cites In: Proceed- ings of the Thirty-Eighth Annual ACM Symposium on Theory of Computing.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Proceed- ings of the Thirty-Eighth Annual ACM Symposium on Theory of Computing

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.250050Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a21692ff-d25f-4504-acb3-885d33179474 · outbound

This paper cites Guiding High-Performance SAT Solvers with Unsat-Core Predictions.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Guiding High-Performance SAT Solvers with Unsat-Core Predictions

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.255080Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 186a72ca-0abb-4e75-a8af-0bb4e2b04c64 · outbound

This paper cites In: 7th International Conference on Learn- ing Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: 7th International Conference on Learn- ing Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T17:31:52.409659Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e60bce95-7df6-4338-bee4-84d7b448f7be · outbound

This paper cites In: Bengio, S., Wallach, H., Larochelle, H., Grauman, K., Cesa-Bianchi, N., Garnett, R.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Bengio, S., Wallach, H., Larochelle, H., Grauman, K., Cesa-Bianchi, N., Garnett, R

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.264747Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a115ad0a-9838-4e18-9d69-92b2dbb496c9 · 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.

Guiding Word Equation Solving using Graph Neural Networks (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 48

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.269390Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6098860-5929-407d-b5ae-284c49cec274 · outbound

This paper cites CreateSpace, Scotts Valley, CA (2009).

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) CreateSpace, Scotts Valley, CA (2009)

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.274191Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2bd4806b-8fd5-4799-8a1c-2a2d6387001e · outbound

This paper cites In: Proceedings of the 31st International Conference on Neural Information Processing Systems.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) In: Proceedings of the 31st International Conference on Neural Information Processing Systems

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.279228Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21e8f4a6-500c-43e5-90a4-b83f77ef7eab · outbound

This paper cites Deep Graph Library: A Graph-Centric, Highly-Performant Package for Graph Neural Networks.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Deep Graph Library: A Graph-Centric, Highly-Performant Package for Graph Neural Networks

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.284314Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80e7c25d-129d-40c3-9c21-403fa1510bec · outbound

This paper cites NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-12T17:31:51.289473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57c3f001-fafe-472d-a2f0-f8451de59d9b · outbound

This paper cites https://doi.org/10.29007/tp23, https://easychair.org/ publications/paper/5z94.

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) https://doi.org/10.29007/tp23, https://easychair.org/ publications/paper/5z94

Reference 123

Resolution: malformed identifier; no resolver link, observed 2026-08-12T17:31:51.109034Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers