Paper Citation Record · LEDGER

MAFIG: Multi-agent Driven Formal Instruction Generation Framework

As of 6 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 0 inbound Pith citation observations for arXiv:2604.10989.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2604.10989 v1

Coverage vector

measured 41 of 41 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-10T15:55:09.238676Z

measured 41 of 41 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

41 of 41 outbound references displayed

verified exact10
verified fuzzy13
unresolved18
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f7dcdfed-47e9-4fb3-9fd4-44d62d31b91b · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.934962Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation ae6025b8-f350-4d5d-a1ba-0dc61db31557 · outbound

This paper cites Agnetis, J.-C.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Agnetis, J.-C

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T17:55:02.928165Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation ded6fa07-b7d6-4b15-b72e-5d1c00bd5e39 · outbound

This paper cites Ouelhadj, S.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Ouelhadj, S

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T17:55:02.945487Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 6136a108-8bb3-4d5a-8ae8-8dba4e0c6fa4 · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.918263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation b5c6792f-7961-4294-b698-22ec5c882dd2 · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.897510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation f121bea9-9dea-4b6c-8bca-509ce701c0c9 · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.958986Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation c4de2e35-53c9-4476-9b49-8fbbbec161cc · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.952067Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 5c0fc693-e318-4f5b-baae-2e6f3854fe7b · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.901099Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 813900c4-4079-4c9f-b88f-3837f2122259 · outbound

This paper cites Roman, E.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Roman, E

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T17:55:02.914340Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 7ca15cb4-cda6-480b-aa3b-0645a14571f9 · outbound

This paper cites Ghaleb, H.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Ghaleb, H

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T17:55:02.993004Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation ecf44485-a4d8-4dc4-bc21-ea381679bf06 · outbound

This paper cites Herroelen, R.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Herroelen, R

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T17:55:02.996502Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 527edf9d-62e3-4814-9f8d-e1baa2f77dd0 · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.894322Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation ecc70ed2-39f8-4333-890b-2674e5dada3d · outbound

This paper cites LLMs can Schedule.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework LLMs can Schedule

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-05-11T09:36:08.885485Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation bd7bdc30-a752-4a09-aa69-de9181ef1624 · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.904251Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation f4f9abc0-7371-473d-9dad-42a96c1b8117 · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.969050Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation e81f8e29-c78d-419c-893d-302e81ba1928 · outbound

This paper cites 7338–7346.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework 7338–7346

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T17:55:02.910944Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 05e6448e-bd0d-4cdb-b533-e20bfc2ddf74 · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.972525Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 8587d5fb-9e99-4dbd-98ea-222d92a19b23 · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.938422Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation c3bd69d6-4358-4043-9604-6bab5ddcd096 · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.962282Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 8d0d3da9-54a8-49a0-9820-ba50234c86e8 · outbound

This paper cites Kojima, S.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Kojima, S

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T17:55:02.965703Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 1514c0fb-e68c-42cf-8744-5c1731b5a4eb · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.955333Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 93771da6-28e3-4e1c-84ed-9f96e2ecde84 · outbound

This paper cites Demeulemeester, W.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Demeulemeester, W

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T17:55:02.976033Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation f52fb5bc-16b7-474d-b52a-ac04cb730edf · outbound

This paper cites Portoleau, C.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Portoleau, C

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T17:55:02.989712Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 95540f37-f62e-4f84-a143-2863cd5dd4a5 · outbound

This paper cites Herroelen, R.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Herroelen, R

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T17:55:02.986488Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation d7fec6fd-ca8c-4c05-8861-cfafd1c7c7ca · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.941904Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 59866bd8-d615-4841-833b-8c12d417eab2 · outbound

This paper cites Jędrzejowicz, E.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Jędrzejowicz, E

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T17:55:02.921680Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 8a40a235-0969-479b-ba5a-b0adb3a4cf96 · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.979589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 62fa5551-f819-4e2f-9600-2b37fee5e9fa · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.983100Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 99d96d24-5781-44c3-a9cf-f7a246943c45 · outbound

This paper cites KKA: Improving Vision Anomaly Detection through Anomaly-related Knowledge from Large Language Models.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework KKA: Improving Vision Anomaly Detection through Anomaly-related Knowledge from Large Language Models

Reference 29

Resolution: verified exact; arxiv_id, observed 2026-05-11T09:36:08.492365Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 47f98280-bd79-49f6-806b-a6eea8ee59d1 · outbound

This paper cites Huang, J.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Huang, J

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T17:55:02.925040Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 2e5a87d7-1c45-437e-9f6b-753cfd610472 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Evaluating Large Language Models Trained on Code

Reference 31

Resolution: verified exact; local_arxiv, observed 2026-05-11T09:36:08.627356Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation c6748496-8b24-41d1-994c-5726af81341b · outbound

This paper cites Code Llama: Open Foundation Models for Code.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Code Llama: Open Foundation Models for Code

Reference 32

Resolution: verified exact; local_arxiv, observed 2026-05-11T09:36:08.175963Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation f60ef3ed-3dd2-4a29-9ebf-88b383f5965f · outbound

This paper cites Starjob: Dataset for LLM-Driven Job Shop Scheduling.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Starjob: Dataset for LLM-Driven Job Shop Scheduling

Reference 33

Resolution: verified exact; arxiv_id, observed 2026-05-11T09:36:08.696194Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 5b36706c-b43e-41a9-862a-100e148d0fb1 · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.907625Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 96323f90-ddf2-44fc-9f53-2db40f547be6 · outbound

This paper cites Reflecsched: Solving dynamic flexible job-shop scheduling via llm-powered hierarchical reflection,.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Reflecsched: Solving dynamic flexible job-shop scheduling via llm-powered hierarchical reflection,

Reference 35

Resolution: verified exact; arxiv_id, observed 2026-05-11T09:36:08.235588Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation e22ea999-ebcb-4d0a-bfde-ac3609f22cd2 · outbound

This paper cites CodeMirage: Hallucinations in Code Generated by Large Language Models.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework CodeMirage: Hallucinations in Code Generated by Large Language Models

Reference 36

Resolution: verified exact; arxiv_id, observed 2026-05-11T09:36:08.987842Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation c3dd09e3-c8d8-4f8e-b522-a685053aa7d8 · outbound

This paper cites Rodrigues, A.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Rodrigues, A

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T17:55:02.948767Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation a86565a1-79cb-491b-aedd-3b46b02dfc4b · outbound

This paper cites an unresolved cited work.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-05-17T17:55:02.931633Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation e08d39e5-5db7-42f2-a1c6-9e78c30ef95e · outbound

This paper cites Qwen3 Technical Report.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework Qwen3 Technical Report

Reference 39

Resolution: verified exact; local_arxiv, observed 2026-05-11T09:36:08.807079Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 0f49b1ae-996b-417a-b919-22b21b97e154 · outbound

This paper cites DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models

Reference 40

Resolution: verified exact; local_arxiv, observed 2026-05-11T09:36:08.356350Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 1ddac012-b26a-4d58-8e16-8ec43c138150 · outbound

This paper cites ChatGLM: A Family of Large Language Models from GLM-130B to GLM-4 All Tools.

MAFIG: Multi-agent Driven Formal Instruction Generation Framework ChatGLM: A Family of Large Language Models from GLM-130B to GLM-4 All Tools

Reference 41

Resolution: verified exact; local_arxiv, observed 2026-05-11T09:36:08.830713Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Pith citing papers

No inbound Pith citation observations are available.