Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-10T19:21:53.699234Z
Paper Citation Record · LEDGER
Nidus: Externalized Reasoning for AI-Assisted Engineering
As of 3 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:2604.05080.
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-03T06:30:56.289259+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
20 of 20 outbound references displayed
- verified exact4
- verified fuzzy16
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation ddcb83d5-8404-4389-a61d-f54090a279eb · outbound
This paper cites Recursive Functions of Symbolic Expressions.
Nidus: Externalized Reasoning for AI-Assisted Engineering Recursive Functions of Symbolic Expressions
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T05:42:24.166926Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation 02c94433-6e56-4dd8-bf78-da55bacf9b14 · outbound
This paper cites Z3: An Efficient SMT Solver.
Nidus: Externalized Reasoning for AI-Assisted Engineering Z3: An Efficient SMT Solver
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T05:42:24.142693Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation 4d88e05c-004f-4ffa-b70a-0fbf0e261563 · outbound
This paper cites Cutleret al., “Cedar,”OOPSLA.
Nidus: Externalized Reasoning for AI-Assisted Engineering Cutleret al., “Cedar,”OOPSLA
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T05:42:24.163875Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation 4d9009b4-22bf-4bfa-8881-ab27b496f045 · outbound
This paper cites SMT-LIB Standard v2.6.
Nidus: Externalized Reasoning for AI-Assisted Engineering SMT-LIB Standard v2.6
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T05:42:24.139031Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation 5a9492c3-e561-4751-921d-755ca9f6e562 · outbound
This paper cites Kaufmann, P.
Nidus: Externalized Reasoning for AI-Assisted Engineering Kaufmann, P
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T05:42:24.173232Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation 7fb02ff6-d962-42b7-8a69-3d6d9f25b00c · outbound
This paper cites Laurel: Unblocking Automated Verification with Large Language Models.
Nidus: Externalized Reasoning for AI-Assisted Engineering Laurel: Unblocking Automated Verification with Large Language Models
Reference 6
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T23:05:48.380841Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation 086466c0-c5ee-4fa8-8008-38bb86af0455 · outbound
This paper cites Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools.
Nidus: Externalized Reasoning for AI-Assisted Engineering Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
Reference 7
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T23:05:48.387650Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation daffbb35-dd73-4eb3-8b69-f70f7d60238e · outbound
This paper cites seL4: Formal Verification of an OS Kernel.
Nidus: Externalized Reasoning for AI-Assisted Engineering seL4: Formal Verification of an OS Kernel
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T05:42:24.154245Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation 1793ec9f-774c-4018-953c-992c8cffc85c · outbound
This paper cites A Brief History of Stigmergy.
Nidus: Externalized Reasoning for AI-Assisted Engineering A Brief History of Stigmergy
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T05:42:24.177328Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation e28b7e54-e138-4013-8b09-11eb5eea5481 · outbound
This paper cites Lost in Translation: Latent Concept Misalignment in Text-to-Image Diffusion Models.
Nidus: Externalized Reasoning for AI-Assisted Engineering Lost in Translation: Latent Concept Misalignment in Text-to-Image Diffusion Models
Reference 10
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T23:05:48.384399Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation be29d64e-a494-48ca-82b7-a8da8fc5c920 · outbound
This paper cites SymbiYosys: Formal Verification with Yosys.
Nidus: Externalized Reasoning for AI-Assisted Engineering SymbiYosys: Formal Verification with Yosys
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T05:42:24.180788Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation ba80c45f-6a17-4f15-ae49-285f4d15f8f0 · outbound
This paper cites Gödel Machines.
Nidus: Externalized Reasoning for AI-Assisted Engineering Gödel Machines
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T05:42:24.150163Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation 0b619451-ebb1-4589-a645-8d1bab441dfd · outbound
This paper cites AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation.
Nidus: Externalized Reasoning for AI-Assisted Engineering AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation
Reference 13
- Resolution
- verified exact
- local_arxiv, observed 2026-05-10T23:05:48.376625Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation b8a597ea-e3dc-410a-b005-f31d7516f6f8 · outbound
This paper cites Let’s Verify Step by Step.
Nidus: Externalized Reasoning for AI-Assisted Engineering Let’s Verify Step by Step
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T05:42:24.160544Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation 183f7dd3-ceca-4802-91f1-b05b2c2495c1 · outbound
This paper cites Verification of Model-Based Systems Engineering Artifacts.
Nidus: Externalized Reasoning for AI-Assisted Engineering Verification of Model-Based Systems Engineering Artifacts
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T05:42:24.157497Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation f6684c71-340f-429b-825d-e5474a0b2028 · outbound
This paper cites State of AI vs. Human Code Generation.
Nidus: Externalized Reasoning for AI-Assisted Engineering State of AI vs. Human Code Generation
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T05:40:41.379917Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation 4e52d308-be65-43e0-9249-094fa9934716 · outbound
This paper cites AI will make formal verification go mainstream.
Nidus: Externalized Reasoning for AI-Assisted Engineering AI will make formal verification go mainstream
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T05:42:24.146369Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation eb16c8ab-743e-40d0-ac07-e7597174437d · outbound
This paper cites A Framework for Normative Multi-Agent Organisations.
Nidus: Externalized Reasoning for AI-Assisted Engineering A Framework for Normative Multi-Agent Organisations
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T05:40:41.391464Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation 659a4315-5c9f-418c-b63b-f1a4ede768ba · outbound
This paper cites OMG Systems Modeling Language (SysML) v2.0.
Nidus: Externalized Reasoning for AI-Assisted Engineering OMG Systems Modeling Language (SysML) v2.0
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T05:42:24.183986Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation 6ced4525-e561-4ed0-931d-19a77e885d25 · outbound
This paper cites Five Guidelines for Normative Multiagent Systems.
Nidus: Externalized Reasoning for AI-Assisted Engineering Five Guidelines for Normative Multiagent Systems
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T05:42:24.170044Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Pith citing papers
No inbound Pith citation observations are available.