Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T23:02:03.507900Z
Paper Citation Record · LEDGER
Position: Intelligent Coding Systems Should Write Programs with Justifications
As of 21 August 2026, this Paper Citation Record lists 78 of 78 outbound references and 0 inbound Pith citation observations for arXiv:2508.06017.
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-21T06:32:19.484+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
78 of 78 outbound references displayed
- verified exact6
- verified fuzzy3
- unresolved69
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 50f898b4-b1d6-4e41-8235-7230ffff109c · outbound
This paper cites Phi-4 Technical Report.
Position: Intelligent Coding Systems Should Write Programs with Justifications Phi-4 Technical Report
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:01:58.560944Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a9fe5506-6a74-48c5-98b0-39262b6d0354 · outbound
This paper cites GPT-4 Technical Report.
Position: Intelligent Coding Systems Should Write Programs with Justifications GPT-4 Technical Report
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:01:58.607809Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6e2b4d8b-357e-4917-a6ee-2bad019f5700 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.736815Z
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 ecf95395-fedf-4c66-8987-a59e164ad1b1 · outbound
This paper cites Chain-of-Thought Reasoning In The Wild Is Not Always Faithful.
Position: Intelligent Coding Systems Should Write Programs with Justifications Chain-of-Thought Reasoning In The Wild Is Not Always Faithful
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:01:58.755678Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e8823953-c0e6-4693-a549-9a362393cc88 · outbound
This paper cites Monitoring Reasoning Models for Misbehavior and the Risks of Promoting Obfuscation.
Position: Intelligent Coding Systems Should Write Programs with Justifications Monitoring Reasoning Models for Misbehavior and the Risks of Promoting Obfuscation
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:01:58.853181Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation de832e46-2797-485a-bb68-bb2abdcde220 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.728692Z
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 f2b6890f-a832-4e31-ad17-80fd3cf644c8 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.720711Z
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 0bdfb9f2-0a78-4996-bd33-6a36b60098b2 · outbound
This paper cites Beyond External Monitors: Enhancing Transparency of Large Language Models for Easier Monitoring.
Position: Intelligent Coding Systems Should Write Programs with Justifications Beyond External Monitors: Enhancing Transparency of Large Language Models for Easier Monitoring
Reference 8
- Resolution
- verified exact
- local_arxiv, observed 2026-08-05T23:02:04.284765Z
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 640802df-da7a-4574-9bb4-b6d7ea69a610 · outbound
This paper cites Reasoning Models Don't Always Say What They Think.
Position: Intelligent Coding Systems Should Write Programs with Justifications Reasoning Models Don't Always Say What They Think
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:01:59.326685Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 92df359f-7449-4066-8213-e8bdef3b39a4 · outbound
This paper cites Claude Sonnet 4.
Position: Intelligent Coding Systems Should Write Programs with Justifications Claude Sonnet 4
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T23:02:04.712609Z
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 91f9981b-bc37-4988-8268-e867008239ee · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.704499Z
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 a599651f-910a-4357-8b64-7a42aa328405 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.696593Z
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 8727e246-819f-428a-8efb-448d4f0c59c4 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.688445Z
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 4f199e73-cd56-421b-91c0-3e0df4fdbbd3 · outbound
This paper cites What Did I Do Wrong? Quantifying LLMs' Sensitivity and Consistency to Prompt Engineering.
Position: Intelligent Coding Systems Should Write Programs with Justifications What Did I Do Wrong? Quantifying LLMs' Sensitivity and Consistency to Prompt Engineering
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:01:59.849579Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4ef85210-911c-4c14-90ff-4d067b3d71bd · outbound
This paper cites 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers.
Position: Intelligent Coding Systems Should Write Programs with Justifications 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
Reference 15
- Resolution
- verified exact
- local_arxiv, observed 2026-08-05T23:02:04.255954Z
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 d964caef-9ab5-43ef-9a77-8b2e872678f2 · outbound
This paper cites RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing.
Position: Intelligent Coding Systems Should Write Programs with Justifications RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:01:59.966598Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 43edc756-3ca9-4f02-9807-c1516b99bb92 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.680741Z
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 bb99b029-1c3f-4468-9f61-694043b7ab22 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.672876Z
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 be48ef1c-7f46-49c2-ae06-e9dff4505d9c · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.664269Z
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 6fc88a3e-7f92-4ef2-b29f-7684d1f1d705 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.645975Z
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 a8edf053-3245-456c-90de-d7edb65e5123 · outbound
This paper cites Do Explanations Reflect Decisions? A Machine-centric Strategy to Quantify the Performance of Explainability Algorithms.
Position: Intelligent Coding Systems Should Write Programs with Justifications Do Explanations Reflect Decisions? A Machine-centric Strategy to Quantify the Performance of Explainability Algorithms
Reference 21
- Resolution
- verified exact
- local_arxiv, observed 2026-08-05T23:02:04.232917Z
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 1d02fd84-6aba-4654-aeb8-bfb105fd3958 · outbound
This paper cites Learning Code Preference via Synthetic Evolution.
Position: Intelligent Coding Systems Should Write Programs with Justifications Learning Code Preference via Synthetic Evolution
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:00.785817Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 907c35d4-ffd6-40e5-ad44-ff63ac63822f · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.637970Z
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 aa7735d6-1c47-4236-95f2-80f2d81b70df · outbound
This paper cites Lingma SWE-GPT: An Open Development-Process-Centric Language Model for Automated Software Improvement.
Position: Intelligent Coding Systems Should Write Programs with Justifications Lingma SWE-GPT: An Open Development-Process-Centric Language Model for Automated Software Improvement
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:01.065446Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d3462ec3-bfce-400c-b2ce-27723d017c60 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.629441Z
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 fb16f850-d916-46ab-bd5f-a2f73931971f · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.621476Z
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 ff79f779-8e39-4336-b34d-dc89be4eff6b · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.613640Z
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 5aabc39e-7d12-44ce-ac07-1c4e8ff3a0f9 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.605828Z
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 418dacb9-34ef-4a24-a289-70ccbae88b72 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.596556Z
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 706799fd-714f-47f3-9cb2-2e8dd66f4713 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 30
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.588613Z
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 ebd782cb-7c86-43c1-a25e-6fb39d95470f · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.580541Z
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 7d2198c5-075e-4c86-9011-9ac4b116063a · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.572780Z
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 94a7c836-c5aa-4884-8343-d0996d0c3338 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.564659Z
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 f726ec4e-59f5-424d-ad2b-601164428b2c · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.556401Z
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 53d481f9-936c-41fb-8b44-2c50afcf00d6 · outbound
This paper cites Code Llama: Open Foundation Models for Code.
Position: Intelligent Coding Systems Should Write Programs with Justifications Code Llama: Open Foundation Models for Code
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:02.273622Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 39a6e6b3-971b-4f83-9561-f2a473518d3b · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.547247Z
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 59c2981e-c245-44c3-923c-6ba79cb1ece0 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.539319Z
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 8826abae-d9b7-41a0-ac65-a3373a84e035 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.530863Z
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 68dc5721-17bd-4356-96ce-903cdded592d · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.523021Z
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 eb475848-4d90-4609-baf9-dfcd8d84d437 · outbound
This paper cites xai_evals : A Framework for Evaluating Post-Hoc Local Explanation Methods.
Position: Intelligent Coding Systems Should Write Programs with Justifications xai_evals : A Framework for Evaluating Post-Hoc Local Explanation Methods
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:02.828372Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 487195db-f74a-45fd-82c3-7ea5f5553369 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.514353Z
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 a54752ae-d3fb-46d3-b33a-5853707f61c2 · outbound
This paper cites The Good, The Bad, and The Greedy: Evaluation of LLMs Should Not Ignore Non-Determinism.
Position: Intelligent Coding Systems Should Write Programs with Justifications The Good, The Bad, and The Greedy: Evaluation of LLMs Should Not Ignore Non-Determinism
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:03.070200Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 24d4529b-821f-4ce9-b107-c7d6b78cbd82 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.506365Z
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 8def7a8a-7fb0-4f8a-8590-f5fa9cad41fa · outbound
This paper cites Interpretable Question Answering on Knowledge Bases and Text.
Position: Intelligent Coding Systems Should Write Programs with Justifications Interpretable Question Answering on Knowledge Bases and Text
Reference 44
- Resolution
- verified exact
- local_arxiv, observed 2026-08-05T23:02:03.958695Z
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 76aab8f6-0aee-4493-9074-011f398068d8 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.497945Z
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 f38528f1-305b-44bc-88ce-115238e39f74 · outbound
This paper cites Tai-e: A Static Analysis Framework for Java by Harnessing the Best Designs of Classics.
Position: Intelligent Coding Systems Should Write Programs with Justifications Tai-e: A Static Analysis Framework for Java by Harnessing the Best Designs of Classics
Reference 46
- Resolution
- verified exact
- local_arxiv, observed 2026-08-05T23:02:03.669352Z
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 350d7762-3444-49a4-b406-873e8b56b427 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.489357Z
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 02162353-2319-437d-9f4a-7f060b436c09 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 48
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.481412Z
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 c47e1fa5-70dc-440a-9b9c-3046dc862e51 · outbound
This paper cites CodeGemma: Open Code Models Based on Gemma.
Position: Intelligent Coding Systems Should Write Programs with Justifications CodeGemma: Open Code Models Based on Gemma
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:03.431922Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5bdfcb10-c292-48ff-9653-f5f9cff57e58 · outbound
This paper cites The Explanation Game: Towards Prediction Explainability through Sparse Communication.
Position: Intelligent Coding Systems Should Write Programs with Justifications The Explanation Game: Towards Prediction Explainability through Sparse Communication
Reference 50
- Resolution
- verified exact
- local_arxiv, observed 2026-08-05T23:02:03.608826Z
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 779100e0-6f5e-4d01-ae36-4b8033ddd7fb · outbound
This paper cites NESA: Relational Neuro-Symbolic Static Program Analysis.
Position: Intelligent Coding Systems Should Write Programs with Justifications NESA: Relational Neuro-Symbolic Static Program Analysis
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:03.437794Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 99ca6a44-0ac0-4e94-9216-598f47114bf2 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 52
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.473272Z
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 b6c1e233-af7e-44a6-b6b6-574856ded4c9 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 53
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.464744Z
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 5a5a61a8-3682-463d-ab41-4670dd407730 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 54
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.456268Z
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 ad79cc4b-55ec-446e-ad08-4cd6457b2105 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:03.450682Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0796d206-f6d2-495c-a0e7-46eeff10f9e8 · outbound
This paper cites OpenHands: An Open Platform for AI Software Developers as Generalist Agents.
Position: Intelligent Coding Systems Should Write Programs with Justifications OpenHands: An Open Platform for AI Software Developers as Generalist Agents
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:03.447966Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5f7e190d-9e60-41ac-ad5d-a2a2809e42ca · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 57
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.436434Z
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 d563b519-e2b5-44dc-8bd3-558b676f271e · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:03.453549Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 252d4ab9-d22f-41e1-94eb-ea0596f26d27 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 59
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.422321Z
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 ee370d12-86b4-466a-a9b3-19ff3c820a9f · outbound
This paper cites ProSec: Fortifying Code LLMs with Proactive Security Alignment.
Position: Intelligent Coding Systems Should Write Programs with Justifications ProSec: Fortifying Code LLMs with Proactive Security Alignment
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:03.469932Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 242d78fb-30c9-4d12-a32d-c99d8e16e539 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:03.461992Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a890799-cdbc-41ac-bd47-4518c0bc03ce · outbound
This paper cites Agentless: Demystifying LLM-based Software Engineering Agents.
Position: Intelligent Coding Systems Should Write Programs with Justifications Agentless: Demystifying LLM-based Software Engineering Agents
Reference 62
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:03.464619Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 37f84041-7f3e-4595-97b0-8528b43515d7 · outbound
This paper cites What Prompts Don't Say: Understanding and Managing Underspecification in LLM Prompts.
Position: Intelligent Coding Systems Should Write Programs with Justifications What Prompts Don't Say: Understanding and Managing Underspecification in LLM Prompts
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:03.480828Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9cdb16a8-c457-45ed-ba7e-e532312ce6ac · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:03.483516Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9f71f9dd-cb8b-4c3f-a888-f979984a6a22 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 65
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.414093Z
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 5136dcc0-3b19-411f-a404-e32ddadd7820 · outbound
This paper cites SecCoder: Towards Generalizable and Robust Secure Code Generation.
Position: Intelligent Coding Systems Should Write Programs with Justifications SecCoder: Towards Generalizable and Robust Secure Code Generation
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:03.488702Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 10eafa92-801b-4d56-a978-d97f7a2736e7 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 67
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.397498Z
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 b4c4db90-aed1-4568-bb27-db44d97a5d15 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 68
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.364514Z
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 854c09b9-db02-45a4-9b99-fd270575fa90 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 69
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.354829Z
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 0a64a76d-ffb1-43f4-92c2-f9a02f88a8a4 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 70
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.383137Z
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 1104cea2-1acd-4f5c-bb7e-3f5445834c46 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 71
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.337080Z
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 69244edf-d914-48c9-8a1a-1a1473c22b07 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 72
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.374320Z
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 41e3edb8-238a-4631-af99-8b8d33935d24 · outbound
This paper cites ProSA: Assessing and Understanding the Prompt Sensitivity of LLMs.
Position: Intelligent Coding Systems Should Write Programs with Justifications ProSA: Assessing and Understanding the Prompt Sensitivity of LLMs
Reference 73
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:03.507900Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9728dfca-5142-406d-a6f7-3da57cf1f5d3 · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 75
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.346023Z
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 9af01e75-e1e1-45f5-b7bd-1eceb230366f · outbound
This paper cites an unresolved cited work.
Position: Intelligent Coding Systems Should Write Programs with Justifications Unresolved cited work
Reference 77
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T23:02:04.328319Z
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 935a088a-4241-49cb-b372-9b03af3e2619 · outbound
This paper cites In International Conference on Computer Aided Verification.
Position: Intelligent Coding Systems Should Write Programs with Justifications In International Conference on Computer Aided Verification
Reference 2021
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T23:02:04.405774Z
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 f0e5e6e4-7f7c-4651-a4f7-9da486276f81 · outbound
This paper cites Magicoder: Empowering Code Generation with OSS-Instruct.
Position: Intelligent Coding Systems Should Write Programs with Justifications Magicoder: Empowering Code Generation with OSS-Instruct
Reference 2023
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T23:02:03.456536Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e542cc9d-875b-4be9-8444-50e301c9d007 · outbound
This paper cites In Pro- ceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering.
Position: Intelligent Coding Systems Should Write Programs with Justifications In Pro- ceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering
Reference 2024
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T23:02:04.655991Z
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.
Pith citing papers
No inbound Pith citation observations are available.