Can Transformers Learn to Verify During Backtracking Search? | Paper Citation Record

Observation 978517ef-29d7-4126-a5a4-46e92259a65a · outbound

This paper cites Proceedings of the 5th International Joint Conference on Learning & Reasoning (IJCLR) , year=.

Can Transformers Learn to Verify During Backtracking Search? Proceedings of the 5th International Joint Conference on Learning & Reasoning (IJCLR) , year=

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.103023Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 693436a1-5407-40e6-af95-9da46880a6a9 · outbound

This paper cites Communications of the ACM , volume =.

Can Transformers Learn to Verify During Backtracking Search? Communications of the ACM , volume =

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.106518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 7369a611-3649-4f7e-8f55-4e20d8bb064b · outbound

This paper cites an unresolved cited work.

Can Transformers Learn to Verify During Backtracking Search? Unresolved cited work

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.076599Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation ae72fd3e-f425-42b5-99d6-15ef4daef12f · outbound

This paper cites Deep Learning for Code Workshop at ICLR 2022 , year=.

Can Transformers Learn to Verify During Backtracking Search? Deep Learning for Code Workshop at ICLR 2022 , year=

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.081044Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation cf612412-97c4-4e5a-92fb-5e6a66335cf1 · outbound

This paper cites 2021 , doi =.

Can Transformers Learn to Verify During Backtracking Search? 2021 , doi =

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.096451Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 09da19dd-43d4-40e8-956c-d8ff53a26d35 · outbound

This paper cites The Eleventh International Conference on Learning Representations , year =.

Can Transformers Learn to Verify During Backtracking Search? The Eleventh International Conference on Learning Representations , year =

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.093065Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 0d35b6a1-6c58-4fbf-ae2d-cb814f249f4a · outbound

This paper cites an unresolved cited work.

Can Transformers Learn to Verify During Backtracking Search? Unresolved cited work

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.099567Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 2f52d1e8-72b3-43fa-8d20-20d1b0783518 · outbound

This paper cites The Twelfth International Conference on Learning Representations , year=.

Can Transformers Learn to Verify During Backtracking Search? The Twelfth International Conference on Learning Representations , year=

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.085225Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 2a5d3306-35fa-4538-ae29-5b7de6223b85 · outbound

This paper cites Learning a.

Can Transformers Learn to Verify During Backtracking Search? Learning a

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.089423Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation f4b6fd9f-5a97-493e-bb90-8dfa556f271e · outbound

This paper cites The Twelfth International Conference on Learning Representations , year =.

Can Transformers Learn to Verify During Backtracking Search? The Twelfth International Conference on Learning Representations , year =

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.870881Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 12d8fab6-8e75-4889-8aa0-e771f71d5062 · outbound

This paper cites The Twelfth International Conference on Learning Representations , year =.

Can Transformers Learn to Verify During Backtracking Search? The Twelfth International Conference on Learning Representations , year =

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.874290Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 3e41866e-0e4e-498b-9b6a-85604f9d5ba2 · outbound

This paper cites Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks , volume =.

Can Transformers Learn to Verify During Backtracking Search? Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks , volume =

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.881437Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 2032caed-0225-4352-9a9a-9c14283f9177 · outbound

This paper cites Neurocomputing , volume =.

Can Transformers Learn to Verify During Backtracking Search? Neurocomputing , volume =

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.851173Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation e0cd96f5-40c4-4320-b637-c50f08845c94 · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

Can Transformers Learn to Verify During Backtracking Search? Advances in Neural Information Processing Systems , volume=

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.894567Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation c400e7e7-333b-486c-a386-6bb8f40e801d · outbound

This paper cites Proceedings of the AAAI Conference on Artificial Intelligence , volume=.

Can Transformers Learn to Verify During Backtracking Search? Proceedings of the AAAI Conference on Artificial Intelligence , volume=

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.939325Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation b363760c-3a0e-48d8-822b-cd2d54746b06 · outbound

This paper cites 2025 , doi =.

Can Transformers Learn to Verify During Backtracking Search? 2025 , doi =

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.052620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation f33447c9-98ef-45b1-b59f-20f0e64f102a · outbound

This paper cites Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics , series=.

Can Transformers Learn to Verify During Backtracking Search? Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics , series=

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.877908Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 2863a462-cec4-4cbf-bb96-196c8061ca05 · outbound

This paper cites Can Transformers Reason Logically?.

Can Transformers Learn to Verify During Backtracking Search? Can Transformers Reason Logically?

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.847832Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 03d3b78a-d912-4874-885b-1a53028ce560 · outbound

This paper cites The Thirty-ninth Annual Conference on Neural Information Processing Systems , year=.

Can Transformers Learn to Verify During Backtracking Search? The Thirty-ninth Annual Conference on Neural Information Processing Systems , year=

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.844197Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 1f86e0d7-7e8e-4b6b-bf07-22699c8f13fb · outbound

This paper cites 2020 , doi =.

Can Transformers Learn to Verify During Backtracking Search? 2020 , doi =

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.859144Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 349e7f4f-1beb-400b-9e00-73f64d7f5bd6 · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

Can Transformers Learn to Verify During Backtracking Search? Advances in Neural Information Processing Systems , volume=

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.863390Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation ab1dd148-2992-4f54-9e8e-96fbc5804c97 · outbound

This paper cites The Thirteenth International Conference on Learning Representations , year =.

Can Transformers Learn to Verify During Backtracking Search? The Thirteenth International Conference on Learning Representations , year =

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.867598Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 82462730-1f53-48fb-b5c7-57f6cdb27ee8 · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

Can Transformers Learn to Verify During Backtracking Search? Advances in Neural Information Processing Systems , volume=

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.888117Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 53e884ad-524f-4a8f-b3d0-3fce27e58f11 · outbound

This paper cites Proceedings of the 41st International Conference on Machine Learning , series=.

Can Transformers Learn to Verify During Backtracking Search? Proceedings of the 41st International Conference on Machine Learning , series=

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.891105Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation f13c18eb-0f20-46c6-b3bd-e55120c992ab · outbound

This paper cites Nature , volume=.

Can Transformers Learn to Verify During Backtracking Search? Nature , volume=

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.987442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 8ccea81b-14bb-47c0-8388-4626b0e5d0aa · outbound

This paper cites Nature , volume=.

Can Transformers Learn to Verify During Backtracking Search? Nature , volume=

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.997538Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 5e88db8a-0390-430c-b71d-14d7e4f179be · outbound

This paper cites 2023 , doi =.

Can Transformers Learn to Verify During Backtracking Search? 2023 , doi =

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.045246Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 62557eb7-0c6e-46dd-b3bb-89605b28f4df · outbound

This paper cites Proceedings of the 40th International Conference on Machine Learning , series=.

Can Transformers Learn to Verify During Backtracking Search? Proceedings of the 40th International Conference on Machine Learning , series=

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.034679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 6266b5b1-273e-4f31-8117-bc969a2404d6 · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

Can Transformers Learn to Verify During Backtracking Search? Advances in Neural Information Processing Systems , volume=

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.020382Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation a33a2d86-cef0-426d-8f0e-af4fe591b41c · outbound

This paper cites The Twelfth International Conference on Learning Representations , year=.

Can Transformers Learn to Verify During Backtracking Search? The Twelfth International Conference on Learning Representations , year=

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.913474Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation a5d51acd-ce40-49af-8230-0b40e4fc2623 · outbound

This paper cites Nature , volume=.

Can Transformers Learn to Verify During Backtracking Search? Nature , volume=

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.919490Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation d6bee023-d487-44d8-a369-a330b6cd2f28 · outbound

This paper cites Second Conference on Language Modeling , year=.

Can Transformers Learn to Verify During Backtracking Search? Second Conference on Language Modeling , year=

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.023998Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation ed0fba2c-370a-47cc-92de-a534a4a165a5 · outbound

This paper cites Findings of the Association for Computational Linguistics: ACL 2025 , pages=.

Can Transformers Learn to Verify During Backtracking Search? Findings of the Association for Computational Linguistics: ACL 2025 , pages=

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.884734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 770b6fd4-cccc-4fad-89e0-f7648d90b389 · outbound

This paper cites and Littman, Michael L.

Can Transformers Learn to Verify During Backtracking Search? and Littman, Michael L

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.027384Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 9f3f8e27-ddc6-4959-a1b2-3e279983b5db · outbound

This paper cites and Thomas, Joy A.

Can Transformers Learn to Verify During Backtracking Search? and Thomas, Joy A

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.031094Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation c45bdeee-1219-4df0-ae9e-e3d2b736db2f · outbound

This paper cites title=.

Can Transformers Learn to Verify During Backtracking Search? title=

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.038342Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation aba98400-6ab1-40ec-8cde-533feefe1afb · outbound

This paper cites Proceedings of the AAAI Conference on Artificial Intelligence , volume=.

Can Transformers Learn to Verify During Backtracking Search? Proceedings of the AAAI Conference on Artificial Intelligence , volume=

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.049051Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 281775a4-85b2-46ac-8d91-dcf3bc905e4e · outbound

This paper cites Advances in Neural Information Processing Systems , volume =.

Can Transformers Learn to Verify During Backtracking Search? Advances in Neural Information Processing Systems , volume =

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.056258Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 8baff915-5cc4-4fc9-a532-be67042167e3 · outbound

This paper cites 2022 , doi =.

Can Transformers Learn to Verify During Backtracking Search? 2022 , doi =

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.041800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation a57954e4-28f2-4526-8b5e-0cad00036e93 · outbound

This paper cites Transactions on Machine Learning Research , issn =.

Can Transformers Learn to Verify During Backtracking Search? Transactions on Machine Learning Research , issn =

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.897898Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 473120ce-fe99-45ed-8785-a611120463e7 · outbound

This paper cites Advances in Neural Information Processing Systems , volume =.

Can Transformers Learn to Verify During Backtracking Search? Advances in Neural Information Processing Systems , volume =

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.855531Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation dfc8383c-f9e0-49aa-936d-f6cccc56f1b9 · outbound

This paper cites The Twelfth International Conference on Learning Representations , year =.

Can Transformers Learn to Verify During Backtracking Search? The Twelfth International Conference on Learning Representations , year =

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.064926Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation e976348d-6d74-4b72-b0a7-a452add2f8ab · outbound

This paper cites 2023 , doi =.

Can Transformers Learn to Verify During Backtracking Search? 2023 , doi =

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.983265Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 9e195e42-75a6-4bd0-8077-39f20f162948 · outbound

This paper cites Proceedings of the 40th International Conference on Machine Learning , series =.

Can Transformers Learn to Verify During Backtracking Search? Proceedings of the 40th International Conference on Machine Learning , series =

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.003447Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation f66689c6-c0ea-42a9-8e87-a5ad90759e17 · outbound

This paper cites The Twelfth International Conference on Learning Representations , year =.

Can Transformers Learn to Verify During Backtracking Search? The Twelfth International Conference on Learning Representations , year =

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.012767Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 6e3ffe57-eb69-4d72-be82-2a62c05a868d · outbound

This paper cites Proceedings of the AAAI Conference on Artificial Intelligence , volume =.

Can Transformers Learn to Verify During Backtracking Search? Proceedings of the AAAI Conference on Artificial Intelligence , volume =

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.009646Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 43627087-aa8f-4288-b56e-6a597ad7a174 · outbound

This paper cites 2023 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) , pages =.

Can Transformers Learn to Verify During Backtracking Search? 2023 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) , pages =

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.971540Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 2bacc4c6-7c8c-4830-ba6e-e3a77067bed6 · outbound

This paper cites 2021 , doi =.

Can Transformers Learn to Verify During Backtracking Search? 2021 , doi =

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.977666Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 73ae1a04-bbde-4953-8dcb-35374fb6dfa6 · outbound

This paper cites and Lewis, Mike , title =.

Can Transformers Learn to Verify During Backtracking Search? and Lewis, Mike , title =

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.965448Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 21bba581-9b56-4ecd-b2d7-e0257ee002ee · outbound

This paper cites Advances in Neural Information Processing Systems (NeurIPS) , volume =.

Can Transformers Learn to Verify During Backtracking Search? Advances in Neural Information Processing Systems (NeurIPS) , volume =

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.990873Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 42945f42-0e7e-4101-8a61-2ca7036d295e · outbound

This paper cites and Lynce, In\^es and Malik, Sharad , title =.

Can Transformers Learn to Verify During Backtracking Search? and Lynce, In\^es and Malik, Sharad , title =

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.994436Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 361f854b-3e44-4096-b835-fd6d57b28186 · outbound

This paper cites 2006 , doi =.

Can Transformers Learn to Verify During Backtracking Search? 2006 , doi =

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.959826Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 4cf79120-fc0d-45fa-bda2-a09a2789d102 · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

Can Transformers Learn to Verify During Backtracking Search? Advances in Neural Information Processing Systems , volume=

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.962741Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation afd8e0b0-8b06-458f-8d05-5d3c63fc5620 · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

Can Transformers Learn to Verify During Backtracking Search? Advances in Neural Information Processing Systems , volume=

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.000447Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 908382a5-b3d9-4928-aab3-f08d27e5881c · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

Can Transformers Learn to Verify During Backtracking Search? Advances in Neural Information Processing Systems , volume=

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.953557Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 5b90efb5-a1de-41d5-b245-7da208c393a9 · outbound

This paper cites 2025 , publisher=.

Can Transformers Learn to Verify During Backtracking Search? 2025 , publisher=

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.006393Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 99eded33-68ad-46d9-86ce-af3d473671cc · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

Can Transformers Learn to Verify During Backtracking Search? Advances in Neural Information Processing Systems , volume=

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.950128Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 6baa555c-8396-4070-b707-91f6959d058a · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

Can Transformers Learn to Verify During Backtracking Search? Advances in Neural Information Processing Systems , volume=

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.956990Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation f080912d-bfb6-4837-bf17-393f5b44984c · outbound

This paper cites 2022 , doi =.

Can Transformers Learn to Verify During Backtracking Search? 2022 , doi =

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.968290Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 3361b9ae-ad7d-446f-b975-e5662f28bd28 · outbound

This paper cites an unresolved cited work.

Can Transformers Learn to Verify During Backtracking Search? Unresolved cited work

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.980525Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation e95476fd-7d35-46f2-bb39-becee3e41b72 · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

Can Transformers Learn to Verify During Backtracking Search? Advances in Neural Information Processing Systems , volume=

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.016498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation dfde9c20-9c63-4e7c-a26f-5ddffc17e0c0 · outbound

This paper cites Advances in Neural Information Processing Systems , volume=.

Can Transformers Learn to Verify During Backtracking Search? Advances in Neural Information Processing Systems , volume=

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.068711Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 1096e891-0288-4256-aba5-3035daaf49ab · outbound

This paper cites an unresolved cited work.

Can Transformers Learn to Verify During Backtracking Search? Unresolved cited work

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.935479Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation b7de43e5-c164-4a33-8ef2-939735e734f1 · outbound

This paper cites Journal of the ACM , volume =.

Can Transformers Learn to Verify During Backtracking Search? Journal of the ACM , volume =

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.073360Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation cf54a50a-4dc5-4598-93d4-f385110d8410 · outbound

This paper cites title =.

Can Transformers Learn to Verify During Backtracking Search? title =

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.943644Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 8744d384-a63a-40b8-9ed9-0f5bf92855af · outbound

This paper cites Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) , pages =.

Can Transformers Learn to Verify During Backtracking Search? Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) , pages =

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.922910Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 58cbdc1c-4915-4447-bdc5-1c80e064340d · outbound

This paper cites and Madigan, Conor F.

Can Transformers Learn to Verify During Backtracking Search? and Madigan, Conor F

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.900935Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 74d8157f-8ab2-46db-917a-7e55bcdfde6c · outbound

This paper cites Computational Intelligence , volume =.

Can Transformers Learn to Verify During Backtracking Search? Computational Intelligence , volume =

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.974647Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 1638a725-00bb-4c33-b462-c198db4b0356 · outbound

This paper cites An Extensible.

Can Transformers Learn to Verify During Backtracking Search? An Extensible

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:14.109990Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation e6bed01e-28fa-463a-9ad0-905f175c854a · outbound

This paper cites Gomez and.

Can Transformers Learn to Verify During Backtracking Search? Gomez and

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.907456Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 6f3475a5-d176-4426-bb04-4f13df1884b9 · outbound

This paper cites International Conference on Learning Representations , year =.

Can Transformers Learn to Verify During Backtracking Search? International Conference on Learning Representations , year =

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.904569Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 6a61095a-12f1-407d-a25d-e9580551003d · outbound

This paper cites The Annals of Statistics , volume =.

Can Transformers Learn to Verify During Backtracking Search? The Annals of Statistics , volume =

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.916284Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 6e9897a6-0bb1-4f2e-98d9-b9f32b9f4c45 · outbound

This paper cites Proceedings of the 31st.

Can Transformers Learn to Verify During Backtracking Search? Proceedings of the 31st

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.910387Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation bdfffead-021e-4673-9d43-101386781fa2 · outbound

This paper cites Mitchell and Bart Selman and Hector J.

Can Transformers Learn to Verify During Backtracking Search? Mitchell and Bart Selman and Hector J

Reference 74

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.946720Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 881ec95f-8fde-43d6-8777-0bd14165fadc · outbound

This paper cites Crawford and Larry D.

Can Transformers Learn to Verify During Backtracking Search? Crawford and Larry D

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.926222Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation f9b5ced6-f0d7-4ff4-a5e6-3a2b0dcc909c · outbound

This paper cites Neural Computation , volume=.

Can Transformers Learn to Verify During Backtracking Search? Neural Computation , volume=

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.929449Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Observation 6283339b-1efe-4903-bb36-80256d5fb77f · outbound

This paper cites IEEE Transactions on Neural Networks , volume=.

Can Transformers Learn to Verify During Backtracking Search? IEEE Transactions on Neural Networks , volume=

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T07:21:13.932706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-23T06:31:01.910684+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers