Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T13:23:12.676375Z
Paper Citation Record · LEDGER
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools
As of 7 August 2026, this Paper Citation Record lists 100 of 125 outbound references and 0 inbound Pith citation observations for arXiv:2509.00699.
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-07T06:34:17.273281+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
100 of 125 outbound references displayed
- verified exact17
- verified fuzzy1
- unresolved76
- parse uncertain0
- malformed identifier3
- metadata mismatch3
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 398ccbfc-c186-471d-88f6-114c83fea1e0 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.236886Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 37e24a7b-e4cb-4b20-a4ed-b440c9c7afa7 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.243183Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fe4feb49-0920-4a06-8911-67ed86c1a00d · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.249541Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f8feeb88-c5ec-4388-9628-b3a19bf46893 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 4
- Resolution
- verified exact
- doi, observed 2026-08-05T13:23:13.117110Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6bf2566e-5f14-4ee9-a518-008e0c9da527 · outbound
This paper cites Aspert, D.
Reference 5
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-05T13:23:14.696296Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c6fff911-71fb-4516-8321-5e50588ddc26 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.265674Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7da88730-961c-46cb-82a0-12f009eb6387 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.270776Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 36cf0bb3-4ac0-437c-97d0-0d2bf9583ce9 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 8
- Resolution
- verified exact
- doi, observed 2026-08-05T13:23:13.102588Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4991e093-77d6-4b91-9a37-b045debb5be2 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 9
- Resolution
- verified exact
- doi, observed 2026-08-05T13:23:13.088041Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9cfdea3f-1d61-4518-a91f-ad76750fccc5 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.284976Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1a1182a4-f363-46e1-8a76-aa8280a835a7 · outbound
This paper cites Birsan and D.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Birsan and D
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.289389Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a558242c-9753-4522-b77f-232ca7b0f7c2 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 12
- Resolution
- verified exact
- doi, observed 2026-08-05T13:23:13.072640Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b3a17910-df2b-45a5-a443-a2eda9eaad52 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 13
- Resolution
- verified exact
- doi, observed 2026-08-05T13:23:13.058163Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5618fba2-01f0-4d1f-8c6b-b27e9eaf570b · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.302118Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 77bcb5e1-9867-480a-8826-b0cbddd81084 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.306150Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 12740763-0222-468c-b49b-fd06e749e98e · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.310341Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 642a1302-63c4-40ea-87a7-d3b390891cee · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.314727Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 896fe630-cad7-4a4f-8b05-5f916fc0938a · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 18
- Resolution
- verified exact
- doi, observed 2026-08-05T13:23:13.032476Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation caf6d82b-8798-40df-a4ee-d180f0fcc30c · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.323691Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 12d89891-a894-460d-8733-aab795ddf428 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.327773Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bb1f5bf0-98d5-459f-8317-aba0d029cdac · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.331818Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 31df634a-fad8-480a-b332-17184e129941 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.336019Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4f1ef2f3-999d-428e-9a9a-9104ed042ad5 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.340193Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2ff4d870-f65f-493e-b05b-f83a7aaab876 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.344779Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fb206ddd-bf7b-41aa-91f7-bd682851110e · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.348792Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e25554e2-9b52-49c5-b516-aa4e2913d633 · outbound
This paper cites Delfs, M.
Reference 26
- Resolution
- verified exact
- doi, observed 2026-08-05T13:23:13.017443Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e3edc9f3-8caf-4197-8a2f-6c6b7bdc1196 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.357185Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b39c6d6c-c981-4beb-9f06-8b17ede44e62 · outbound
This paper cites Dolenc and I.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Dolenc and I
Reference 28
- Resolution
- verified exact
- doi, observed 2026-08-05T13:23:13.002837Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c410fbd6-c4cc-4d49-8218-60108184b769 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 29
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-05T13:23:14.603487Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 43d6110e-aec0-4b21-9325-094ab4a96991 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.369716Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 05568133-53f5-4dee-b582-f7fbb8e00ab2 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.374000Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 40aca593-d943-4be6-a376-3ae300d271c4 · outbound
This paper cites Wang, Jonàs Martínez, Sara Mcmains, Marc Alexa, Brian Wyvill, and Sylvain Lefebvre.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Wang, Jonàs Martínez, Sara Mcmains, Marc Alexa, Brian Wyvill, and Sylvain Lefebvre
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.378308Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4f9ede01-348b-451a-9154-8a77ff1d9cbe · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.382561Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dd39d592-8c42-4810-b46a-00e7b8bf94d0 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.386690Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 46f83ad5-8c4d-4ca1-a9cd-1a800e67c3fa · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.391451Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ab75eb96-ab2e-4eef-81e6-d2d5bf341380 · outbound
This paper cites Cobb, and Nadya Peek.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Cobb, and Nadya Peek
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.395686Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c0c39c46-ce73-45a6-bfdc-1d4ab8f99f85 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.399973Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3b720bf4-2375-46f2-9f29-5f41e2ec7ccb · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 38
- Resolution
- verified exact
- doi, observed 2026-08-05T13:23:12.987752Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation fbfeab61-935a-4211-8c36-d6425e32c4ef · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.408489Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8e7a76c7-558a-4681-a787-be7a6ca2955d · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.413021Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1a169b84-339b-4214-bb29-5e8bb5785f84 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 41
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-05T13:23:12.417148Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0506e1b9-7241-4cce-8235-8c88bb399d79 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 42
- Resolution
- verified exact
- doi, observed 2026-08-05T13:23:12.963237Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ad6c1d17-6069-41d1-b91c-34743e4b2240 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.426446Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dddcdfe0-53a2-4af3-b2e6-eddc6fc38bcf · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.430610Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c9eacf66-ff74-4621-8a40-b77d9d6400bc · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.435303Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 35be8643-7611-4d3a-8605-7b1016b3a0a7 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.439994Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cb6e1665-9ed7-45b5-a88b-ca16484e8d2a · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.444473Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 79fbd036-0b15-47a1-a85d-8babe11dabaa · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.448754Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 38d23bd9-bd2e-47b9-a0fc-327cc59c9ea9 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.452751Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bb3d8f50-cc11-4c1d-955d-db09b08ad485 · outbound
This paper cites Towards Foundational AI Models for Additive Manufacturing: Language Models for G-Code Debugging, Manipulation, and Comprehension.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Towards Foundational AI Models for Additive Manufacturing: Language Models for G-Code Debugging, Manipulation, and Comprehension
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.456679Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8fcb5b13-e936-4e4b-9b5e-e09b01689e04 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.461368Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 65a8bbb0-880c-4202-a8bd-f61c093b27ad · outbound
This paper cites Kenny Jones, David Charatan, Paul Guerrero, Niloy J.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Kenny Jones, David Charatan, Paul Guerrero, Niloy J
Reference 52
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-05T13:23:12.466136Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0e781922-83c7-47b4-8d65-8699224c0fad · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.470278Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1bb182f7-90e3-4585-bb15-57fec1b68a38 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.474267Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8e9fa209-d136-4da6-872b-a7c71d7603d8 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.478548Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 132382fd-f683-402a-a822-bc9b117902be · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.482449Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 751b0968-342c-4e02-917b-38ea997d04f0 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 57
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-05T13:23:13.991143Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3c9d4af8-52b9-449d-916a-f1831324f17f · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.490806Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 37cbebf8-b52f-455e-8436-1e7801a92305 · outbound
This paper cites Buswell, Philip J.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Buswell, Philip J
Reference 59
- Resolution
- verified exact
- doi, observed 2026-08-05T13:23:12.937654Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 92712da6-c474-4f36-b241-17cf6b1d48e7 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.499776Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 085caed7-d5ac-49cf-a253-c787e967d97e · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.503785Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a7566bb2-ce1f-4335-905b-146bc29e55e0 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 62
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.507748Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f8d07dea-3db3-49e8-9b00-73b85c31a27b · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.511759Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c332dc3b-ee26-4c17-a295-8bbee6d85b49 · outbound
This paper cites How Can Large Language Models Help Humans in Design and Manufacturing?.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools How Can Large Language Models Help Humans in Design and Manufacturing?
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.516193Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e35f7451-da48-4539-8b35-152b170f7e54 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.521241Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2f47a92b-63c1-461e-a136-68af366c309a · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.525532Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a1948542-9a88-47ee-b7ce-83786e14b892 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.529880Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 037d7c2d-8660-4757-92ea-f69eb34978e2 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 68
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.534246Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b61bff32-8b2d-4536-ad83-f4440f0300fa · outbound
This paper cites H T Baharudin, C N A Jaafar, and M I S Ismail.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools H T Baharudin, C N A Jaafar, and M I S Ismail
Reference 69
- Resolution
- verified exact
- doi, observed 2026-08-05T13:23:12.912762Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 86904c10-9b0a-44d7-83e4-7293ab573368 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 70
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.543359Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0f04f7a7-20f0-4823-9def-f8caedcf2fa5 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 71
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.248846Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 62a13353-05d5-4d69-bb4a-9864a92146ae · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 72
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-05T13:23:12.551726Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1712d728-510e-4fce-861a-502f7f9b5230 · outbound
This paper cites Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, and Zachary Tatlock.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, and Zachary Tatlock
Reference 73
- Resolution
- verified exact
- doi, observed 2026-08-05T13:23:12.887513Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 70761831-6e47-4a25-b26a-c97efce07e3b · outbound
This paper cites Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock
Reference 74
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.559872Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 40811ee5-4218-43a6-90c7-03e26580c934 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 75
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.235011Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation cf375008-6e39-4a08-b321-407919cfde23 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 76
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.221198Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ea38a3de-f36a-4605-9695-e0e70e0cfa80 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 77
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.206978Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 35423a7a-2306-423a-b7b9-bfd0e8094ca6 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 78
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.192705Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7a340c76-4458-4802-a81b-0828180f4c2d · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 79
- Resolution
- verified exact
- doi, observed 2026-08-05T13:23:12.861123Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d0dc89c7-1b3d-46be-acef-ccedc67a8ae4 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 80
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.178268Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a8e06c57-5bb4-40f2-a0ef-983a538adfa3 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 81
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.164600Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b68126c8-ca8d-4570-9139-9548faded037 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 82
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.150704Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e04cc78b-3f6b-42d9-8443-66a1ad1dd1d6 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 83
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.137119Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3d269774-af3f-4fee-82d4-0d657913176e · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 84
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.123388Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 10bc5a51-dd0c-4e46-9f4a-50d36bb91947 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 85
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.109212Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8ef2b1d1-f947-4386-95ee-da9ac6bb4649 · outbound
This paper cites CSGNet: Neural Shape Parser for Constructive Solid Geometry.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools CSGNet: Neural Shape Parser for Constructive Solid Geometry
Reference 86
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.610896Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a9ff4e16-1d7d-4dd9-a9b0-53681b830dbc · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 87
- Resolution
- verified exact
- doi, observed 2026-08-05T13:23:12.845974Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a19ebb8b-9736-4a89-ae96-da94a8ab776f · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 88
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.095331Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8af34366-e0ef-4cf0-9487-da6f776fdb3e · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 89
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.081505Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 11f8e662-821a-4f95-bc0a-9937c261243c · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 90
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.067612Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9eb30022-5290-4a62-adb5-70f11fdbdef1 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 91
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.053795Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation dc321563-96fb-4626-9a43-2f2f931714aa · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 92
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.040016Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f5a9a381-7a3e-49dc-bf3e-5fed47121918 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 93
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.025706Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b5259fa4-c0bf-48d4-b772-c3935f43f84f · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 94
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:15.012320Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 480e46e9-e610-46d4-88a1-4d435ea99584 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 95
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T13:23:12.649432Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 587e50bf-1f86-4253-bfa5-34808ae8035d · outbound
This paper cites Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver
Reference 96
- Resolution
- verified exact
- local_arxiv, observed 2026-08-05T13:23:13.743629Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 66d8a76e-6e54-429d-bf41-b8f95aa2a392 · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 97
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:14.998723Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7ed120ea-5ac0-4a77-907c-aa648ab78c2e · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 98
- Resolution
- verified exact
- doi, observed 2026-08-05T13:23:12.830492Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d330c9c3-d7e8-4d8d-9049-48f1ce41d0a0 · outbound
This paper cites Freeman, Joshua B.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Freeman, Joshua B
Reference 99
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T13:23:14.984453Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a3a3259b-3b1b-4abb-b675-c0ea8feb6fdc · outbound
This paper cites an unresolved cited work.
Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools Unresolved cited work
Reference 100
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T13:23:14.956755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Pith citing papers
No inbound Pith citation observations are available.