Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-16T12:40:25.589303Z
Paper Citation Record · LEDGER
Proof-Carrying Neuro-Symbolic Code
As of 19 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2504.12031.
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-18T06:34:40.430872+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
64 of 64 outbound references displayed
- verified exact5
- verified fuzzy27
- unresolved27
- parse uncertain0
- malformed identifier4
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 38c2c80a-ee6f-4d02-bebf-1c3b6c715d44 · outbound
This paper cites In: Gurfinkel, A., Ganesh, V.
Proof-Carrying Neuro-Symbolic Code In: Gurfinkel, A., Ganesh, V
Reference 1
- Resolution
- verified exact
- doi, observed 2026-08-16T12:40:25.877881Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9dacf8cb-2a5a-4188-a89a-8e154706529a · outbound
This paper cites Available athttps://github.
Proof-Carrying Neuro-Symbolic Code Available athttps://github
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.798232Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation b7b098ca-71aa-417c-a3a5-4daf18262180 · outbound
This paper cites In: Bertot, Y., Kutsia, T., Norrish, M.
Proof-Carrying Neuro-Symbolic Code In: Bertot, Y., Kutsia, T., Norrish, M
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.192206Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9e14ce86-1510-458c-8109-87fbd8c320e1 · outbound
This paper cites In: 30th International Conference on Types for Proofs and Programs TYPES 2024–Abstracts.
Proof-Carrying Neuro-Symbolic Code In: 30th International Conference on Types for Proofs and Programs TYPES 2024–Abstracts
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.781601Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation bf6b2df2-5bd8-4910-8593-c20b047a5848 · outbound
This paper cites an unresolved cited work.
Proof-Carrying Neuro-Symbolic Code Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.206063Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e59716d5-5707-4932-a930-1bba03b00362 · outbound
This paper cites In: Bertot, Y., Kutsia, T., Norrish, M.
Proof-Carrying Neuro-Symbolic Code In: Bertot, Y., Kutsia, T., Norrish, M
Reference 6
- Resolution
- verified exact
- doi, observed 2026-08-16T12:40:25.836835Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5e9a71f9-5f84-4322-97a4-c4f04a8bd306 · outbound
This paper cites ARIA grant (2024).
Proof-Carrying Neuro-Symbolic Code ARIA grant (2024)
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.765706Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 670aa5ea-3883-4826-84ac-8529e97611b9 · outbound
This paper cites Annals of Pure and Ap- plied Logic 147(1), 23–47 (2007).
Proof-Carrying Neuro-Symbolic Code Annals of Pure and Ap- plied Logic 147(1), 23–47 (2007)
Reference 8
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-16T12:40:26.748547Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 0be90604-6b04-4a8b-8602-83b6c671c7e7 · outbound
This paper cites Electronic Notes in Theoretical Informatics and Computer Sci- ence 3 (2023).
Proof-Carrying Neuro-Symbolic Code Electronic Notes in Theoretical Informatics and Computer Sci- ence 3 (2023)
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.732445Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 63b8fc35-4d9a-419b-ad0d-092b464663bd · outbound
This paper cites In: Proc.
Proof-Carrying Neuro-Symbolic Code In: Proc
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.714442Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 6b5e22a0-d31d-4e4a-a163-d1dc4c07557a · outbound
This paper cites All about Proofs, Proofs for All55(1), 23–44 (2015).
Proof-Carrying Neuro-Symbolic Code All about Proofs, Proofs for All55(1), 23–44 (2015)
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.697916Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 8b72d764-da88-4458-ba5e-8f6843f677cc · outbound
This paper cites an unresolved cited work.
Proof-Carrying Neuro-Symbolic Code Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T12:40:26.681709Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 351318e3-8bdf-4516-add9-e85b0b74362e · outbound
This paper cites arXiv preprint arXiv:2406.04936 (2024).
Proof-Carrying Neuro-Symbolic Code arXiv preprint arXiv:2406.04936 (2024)
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.257725Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b3061542-2560-4ec4-815c-95f3466a7c82 · outbound
This paper cites an unresolved cited work.
Proof-Carrying Neuro-Symbolic Code Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T12:40:26.663809Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 4ad2fa57-9ffd-4147-9750-fe5148b9f595 · outbound
This paper cites In: Computer Aided Verification (CAV 2022).
Proof-Carrying Neuro-Symbolic Code In: Computer Aided Verification (CAV 2022)
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.647005Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 3baeeaa0-afc2-4372-a776-a2ad8f3bf644 · outbound
This paper cites In: International conference on computer aided verification.
Proof-Carrying Neuro-Symbolic Code In: International conference on computer aided verification
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.628209Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d1adf187-a94c-461e-a783-56519dc1ad55 · outbound
This paper cites Foundations and Trends® in Programming Languages 7(3), 158–243 (2021).
Proof-Carrying Neuro-Symbolic Code Foundations and Trends® in Programming Languages 7(3), 158–243 (2021)
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.284801Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 79b3c15f-a345-430a-826a-42ef4988c709 · outbound
This paper cites In: European Symposium on Programming Languages, ESOP 2025 (2025).
Proof-Carrying Neuro-Symbolic Code In: European Symposium on Programming Languages, ESOP 2025 (2025)
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.609990Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation eeec2db1-71f1-418f-8f82-f0088ceb4cee · outbound
This paper cites In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs.
Proof-Carrying Neuro-Symbolic Code In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.583750Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c33a695b-df3b-402e-8133-491d8c28b7fd · outbound
This paper cites an unresolved cited work.
Proof-Carrying Neuro-Symbolic Code Unresolved cited work
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.301287Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f25bd377-17d5-41eb-869f-7081ebc05691 · outbound
This paper cites Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs.
Proof-Carrying Neuro-Symbolic Code Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.307731Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b5f9359d-6f58-4344-a077-125e2d671cc8 · outbound
This paper cites Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs.
Proof-Carrying Neuro-Symbolic Code Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.314860Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a835c20d-a5d6-4051-ab72-283416126a07 · outbound
This paper cites In: Narodytska, N., Amir, G., Katz, G., Isac, O.
Proof-Carrying Neuro-Symbolic Code In: Narodytska, N., Amir, G., Katz, G., Isac, O
Reference 23
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-16T12:40:25.322282Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 29b88cef-1715-4b36-bcf8-d8ef1a307f73 · outbound
This paper cites an unresolved cited work.
Proof-Carrying Neuro-Symbolic Code Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T12:40:26.564763Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 057afb77-60d6-4754-b52c-05ace57ed74c · outbound
This paper cites A Certified Proof Checker for Deep Neural Network Verification in Imandra.
Proof-Carrying Neuro-Symbolic Code A Certified Proof Checker for Deep Neural Network Verification in Imandra
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.334685Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fa2d6998-8b6e-406a-a2ba-26ec88027f4b · outbound
This paper cites In: International Conference on Machine Learning.
Proof-Carrying Neuro-Symbolic Code In: International Conference on Machine Learning
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.547696Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 11964250-a009-497b-9023-42071b564cf3 · outbound
This paper cites In: Chaudhuri, K., Salakhutdinov, R.
Proof-Carrying Neuro-Symbolic Code In: Chaudhuri, K., Salakhutdinov, R
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.527254Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d98d80f4-45a1-49e7-af4a-0897bc8623ec · outbound
This paper cites Comparing differentiable logics for learning with logical constraints.
Proof-Carrying Neuro-Symbolic Code Comparing differentiable logics for learning with logical constraints
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.354595Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3e35b0b5-5fd6-4365-b39e-ba0f21136b36 · outbound
This paper cites In: CADE.
Proof-Carrying Neuro-Symbolic Code In: CADE
Reference 29
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-16T12:40:26.510394Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 56c844a8-2148-4515-878d-c11c26df90a5 · outbound
This paper cites Elsevier (2007) Proof-Carrying Neuro-Symbolic Code 11.
Proof-Carrying Neuro-Symbolic Code Elsevier (2007) Proof-Carrying Neuro-Symbolic Code 11
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.492016Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9593a2fc-5190-4d5d-a2d7-cc23aa1371a2 · outbound
This paper cites In: Proc.
Proof-Carrying Neuro-Symbolic Code In: Proc
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.474289Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7bc3eb04-7435-4e50-af0a-cd0f031df329 · outbound
This paper cites CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness.
Proof-Carrying Neuro-Symbolic Code CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.382227Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4ea9373f-4c14-4970-a930-6400e356fb65 · outbound
This paper cites In: Thirty-First International Joint Conference on Artificial Intelli- gence (IJCAI-22).
Proof-Carrying Neuro-Symbolic Code In: Thirty-First International Joint Conference on Artificial Intelli- gence (IJCAI-22)
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.388650Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4235b20b-3529-4d9c-acc2-8bc9296aaadf · outbound
This paper cites In: McMillan, K.L., Middeldorp, A., Voronkov, A.
Proof-Carrying Neuro-Symbolic Code In: McMillan, K.L., Middeldorp, A., Voronkov, A
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.457099Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 518c362e-5793-4918-9484-be6bffcb7b95 · outbound
This paper cites an unresolved cited work.
Proof-Carrying Neuro-Symbolic Code Unresolved cited work
Reference 35
- Resolution
- verified exact
- doi, observed 2026-08-16T12:40:25.726919Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7b18c24a-6bca-431f-887e-fd0e985a9732 · outbound
This paper cites In: Proc.
Proof-Carrying Neuro-Symbolic Code In: Proc
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.413918Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 749bcb9f-3efb-4d24-a3a6-5ee7787a5fec · outbound
This paper cites In: Proc.
Proof-Carrying Neuro-Symbolic Code In: Proc
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.419313Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7ab267f4-1069-4390-a142-dee07c11fbbb · outbound
This paper cites 443–452 (07 2019).
Proof-Carrying Neuro-Symbolic Code 443–452 (07 2019)
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.420907Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9b7001ee-42d5-4834-bd30-089ab78f2188 · outbound
This paper cites Courier Corporation (2014).
Proof-Carrying Neuro-Symbolic Code Courier Corporation (2014)
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.403381Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5ab22149-125d-40e0-b171-2bb03b7b51de · outbound
This paper cites an unresolved cited work.
Proof-Carrying Neuro-Symbolic Code Unresolved cited work
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.438162Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 37621728-9953-474b-afd5-a9f91ff6eeaa · outbound
This paper cites NeurIPS 2018 tutorial (2018), available athttps://adversarial-ml-tutorial.org/.
Proof-Carrying Neuro-Symbolic Code NeurIPS 2018 tutorial (2018), available athttps://adversarial-ml-tutorial.org/
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.444084Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f05f0482-d98c-4a17-bef1-e1ff6465da15 · outbound
This paper cites In: Kaliszyk, C., Lüth, C.
Proof-Carrying Neuro-Symbolic Code In: Kaliszyk, C., Lüth, C
Reference 42
- Resolution
- verified exact
- doi, observed 2026-08-16T12:40:25.697952Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation f41405de-e3e9-40dd-a5a0-deb74502ffe4 · outbound
This paper cites Neural Network Verification with PyRAT.
Proof-Carrying Neuro-Symbolic Code Neural Network Verification with PyRAT
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.457022Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 16cb4876-d50b-4110-b07e-ccd3140c3246 · outbound
This paper cites Communications of the ACM 52(7), 107–115 (2009) 12 E.
Proof-Carrying Neuro-Symbolic Code Communications of the ACM 52(7), 107–115 (2009) 12 E
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.374758Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d9174d3a-b917-4b5f-af30-27fa31e1070f · outbound
This paper cites Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.
Proof-Carrying Neuro-Symbolic Code Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.470724Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 06ea0cca-fb9b-4902-b1b1-fde87d6630a8 · outbound
This paper cites A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification.
Proof-Carrying Neuro-Symbolic Code A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.478021Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ca0e7009-94a1-44c1-9ef5-9ed592f3a560 · outbound
This paper cites an unresolved cited work.
Proof-Carrying Neuro-Symbolic Code Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T12:40:26.356751Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d846a13b-8868-4fc0-a9de-9830c4008a09 · outbound
This paper cites an unresolved cited work.
Proof-Carrying Neuro-Symbolic Code Unresolved cited work
Reference 48
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T12:40:26.338871Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 3859351b-32c3-42f1-ba8f-d783a904f2e3 · outbound
This paper cites Communications of the ACM54(9), 69–77 (2011).
Proof-Carrying Neuro-Symbolic Code Communications of the ACM54(9), 69–77 (2011)
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.321718Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 105616b5-4f7c-493b-81e3-f82a9614bfa8 · outbound
This paper cites In: Proc.
Proof-Carrying Neuro-Symbolic Code In: Proc
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.302749Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9572a65f-b1ad-4ea3-b735-7e449244f621 · outbound
This paper cites Neural Continuous-Time Supermartingale Certificates.
Proof-Carrying Neuro-Symbolic Code Neural Continuous-Time Supermartingale Certificates
Reference 51
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-16T12:40:25.679261Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 2257117f-015a-4256-bf00-a2571be31375 · outbound
This paper cites In: Proc.
Proof-Carrying Neuro-Symbolic Code In: Proc
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.283678Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 134597d8-4877-41ad-98f5-e04bf9791c36 · outbound
This paper cites Springer, Cham (2018).
Proof-Carrying Neuro-Symbolic Code Springer, Cham (2018)
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.520735Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 36449838-8421-462c-b5dd-c133183b0471 · outbound
This paper cites In: Piskac, R., Voronkov, A.
Proof-Carrying Neuro-Symbolic Code In: Piskac, R., Voronkov, A
Reference 55
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-16T12:40:25.533699Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 26de0dc4-4072-4ad6-964f-623b77322df7 · outbound
This paper cites an unresolved cited work.
Proof-Carrying Neuro-Symbolic Code Unresolved cited work
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.539969Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1b78f000-dbb6-4dde-8bc4-0e76137a18e2 · outbound
This paper cites an unresolved cited work.
Proof-Carrying Neuro-Symbolic Code Unresolved cited work
Reference 57
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T12:40:26.253221Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 0ae876d4-9304-4429-baaa-223a00baa409 · outbound
This paper cites In: NeurIPS 2024 (2024), http://papers.nips.cc/paper_files/paper/2024/hash/ 031b5fd7d847f69ed33378a9a1117b4b-Abstract-Conference.html.
Proof-Carrying Neuro-Symbolic Code In: NeurIPS 2024 (2024), http://papers.nips.cc/paper_files/paper/2024/hash/ 031b5fd7d847f69ed33378a9a1117b4b-Abstract-Conference.html
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.233233Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 55d96ded-da8c-4c63-a3d3-413805351b57 · outbound
This paper cites Journal of the Operational Research Society (1996).
Proof-Carrying Neuro-Symbolic Code Journal of the Operational Research Society (1996)
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.209250Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7fb0ee43-5315-4cd1-91fc-f403bcd40ce6 · outbound
This paper cites Advances in Neural Information Processing Sys- tems 34, 29909–29921 (2021) Proof-Carrying Neuro-Symbolic Code 13.
Proof-Carrying Neuro-Symbolic Code Advances in Neural Information Processing Sys- tems 34, 29909–29921 (2021) Proof-Carrying Neuro-Symbolic Code 13
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.189219Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 6eb465b1-99a7-40a7-bfde-c89240fbb673 · outbound
This paper cites In: Proc.
Proof-Carrying Neuro-Symbolic Code In: Proc
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.168701Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation afd26d0a-b67f-45dd-9d46-328901782806 · outbound
This paper cites In: Computer Aided Verification (CAV) (2024).
Proof-Carrying Neuro-Symbolic Code In: Computer Aided Verification (CAV) (2024)
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.149309Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 21d19c7f-db24-4632-a69b-48dbe6913991 · outbound
This paper cites Formal Mathematical Reasoning: A New Frontier in AI.
Proof-Carrying Neuro-Symbolic Code Formal Mathematical Reasoning: A New Frontier in AI
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T12:40:25.583336Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0c50f1a8-efd9-4591-9cd0-ac8f201f5371 · outbound
This paper cites In: International Conference on Learning Representations (2021), https://api.semanticscholar.org/CorpusID:235613486.
Proof-Carrying Neuro-Symbolic Code In: International Conference on Learning Representations (2021), https://api.semanticscholar.org/CorpusID:235613486
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T12:40:26.132635Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9fccdfaa-1be4-4979-9827-e49e6169f575 · outbound
This paper cites an unresolved cited work.
Proof-Carrying Neuro-Symbolic Code Unresolved cited work
Reference 406
- Resolution
- verified exact
- doi, observed 2026-08-16T12:40:25.746839Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Pith citing papers
No inbound Pith citation observations are available.