Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-03T21:50:15.833209Z
Paper Citation Record · LEDGER
SAIL: Sound Abstract Interpreters with LLMs
As of 8 August 2026, this Paper Citation Record lists 69 of 69 outbound references and 0 inbound Pith citation observations for arXiv:2511.13663.
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-08T06:32:00.761636+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
69 of 69 outbound references displayed
- verified exact2
- verified fuzzy0
- unresolved65
- parse uncertain0
- malformed identifier2
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 3b639288-eded-4088-bc39-3ecc668501ba · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.554185Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 64567f85-54c7-4a78-9e51-0732f046327b · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.558957Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8717ddf6-f931-4ba6-b1cf-01151770574e · outbound
This paper cites Program Synthesis with Large Language Models.
SAIL: Sound Abstract Interpreters with LLMs Program Synthesis with Large Language Models
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.563422Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 79a8505a-8a7a-4de6-802a-71a653321fd9 · outbound
This paper cites 2002.Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software.
SAIL: Sound Abstract Interpreters with LLMs 2002.Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.568107Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c5dc3b48-c5f5-473c-9777-3d018c35ee8f · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.572614Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 37f73ada-51c7-4417-bada-cf13ceb45a0e · outbound
This paper cites The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results.
SAIL: Sound Abstract Interpreters with LLMs The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.576772Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 272be0b2-9399-4a25-9f36-3beda89644c4 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.583012Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 047bb28d-6c3b-4e91-ab52-ecc33dc642e5 · outbound
This paper cites When Deep Learning Met Code Search.
SAIL: Sound Abstract Interpreters with LLMs When Deep Learning Met Code Search
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.587059Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d95d806a-ab01-4e93-88fd-bbc349ae759d · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.591181Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8fc4190a-a3d8-4cfc-a39e-aaf69c788c7f · outbound
This paper cites Abstractinterpretation:aunifiedlatticemodelforstaticanalysisofprogramsby construction or approximation of fixpoints.
SAIL: Sound Abstract Interpreters with LLMs Abstractinterpretation:aunifiedlatticemodelforstaticanalysisofprogramsby construction or approximation of fixpoints
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.595174Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f7be7e5d-f2c5-4f02-a643-34a09e40e043 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.599473Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5a7af612-3156-4a5c-90c7-ea5ecf7031fb · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.603446Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 10b38694-8a97-4be7-8816-c08f7830a07f · outbound
This paper cites 1973.Fourier-Motzkin elimination and its dual.
SAIL: Sound Abstract Interpreters with LLMs 1973.Fourier-Motzkin elimination and its dual
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.612223Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5c56ba29-1c1a-452e-9d5e-794e4ff64f77 · outbound
This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.
SAIL: Sound Abstract Interpreters with LLMs DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.616269Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation be9969b5-6bef-4f63-93e4-81c10a33fec8 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.620678Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1850b375-4407-4a72-adfc-05e3cd96a56b · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.624560Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d54b735b-c776-477f-94a8-27874e3a3e20 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.628496Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0ebd8544-3930-4b3c-b8b1-1666068d67a0 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.633082Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b55c2bcd-04bb-44e0-9143-466b5334c9a8 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.637080Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 349a726c-6116-4fac-bc44-9a0b92120371 · outbound
This paper cites Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation.
SAIL: Sound Abstract Interpreters with LLMs Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.640858Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 93acb7ae-e46a-44e9-8d7d-60d0102a70b9 · outbound
This paper cites On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models.
SAIL: Sound Abstract Interpreters with LLMs On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.644926Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a4f6dd17-b7d1-4342-866a-7c25d4a72dd2 · outbound
This paper cites Symbolic Regression with a Learned Concept Library.
SAIL: Sound Abstract Interpreters with LLMs Symbolic Regression with a Learned Concept Library
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.648941Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a4b65478-9d87-4158-8f24-5aa651ea797c · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.652946Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8dd847be-c466-4e59-845a-bf276a420848 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 24
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-03T21:50:15.656635Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cfb4761b-ac14-4816-a732-d6e4ed011b44 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.660238Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fe754103-5e6b-40aa-bbf6-b4dd834a6ad3 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.664133Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d029e925-3a53-4cf8-bb71-7762b7bf09bd · outbound
This paper cites Synthesizingabstract transformers.Proc.ACMProgram.Lang.OOPSLA2,Article171(Oct.2022),29pages.
SAIL: Sound Abstract Interpreters with LLMs Synthesizingabstract transformers.Proc.ACMProgram.Lang.OOPSLA2,Article171(Oct.2022),29pages
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.667799Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d310840e-5354-4bf4-b994-520912a18951 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.671517Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a8cd583c-23ef-48da-aad0-add7e43308f9 · outbound
This paper cites 2009.The CIFAR-10 and CIFAR-100 datasets.
SAIL: Sound Abstract Interpreters with LLMs 2009.The CIFAR-10 and CIFAR-100 datasets
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.675299Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ab04af71-6669-4162-a7d7-70f219145a78 · outbound
This paper cites Evolution through Large Models.
SAIL: Sound Abstract Interpreters with LLMs Evolution through Large Models
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.678990Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 052eb84e-c7b9-4f57-9696-de82d44407fc · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.682793Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8ec3d1f1-87e5-41de-818b-882eec633178 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.686466Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4cde6d8f-95ea-4d71-9a1e-1365597bddbb · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.690606Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 94191096-c90f-46a6-9ea2-cfa0fff98b4a · outbound
This paper cites Self-Refine: Iterative Refinement with Self-Feedback.
SAIL: Sound Abstract Interpreters with LLMs Self-Refine: Iterative Refinement with Self-Feedback
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.694697Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3a1d982d-ef57-47e7-9bf5-cf7acb5ec778 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.698607Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4b75cd6d-121f-4bca-a31d-85b936f85d98 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 36
- Resolution
- verified exact
- doi, observed 2026-08-03T21:54:04.160854Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 59ef2de6-a36b-4b9a-9906-9541be029469 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.706222Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9620e443-0090-4b81-a4d0-03288cf0ac48 · outbound
This paper cites CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis.
SAIL: Sound Abstract Interpreters with LLMs CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.709977Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b093e40a-aebe-4d01-bd5f-4ce2976af2bf · outbound
This paper cites AlphaEvolve: A coding agent for scientific and algorithmic discovery.
SAIL: Sound Abstract Interpreters with LLMs AlphaEvolve: A coding agent for scientific and algorithmic discovery
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.714004Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 98ba8cf2-6a5c-4a16-8817-8c899b5ebd8a · outbound
This paper cites LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions.
SAIL: Sound Abstract Interpreters with LLMs LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.721763Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 583aa9a1-3811-469f-b62b-05e04a6cba4b · outbound
This paper cites Generative Language Modeling for Automated Theorem Proving.
SAIL: Sound Abstract Interpreters with LLMs Generative Language Modeling for Automated Theorem Proving
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.725764Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dba211b7-fd0f-4387-b6ec-82e45315309d · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.730094Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ffdddfd2-f67a-41ab-91f4-9301c99c406b · outbound
This paper cites Pawan Kumar, Emilien Dupont, Francisco J.
SAIL: Sound Abstract Interpreters with LLMs Pawan Kumar, Emilien Dupont, Francisco J
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.734009Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 46fbe78e-7f4f-4d86-943f-8d9bc969ce5f · outbound
This paper cites LLM-SR: Scientific Equation Discovery via Programming with Large Language Models.
SAIL: Sound Abstract Interpreters with LLMs LLM-SR: Scientific Equation Discovery via Programming with Large Language Models
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.741703Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1a079506-a9aa-4562-a6b2-77262032fcf5 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 46
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-03T21:50:15.745798Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 26cac0ad-0698-4303-8c9e-573499631a1d · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 47
- Resolution
- verified exact
- doi, observed 2026-08-03T21:54:03.912186Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 22eaa034-0020-410f-9f99-a4feb490d227 · outbound
This paper cites A Tensor-Based Compiler and a Runtime for Neuron-Level DNN Certifier Specifications.
SAIL: Sound Abstract Interpreters with LLMs A Tensor-Based Compiler and a Runtime for Neuron-Level DNN Certifier Specifications
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.753815Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4e962381-a51d-4212-accd-e77b5b7b947f · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.758424Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6ca0488f-2ca8-4002-a40c-1ffb25ac04f9 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.762287Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ca80ed55-e087-4c03-83c8-020cd8b6798d · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.765931Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5b0ccd29-204b-40f0-95e6-80115ed9555f · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.769702Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ba768b3d-fcc9-456c-8e1a-cb6a36fa51e2 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.773568Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation da465a7b-0d70-47bc-88fb-5e8dde21736c · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.777411Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 47a11a61-7815-4cd9-9336-bee179455b49 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.781153Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 122329f5-7c02-48e9-968c-673dcfda33a6 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.784949Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 761ec041-972a-4dd5-99ae-aa409924bf86 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 57
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.789044Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 88185f3c-e2c6-41b7-b20a-e537f3c8de87 · outbound
This paper cites Gemini: A Family of Highly Capable Multimodal Models.
SAIL: Sound Abstract Interpreters with LLMs Gemini: A Family of Highly Capable Multimodal Models
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.792769Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation faf3834d-e4f2-4b7d-b218-f12373b0b208 · outbound
This paper cites Yu, and Guandong Xu.
SAIL: Sound Abstract Interpreters with LLMs Yu, and Guandong Xu
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.796534Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 15650488-fade-48c3-8953-127ae98e812a · outbound
This paper cites Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.
SAIL: Sound Abstract Interpreters with LLMs Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.800474Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6b77ee36-93ba-40ea-be1c-17507d1416d5 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.804346Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation db028d3b-4318-40be-bb0e-d18e247c66a9 · outbound
This paper cites Hallucination is Inevitable: An Innate Limitation of Large Language Models.
SAIL: Sound Abstract Interpreters with LLMs Hallucination is Inevitable: An Innate Limitation of Large Language Models
Reference 62
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.808090Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2e89816d-ef88-4d17-bf77-11b4f1eef34f · outbound
This paper cites ReAct: Synergizing Reasoning and Acting in Language Models.
SAIL: Sound Abstract Interpreters with LLMs ReAct: Synergizing Reasoning and Acting in Language Models
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.812108Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5ec907ee-f99d-466f-bd03-88a080ca7942 · outbound
This paper cites an unresolved cited work.
SAIL: Sound Abstract Interpreters with LLMs Unresolved cited work
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.816078Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e9539dd6-69b0-4335-aae0-c19e883194ae · outbound
This paper cites Unsound transformer.
SAIL: Sound Abstract Interpreters with LLMs Unsound transformer
Reference 69
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.828762Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5dea466d-8c49-42bf-97ea-9a55000f8569 · outbound
This paper cites Invalid transformer (Syntax error.
SAIL: Sound Abstract Interpreters with LLMs Invalid transformer (Syntax error
Reference 161
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.824573Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2bd06add-f279-401c-bc72-cf5e88a82dfb · outbound
This paper cites Sound transformer Fig.
SAIL: Sound Abstract Interpreters with LLMs Sound transformer Fig
Reference 181
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.833209Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 29ca230b-9d90-4798-80d9-32731b39f232 · outbound
This paper cites https://doi.org/10.1007/978-3-540-31987-0_3.
SAIL: Sound Abstract Interpreters with LLMs https://doi.org/10.1007/978-3-540-31987-0_3
Reference 2005
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.607395Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b18e55a9-c1e6-4b9c-abc1-cfdbc0311c1b · outbound
This paper cites Towards Stable and Efficient Training of Verifiably Robust Neural Networks.
SAIL: Sound Abstract Interpreters with LLMs Towards Stable and Efficient Training of Verifiably Robust Neural Networks
Reference 2019
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.820172Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0a8ed24f-d8a0-402f-991d-b99c14b3d57f · outbound
This paper cites https://doi.org/10.1038/s41586-023-06924-6.
SAIL: Sound Abstract Interpreters with LLMs https://doi.org/10.1038/s41586-023-06924-6
Reference 2024
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T21:50:15.737833Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.