{"as_of":"2026-08-06T13:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:70c982ee07bb396bc3c4233c8a2e4e142f7bd9fdb1d7cf7c05384c3f3ee3bea6","coverage":[{"denominator":41,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":41,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T15:55:09.238676Z","state":"measured"},{"denominator":41,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":41,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2604.10989/citation-record","integrity":"/paper/2604.10989/integrity","json":"/paper/2604.10989/citation-record.json","paper":"/paper/2604.10989"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"81636a4b-72c2-40f8-aefa-dcfc7dbfe6f3","year":2023},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:2f903bcce9920473580ed8c4c16b013b3cfb8d4d754d23c2e2068e554dece21e","observation_id":"f7dcdfed-47e9-4fb3-9fd4-44d62d31b91b","resolution":{"observed_at":"2026-05-17T17:55:02.934962Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Agnetis, J.-C","venue":null,"work_id":"f1726b9b-61a6-4ac4-b0f7-820510ece541","year":2025},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:efd9c49c7b13aeb4f0ac3480c23625232aee442fbbe27f85a25ae5ea27f0bd32","observation_id":"ae6025b8-f350-4d5d-a1ba-0dc61db31557","resolution":{"observed_at":"2026-05-17T17:55:02.928165Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Ouelhadj, S","venue":null,"work_id":"0d5bef8d-c3ab-4819-984c-5234a2617a4b","year":2009},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:eb744cefe41488cfa162951a04fadeebc6c77f2225865d0c51b50445493501f3","observation_id":"ded6fa07-b7d6-4b15-b72e-5d1c00bd5e39","resolution":{"observed_at":"2026-05-17T17:55:02.945487Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"fde738fc-c60d-4c53-aa7c-4ce1ae105114","year":2025},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:c04f173ea56166d07136fbaec7616b95a0b9844d891b008af01eb315bc3c0053","observation_id":"6136a108-8bb3-4d5a-8ae8-8dba4e0c6fa4","resolution":{"observed_at":"2026-05-17T17:55:02.918263Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"2b157397-e9f4-4768-ad4c-207c7e28d618","year":2024},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:43c546a9b919af2e40a9f00e2adfaa78093c3b0f5e761bea62108e39a1d9482e","observation_id":"b5c6792f-7961-4294-b698-22ec5c882dd2","resolution":{"observed_at":"2026-05-17T17:55:02.897510Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"793a5b7d-1589-4abb-beec-fae7aa4cc60b","year":2010},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:b2de7b6022303370d34c2cd58cd91b6bf1a0c2064939c36934ea0fdc334e9ac2","observation_id":"f121bea9-9dea-4b6c-8bca-509ce701c0c9","resolution":{"observed_at":"2026-05-17T17:55:02.958986Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"ea8afe98-7a54-4660-8a3f-ef2c257f89c9","year":1998},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:0afbdcb9819f623ae7ebf0d456add06ffd60d32da516fefdbed490042e08d0ee","observation_id":"c4de2e35-53c9-4476-9b49-8fbbbec161cc","resolution":{"observed_at":"2026-05-17T17:55:02.952067Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d635c557-45eb-4f08-8b23-1d799f3b03cb","year":1994},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:9a10371cc07c4000a6259d1dd9e542de3424928fa07b6f2ba2ce704b53f2d558","observation_id":"5c0fc693-e318-4f5b-baae-2e6f3854fe7b","resolution":{"observed_at":"2026-05-17T17:55:02.901099Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Roman, E","venue":null,"work_id":"34a96c44-2cf2-41e3-9af4-2decfe62e003","year":2023},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:3164f9c5888cb554f4550e9b9c71ddf57f3c1e5524d4378b03095ee08711f03d","observation_id":"813900c4-4079-4c9f-b88f-3837f2122259","resolution":{"observed_at":"2026-05-17T17:55:02.914340Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Ghaleb, H","venue":null,"work_id":"0fec07f3-0065-4fe0-a29f-77c1c41aa961","year":2020},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:ada9050dab79fee21cb1af5361bf38518ca455f6922780f3001d0f1533f3385c","observation_id":"7ca15cb4-cda6-480b-aa3b-0645a14571f9","resolution":{"observed_at":"2026-05-17T17:55:02.993004Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Herroelen, R","venue":null,"work_id":"3f151c6e-11e4-41d7-b2a4-983112cdcec3","year":2005},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:17d0260b0be40c886cc8225ae65e51a3a63918b8d96bff3f09aaf2e99a8a8ada","observation_id":"ecf44485-a4d8-4dc4-bc21-ea381679bf06","resolution":{"observed_at":"2026-05-17T17:55:02.996502Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"44ae1eb3-b9f9-44e0-a982-b2a64efcc3f9","year":2003},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:50ac5ec1572c37d4a4bc702df03baced3cfe8dfc86496d1ba0bbaad589b4dbe9","observation_id":"527edf9d-62e3-4814-9f8d-e1baa2f77dd0","resolution":{"observed_at":"2026-05-17T17:55:02.894322Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.06993","last_updated":"2024-08-13T15:53:58Z","snapshot_observed_at":"2026-07-06T19:00:13.547242Z","submitted_at":"2024-08-13T15:53:58Z","title":"LLMs can Schedule","version":1},"cited_work":{"arxiv_id":"2408.06993","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2408.06993","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Llms can schedule","venue":null,"work_id":"244edbc5-745e-45e4-94f0-59a15b736466","year":2024},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"cited_paper":"/paper/2408.06993","citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:39f4f7488481cf4890594b4e3bcca9c826d02c93b61a821496825ab681bb7f3f","observation_id":"ecc70ed2-39f8-4333-890b-2674e5dada3d","resolution":{"observed_at":"2026-05-11T09:36:08.885485Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"9041bede-68f2-44c1-9c97-27aba4d590aa","year":2025},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:5a6bca73bedf28ea6d6effe1caecedcbb4583dbc889d869e0adcd98ef1ec22e3","observation_id":"bd7bdc30-a752-4a09-aa69-de9181ef1624","resolution":{"observed_at":"2026-05-17T17:55:02.904251Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"21ffacaf-b2cf-4d98-b4e8-791ba0fcfa0f","year":2025},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:92cd987048fecf0708bb46a2c2c2e5364ffc7f34424421c32b5c6b82bff99c5e","observation_id":"f4f9abc0-7371-473d-9dad-42a96c1b8117","resolution":{"observed_at":"2026-05-17T17:55:02.969050Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"7338–7346","venue":null,"work_id":"09eeb04c-e1a5-4caa-a000-a9a959f42501","year":2025},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:757b35ab1b1ac11684a818340a0569e0d6558bce1df4cbf2fda23d7b5a1d8c17","observation_id":"e81f8e29-c78d-419c-893d-302e81ba1928","resolution":{"observed_at":"2026-05-17T17:55:02.910944Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"4d31d9e5-1e30-4a3e-804c-fae6a7e3d96c","year":2025},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:9905aede1f9930b5d5cd42dffdc6f03a35850b1b12c48ef254f9129773a017fd","observation_id":"05e6448e-bd0d-4cdb-b533-e20bfc2ddf74","resolution":{"observed_at":"2026-05-17T17:55:02.972525Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"69911262-a1ba-4d5d-b4bc-8ca7adc8d93a","year":2020},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:3501aed038e9b942ebcff5f30b99aed95c1e5e75f783752987591e4d28156067","observation_id":"8587d5fb-9e99-4dbd-98ea-222d92a19b23","resolution":{"observed_at":"2026-05-17T17:55:02.938422Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"40a83cee-d6f7-4275-b9bc-d0cb671f50f3","year":2022},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:bf30be34bafde39ac5dc06c58074e766f1fba5b18ee6f6bb958b8103923f5102","observation_id":"c3bd69d6-4358-4043-9604-6bab5ddcd096","resolution":{"observed_at":"2026-05-17T17:55:02.962282Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Kojima, S","venue":null,"work_id":"da92474c-008b-4590-95a5-a56255278e3c","year":2022},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:c8ed18ee6dddb2a1fa657e005a033792bf1b8324e65bf4099b495377ff8303a9","observation_id":"8d0d3da9-54a8-49a0-9820-ba50234c86e8","resolution":{"observed_at":"2026-05-17T17:55:02.965703Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"fa5590c0-3c2e-4945-9257-eb7351196f4a","year":2025},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:2e31d7f66e8aed3b7928694345a100b284de7f9106aed9734e80e7a235e2b5d8","observation_id":"1514c0fb-e68c-42cf-8744-5c1731b5a4eb","resolution":{"observed_at":"2026-05-17T17:55:02.955333Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Demeulemeester, W","venue":null,"work_id":"ae17a993-d442-4469-96a1-917a7001cc09","year":2009},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:aceda2968c12de65378166f4bdb0231c87e0422d4a1ee194053a9db4f8d68b0d","observation_id":"93771da6-28e3-4e1c-84ed-9f96e2ecde84","resolution":{"observed_at":"2026-05-17T17:55:02.976033Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Portoleau, C","venue":null,"work_id":"c5f43750-6fc8-4bce-b5d3-0d8850484a75","year":2020},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:3f53879ac25e115c93944c95b6b3f91f2fd1df1a59a278562df1056332297c5b","observation_id":"f52fb5bc-16b7-474d-b52a-ac04cb730edf","resolution":{"observed_at":"2026-05-17T17:55:02.989712Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Herroelen, R","venue":null,"work_id":"eb301e9a-b2c8-4632-b681-7f16d44bbe75","year":2004},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:a71195a1d6e67a9f5f3c4c7e1b51c4abf37baa0061879d37fcd1e64687562bd3","observation_id":"95540f37-f62e-4f84-a143-2863cd5dd4a5","resolution":{"observed_at":"2026-05-17T17:55:02.986488Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8f80a7ce-2e6d-48c5-bdd2-919c72a7f32d","year":2018},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:8973bc9c053165da27d5cefa4b47bc294fc9672d50db29d0d81af1e43553689f","observation_id":"d7fec6fd-ca8c-4c05-8861-cfafd1c7c7ca","resolution":{"observed_at":"2026-05-17T17:55:02.941904Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Jędrzejowicz, E","venue":null,"work_id":"4d317a15-64fb-4932-b4cf-aa6ce3e09b4a","year":2014},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:ff2ad8dc9b1e418701e13fd7f522dfd0de2901dcb84304652b0ad70ca5b6add4","observation_id":"59866bd8-d615-4841-833b-8c12d417eab2","resolution":{"observed_at":"2026-05-17T17:55:02.921680Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"3542503e-5f22-4c35-92db-23d338f137fe","year":2025},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:faba9e2a599ed04de6ca44795693650a84ce2a87552127b778acb1f11280db11","observation_id":"8a40a235-0969-479b-ba5a-b0adb3a4cf96","resolution":{"observed_at":"2026-05-17T17:55:02.979589Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"4939f996-571b-4521-836d-e501de82a043","year":2024},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:b769c7aab68e88f882c60ff3ca06a9b22ff476aacd58bd4166f08ded0224f0d2","observation_id":"62fa5551-f819-4e2f-9600-2b37fee5e9fa","resolution":{"observed_at":"2026-05-17T17:55:02.983100Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.14880","last_updated":"2025-02-14T07:46:49Z","snapshot_observed_at":"2026-07-06T20:40:01.776087Z","submitted_at":"2025-02-14T07:46:49Z","title":"KKA: Improving Vision Anomaly Detection through Anomaly-related Knowledge from Large Language Models","version":1},"cited_work":{"arxiv_id":"2502.14880","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.14880","snapshot_observed_at":"2026-06-30T19:55:01.102139Z","title":null,"venue":null,"work_id":"78a9fd72-7230-440f-838c-863634805b31","year":2025},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"cited_paper":"/paper/2502.14880","citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:37d7e8b08caf9a999eab0889364db2a9b809e4d529afcd852a7628f420b65197","observation_id":"99d96d24-5781-44c3-a9cf-f7a246943c45","resolution":{"observed_at":"2026-05-11T09:36:08.492365Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Huang, J","venue":null,"work_id":"5df6a99e-3b10-4bd7-a1ab-d8da0a68c9d5","year":2026},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:89b76b5e0555c5ee0fe6879e701cf261e30704777bf4ca5c73736b003184588b","observation_id":"47f98280-bd79-49f6-806b-a6eea8ee59d1","resolution":{"observed_at":"2026-05-17T17:55:02.925040Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":"2107.03374","doi":"10.48550/arxiv.2107.03374","metadata_source":"pith","pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Evaluating Large Language Models Trained on Code","venue":"cs.LG","work_id":"042493e9-b26f-4b4e-bbde-382072ca9b08","year":2021},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:6096d63aab11c3fca0b47dd546a40a496a13d92ec268fc02e7abe86e22904f03","observation_id":"2e5a87d7-1c45-437e-9f6b-753cfd610472","resolution":{"observed_at":"2026-05-11T09:36:08.627356Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-01T08:08:23.404839+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-01T08:08:23.404839+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.12950","last_updated":"2024-01-31T19:47:26Z","snapshot_observed_at":"2026-07-06T16:10:07.931347Z","submitted_at":"2023-08-24T17:39:13Z","title":"Code Llama: Open Foundation Models for Code","version":3},"cited_work":{"arxiv_id":"2308.12950","doi":"10.48550/arxiv.2308.12950","metadata_source":"pith","pith_arxiv_id":"2308.12950","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Code Llama: Open Foundation Models for Code","venue":"cs.CL","work_id":"e73bffa4-7620-47ac-9327-259a60db52ca","year":2023},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"cited_paper":"/paper/2308.12950","citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:d8a1a935edf0d37e9413fa5edc272c6d21498243aaece4a423c2999efe14aac7","observation_id":"c6748496-8b24-41d1-994c-5726af81341b","resolution":{"observed_at":"2026-05-11T09:36:08.175963Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-09T08:48:36.742994+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T08:48:36.742994+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.01877","last_updated":"2025-03-27T10:38:45Z","snapshot_observed_at":"2026-07-06T20:45:55.263034Z","submitted_at":"2025-02-26T15:20:01Z","title":"Starjob: Dataset for LLM-Driven Job Shop Scheduling","version":2},"cited_work":{"arxiv_id":"2503.01877","doi":"10.48550/arxiv.2503.01877","metadata_source":"arxiv_reference","pith_arxiv_id":"2503.01877","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Abgaryan, T","venue":"ArXiv.org","work_id":"6b643034-a841-4bc8-be87-04f465f86aa7","year":2025},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"cited_paper":"/paper/2503.01877","citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:1248c73068a38bc5a587b134ef2b8533811b894716a513cd682cf5ae438ac0be","observation_id":"f60ef3ed-3dd2-4a29-9ebf-88b383f5965f","resolution":{"observed_at":"2026-05-11T09:36:08.696194Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"bf722121-3cf5-4007-973b-76112b9c9a9f","year":2026},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:e21c56abde314d0fff736d172f32d76dc1c5239c3e9ebda1137e18119f6e110c","observation_id":"5b36706c-b43e-41a9-862a-100e148d0fb1","resolution":{"observed_at":"2026-05-17T17:55:02.907625Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2508.01724","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-30T03:04:15.290946Z","title":"Reflecsched: Solving dynamic flexible job-shop scheduling via llm-powered hierarchical reflection,","venue":null,"work_id":"2fd5705f-7dd5-43bd-ba0a-31ad608a6e15","year":2025},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:f64d8b923d1d2baaf42b19a5ac0204a2bf3ae7a1d85d1feda7e93087a4842cde","observation_id":"96323f90-ddf2-44fc-9f53-2db40f547be6","resolution":{"observed_at":"2026-05-11T09:36:08.235588Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08333","last_updated":"2025-07-08T23:14:43Z","snapshot_observed_at":"2026-07-06T19:01:15.196625Z","submitted_at":"2024-08-14T22:53:07Z","title":"CodeMirage: Hallucinations in Code Generated by Large Language Models","version":2},"cited_work":{"arxiv_id":"2408.08333","doi":"10.48550/arxiv.2408.08333","metadata_source":"arxiv_reference","pith_arxiv_id":"2408.08333","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CodeMirage : Hallucinations in Code Generated by Large Language Models","venue":"arXiv (Cornell University)","work_id":"96928a01-314c-46ba-a923-fa91dde85acc","year":2024},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"cited_paper":"/paper/2408.08333","citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:9f4f442fd2f33ae7126f407e92b05f5265c336097c9c61b0968d0270c76cd653","observation_id":"e22ea999-ebcb-4d0a-bfde-ac3609f22cd2","resolution":{"observed_at":"2026-05-11T09:36:08.987842Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Rodrigues, A","venue":null,"work_id":"8e134ac9-433e-4a2b-8642-59b38f923693","year":2022},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:f452341c95030c0e194f478967d455e662724d96c9fb2b6b7321f7f1e2ed7784","observation_id":"c3dd09e3-c8d8-4f8e-b522-a685053aa7d8","resolution":{"observed_at":"2026-05-17T17:55:02.948767Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5c4845bf-6736-45b1-b977-87e0dfa8dc03","year":2020},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:133665b122ba6ed6abcb7f7622cef55e3d44e7122a6c21e69775b63169b1b83b","observation_id":"a86565a1-79cb-491b-aedd-3b46b02dfc4b","resolution":{"observed_at":"2026-05-17T17:55:02.931633Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.09388","last_updated":"2025-05-14T13:41:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-05-14T13:41:34Z","title":"Qwen3 Technical Report","version":1},"cited_work":{"arxiv_id":"2505.09388","doi":"10.1016/j.aiopen.2022.12","metadata_source":"pith","pith_arxiv_id":"2505.09388","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Qwen3 Technical Report","venue":"cs.CL","work_id":"25a4e30c-1232-48e7-9925-02fa12ba7c9e","year":2025},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:078ae9fafa965906e7bf910f211c6d046019945d4bfc28ed8ef58fc0ad4efca9","observation_id":"e08d39e5-5db7-42f2-a1c6-9e78c30ef95e","resolution":{"observed_at":"2026-05-11T09:36:08.807079Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2512.02556","last_updated":"2025-12-02T09:25:14Z","snapshot_observed_at":"2026-07-31T23:49:25.878472Z","submitted_at":"2025-12-02T09:25:14Z","title":"DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models","version":1},"cited_work":{"arxiv_id":"2512.02556","doi":"10.18653/v1/d18-1512","metadata_source":"pith","pith_arxiv_id":"2512.02556","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models","venue":"cs.CL","work_id":"07c85cc5-4086-4abc-823b-6d0f4ff784d0","year":2025},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"cited_paper":"/paper/2512.02556","citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:9658b2553e5d13d134ed68657c407c271839f69a378376865e6914165f336a1e","observation_id":"0f49b1ae-996b-417a-b919-22b21b97e154","resolution":{"observed_at":"2026-05-11T09:36:08.356350Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.12793","last_updated":"2024-07-30T03:58:11Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-06-18T16:58:21Z","title":"ChatGLM: A Family of Large Language Models from GLM-130B to GLM-4 All Tools","version":2},"cited_work":{"arxiv_id":"2406.12793","doi":"10.48550/arxiv.2406.12793","metadata_source":"pith","pith_arxiv_id":"2406.12793","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ChatGLM: A Family of Large Language Models from GLM-130B to GLM-4 All Tools","venue":"cs.CL","work_id":"de9ce5af-0d8d-4b94-9793-64968d9bc06d","year":2024},"citing_paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-10T15:55:09.238676Z"},"links":{"cited_paper":"/paper/2406.12793","citing_paper":"/paper/2604.10989"},"observation_digest":"sha256:448e5fa2ceb65a8956c8ffa48c8184b4a232a707bf5d6da2e0ea41df42f39f5d","observation_id":"1ddac012-b26a-4d58-8e16-8ec43c138150","resolution":{"observed_at":"2026-05-11T09:36:08.830713Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.10989","last_updated":"2026-04-13T04:47:20Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-07-06T22:59:27.499664Z","submitted_at":"2026-04-13T04:47:20Z","title":"MAFIG: Multi-agent Driven Formal Instruction Generation Framework"},"reference_resolution":{"displayed":41,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":18,"verified_exact":10,"verified_fuzzy":13},"total_outbound_references":41},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"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."}