{"as_of":"2026-08-15T21:35:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:13e0311d7e5cffd1159c4ab245304ae6f2fa0c93bca147510fc3e1268847bb51","coverage":[{"denominator":47,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":47,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T16:20:32.659571Z","state":"measured"},{"denominator":49,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":49,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-30T13:01:20.056454Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-20T10:58:14.448546Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"cited_work":{"arxiv_id":"2508.18675","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.18675","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Requirements development and formalization for reliable code generation: A multi-agent vision","venue":null,"work_id":"aa610361-d945-4506-8dc3-f5cee31538f1","year":2025},"citing_paper":{"arxiv_id":"2605.18747","last_updated":"2026-05-18T17:59:03Z","snapshot_observed_at":"2026-07-06T23:29:33.702647Z","submitted_at":"2026-05-18T17:59:03Z","title":"Code as Agent Harness","version":1},"reference_index":172,"source":"pdf_text","source_observed_at":"2026-05-20T10:54:54.558241Z"},"links":{"cited_paper":"/paper/2508.18675","citing_paper":"/paper/2605.18747"},"observation_digest":"sha256:d7b39f34df1d491e2dc77e66a316be44f7167f4a45e4b14d30332448fafaa307","observation_id":"6ff2af96-17c6-4e3c-91a5-ee2ba17fa787","resolution":{"observed_at":"2026-05-20T10:58:14.450205Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.18675","snapshot_observed_at":"2026-07-30T13:01:20.056454Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.23774","last_updated":"2026-07-26T17:51:23Z","snapshot_observed_at":"2026-08-13T17:39:31.716187Z","submitted_at":"2026-07-26T17:51:23Z","title":"Semantic-Enhanced Automatic Refinement of Architecture Recovery Results Using LLMs","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-07-30T13:01:20.056454Z"},"links":{"cited_paper":"/paper/2508.18675","citing_paper":"/paper/2607.23774"},"observation_digest":"sha256:a55133300f83bc39071f28e7cef648444d57c8399def410997f40b5cfdf286e1","observation_id":"c9f99968-c6e8-4a80-9c7d-c625000477f4","resolution":{"observed_at":"2026-07-30T13:01:20.056454Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2508.18675/citation-record","integrity":"/paper/2508.18675/integrity","json":"/paper/2508.18675/citation-record.json","paper":"/paper/2508.18675"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T16:20:33.063244Z","title":"Logic, arithmetic, and automata,","venue":null,"work_id":"b630390e-676b-4d9f-a40e-1e65098ccf6e","year":1962},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.539526Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:c3971375e3a347841a34d305f459bb65e8d50ad50856aea8a6c51c4adff3611c","observation_id":"ad93fd90-4fa4-421f-a8f6-5ca7b7c051f9","resolution":{"observed_at":"2026-08-05T16:20:33.066021Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.02954","last_updated":"2024-01-05T18:59:13Z","snapshot_observed_at":"2026-08-14T19:47:04.330126Z","submitted_at":"2024-01-05T18:59:13Z","title":"DeepSeek LLM: Scaling Open-Source Language Models with Longtermism","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.02954","snapshot_observed_at":"2026-08-05T16:20:32.542390Z","title":"Deepseek llm: Scaling open-source language models with longtermism,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.542390Z"},"links":{"cited_paper":"/paper/2401.02954","citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:267a4e0cd51c3df7ff62edc47e9516567dfee04313bbabd788c68d1c154214ac","observation_id":"1c08dba0-de40-435f-bee5-23fdad264595","resolution":{"observed_at":"2026-08-05T16:20:32.542390Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-05T16:20:32.545396Z","title":"Gpt-4 technical report,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.545396Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:c46d0fb1899d7698182e7d706e07ca9785dd15f5cdd2a5db0472bce58df3773b","observation_id":"5cf1a088-7589-482a-9f2c-7f1b51bb3834","resolution":{"observed_at":"2026-08-05T16:20:32.545396Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.00515","last_updated":"2024-11-10T22:02:27Z","snapshot_observed_at":"2026-08-14T16:40:35.729198Z","submitted_at":"2024-06-01T17:48:15Z","title":"A Survey on Large Language Models for Code Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.00515","snapshot_observed_at":"2026-08-05T16:20:32.548475Z","title":"A survey on large language models for code generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.548475Z"},"links":{"cited_paper":"/paper/2406.00515","citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:69ba51c4249566dec158c47daebb1d547a0519e8c95fc0e143b833389ed33756","observation_id":"4d33f548-b3ff-4f91-ba3e-0937b3d6bc3c","resolution":{"observed_at":"2026-08-05T16:20:32.548475Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.00352","last_updated":"2024-11-01T14:36:52Z","snapshot_observed_at":"2026-08-12T16:02:21.969968Z","submitted_at":"2023-08-01T07:49:10Z","title":"MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.00352","snapshot_observed_at":"2026-08-05T16:20:32.551998Z","title":"Metagpt: Meta programming for multi-agent collaborative framework,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.551998Z"},"links":{"cited_paper":"/paper/2308.00352","citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:0606da9b3e4efa6f849e9d6d1379254f8d7e94efedbd7d38a8aa4557be6314bc","observation_id":"0622d597-20c1-4e2b-a0e4-541a49bf97c9","resolution":{"observed_at":"2026-08-05T16:20:32.551998Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.07924","last_updated":"2024-06-05T13:23:49Z","snapshot_observed_at":"2026-07-06T15:54:28.831510Z","submitted_at":"2023-07-16T02:11:34Z","title":"ChatDev: Communicative Agents for Software Development","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.07924","snapshot_observed_at":"2026-08-05T16:20:32.554835Z","title":"Chatdev: Communicative agents for software development,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.554835Z"},"links":{"cited_paper":"/paper/2307.07924","citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:725c14e51c1f1954b08d692e4d88b1c73cab60e2bb1732a05ceca2894aa8c017","observation_id":"96427c03-8f2b-41f1-9c89-5687763fe5aa","resolution":{"observed_at":"2026-08-05T16:20:32.554835Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T16:20:33.056145Z","title":"Requirements are all you need: From requirements to code with llms,","venue":null,"work_id":"a244f0af-e068-4254-9245-455b1dbec4fb","year":2024},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.557949Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:be3fb75ea7475d0412b06f244e5fa91bf57ef0847e94c236538063aa31f74995","observation_id":"420c6dfd-733d-46d0-a8d3-dcc4b67a04be","resolution":{"observed_at":"2026-08-05T16:20:33.058635Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:33.048902Z","title":"Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation,","venue":null,"work_id":"2c1f0e82-661f-4e55-9a51-d2153d17c8ee","year":2023},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.560452Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:a11243cfe7c3ac70ec62ad2a60098d498ae130b715385f6b405097312dff5a25","observation_id":"bbf95a6c-a584-4045-892f-4ffdb0b0b586","resolution":{"observed_at":"2026-08-05T16:20:33.051592Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:33.040753Z","title":"Formal methods: State of the art and future directions,","venue":null,"work_id":"f0ff3708-dcab-453d-987e-8b239511376c","year":1996},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.562900Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:6a8178d1e5c4761e46ab437df5c798135ef16198053aa14df703acdd8002880a","observation_id":"840a4a80-0c5b-4c0b-bceb-917e35dbf80d","resolution":{"observed_at":"2026-08-05T16:20:33.044260Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:33.032989Z","title":"Formal methods: Practice and experience,","venue":null,"work_id":"e6886afb-23b9-474c-944e-b6ec416c53cb","year":2009},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.565366Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:e7886729476eaf952158db5d1c631c351ff667578a387eb844a369f6197b25f9","observation_id":"125ab2fd-e20c-450f-97e9-a4e740a32335","resolution":{"observed_at":"2026-08-05T16:20:33.036073Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:33.025616Z","title":"Nissanke, Formal Specification: Techniques and Applications","venue":null,"work_id":"7de3e9c4-7beb-4789-a9e2-5e72a19ceba5","year":2012},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.568004Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:8a4e5a8fcb32511bbd8ec905f0cefa1a5253251a89faeccaf171de522ce6e257","observation_id":"b8ded25f-6d9b-4f96-896b-8b3fc4306640","resolution":{"observed_at":"2026-08-05T16:20:33.028286Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:33.017718Z","title":"Envisioning intelligent requirements engineering via knowledge-guided multi-agent collabora- tion,","venue":null,"work_id":"8667e1d1-48ba-4f18-94d5-d79b61f3a91c","year":2025},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.570535Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:bbb01a357b424c627ce8db5799f824b8335fb3fdc3649b972d7274744033b32b","observation_id":"8cd24867-06f0-448e-b8b0-60c6c483c511","resolution":{"observed_at":"2026-08-05T16:20:33.020961Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.16045","last_updated":"2024-04-04T17:36:29Z","snapshot_observed_at":"2026-08-15T10:00:41.517369Z","submitted_at":"2024-04-04T17:36:29Z","title":"Elicitron: An LLM Agent-Based Simulation Framework for Design Requirements Elicitation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.16045","snapshot_observed_at":"2026-08-05T16:20:32.572786Z","title":"Elicitron: An llm agent-based simulation framework for design require- ments elicitation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.572786Z"},"links":{"cited_paper":"/paper/2404.16045","citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:48e13a9c41d984bf351d2aa970b61f2ca01318444ec71f7f098650608cc1d300","observation_id":"dd4a7da1-8909-465d-8887-37be4687d2f9","resolution":{"observed_at":"2026-08-05T16:20:32.572786Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T16:20:33.010383Z","title":null,"venue":null,"work_id":"aed32483-a8d8-4ff1-8a78-3372f1622968","year":2022},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.575647Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:dde0ad719c8bcaab3e9d84ff5b0aa88daaa4c901103fa68f6262ca821f2850c9","observation_id":"0a38a3f7-dde3-416c-a7d2-b9fbbeb38aff","resolution":{"observed_at":"2026-08-05T16:20:33.013046Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2206.01962","last_updated":"2022-10-19T22:12:58Z","snapshot_observed_at":"2026-08-15T10:01:08.994746Z","submitted_at":"2022-06-04T10:49:30Z","title":"Formal Specifications from Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.01962","snapshot_observed_at":"2026-08-05T16:20:32.577861Z","title":"Formal specifications from natural language,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.577861Z"},"links":{"cited_paper":"/paper/2206.01962","citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:96c1deb0c6e5837d820e4218fa801061370148182f47c685d4b03decd1d73afa","observation_id":"9c351f3e-0910-4003-b456-22dad1e9c4e1","resolution":{"observed_at":"2026-08-05T16:20:32.577861Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T16:20:33.001675Z","title":"NL2LTL – a python package for converting natural language (NL) instructions to linear temporal logic (LTL) formulas,","venue":null,"work_id":"0c1ec345-f24b-4e0a-8e51-2b918b2c4f01","year":2023},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.580475Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:2926b30fcc89f2f4045575537ffcc0b43b0763cc7415875d14c062d78891f221","observation_id":"a253ef9f-c4b3-4ca7-a361-8f16f65d3e00","resolution":{"observed_at":"2026-08-05T16:20:33.005394Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.16207","last_updated":"2025-06-08T10:02:25Z","snapshot_observed_at":"2026-08-15T16:19:30.526429Z","submitted_at":"2025-01-27T17:00:56Z","title":"From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.16207","snapshot_observed_at":"2026-08-05T16:20:32.583009Z","title":"From informal to formal–incorporating and evaluating llms on natural language requirements to verifiable formal proofs,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.583009Z"},"links":{"cited_paper":"/paper/2501.16207","citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:e9e1b0d75e0488e4d170d89043a2a546b1d030c33a756a3fb8f86e610c84b6cd","observation_id":"0c4286cf-0ca3-4392-b76a-a3722f795a8c","resolution":{"observed_at":"2026-08-05T16:20:32.583009Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T16:20:32.994224Z","title":"Autoformalization with large language models,","venue":null,"work_id":"aa8fc3b7-0459-4bde-8d50-57836f9551d7","year":2022},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.585573Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:3dfcd6dcfcb72e9c98ea55a6b70ff9a6168b9d4e2d4c1236b430b02b1d28fc02","observation_id":"f422bcde-4832-495a-9a5f-000c2f5464bc","resolution":{"observed_at":"2026-08-05T16:20:32.996954Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T16:20:32.587923Z","title":"Baier and J.-P","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.587923Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:3e0cb7b7d76bedd68fd855b2d6c6e81e646c3047412955f0d88bf28a6b174bb5","observation_id":"4afaea39-8fce-429e-a6cf-cb50520a246e","resolution":{"observed_at":"2026-08-05T16:20:32.587923Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T16:20:32.982769Z","title":null,"venue":null,"work_id":"fc6c527f-5692-4099-b683-8d834333f5fc","year":2016},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.590264Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:71db641b933ab3ad0501b513395a2d0ad081bfac07212826ff7184211b7760be","observation_id":"e520b668-93e4-4bfc-a49b-e6c3da581b84","resolution":{"observed_at":"2026-08-05T16:20:32.986120Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.975730Z","title":"Introduction to static analysis,","venue":null,"work_id":"34b5a078-3f5d-426d-8799-977aa53df530","year":2020},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.592548Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:fb3b41aad0515044969453333010409a08244df4a9933350e7d92648a11b67fb","observation_id":"c8520f79-e00c-46b3-beb7-634e994f2475","resolution":{"observed_at":"2026-08-05T16:20:32.978217Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.968717Z","title":"Software verification using k-induction,","venue":null,"work_id":"d99ec007-16a2-451f-9fbe-13e996856d8d","year":2011},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.594818Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:244e82530321c5a4fb15f2ae8c825eaf7ea2930f44399376f75a8e4917b5e6a0","observation_id":"4584710b-058d-4322-8455-221015c6c551","resolution":{"observed_at":"2026-08-05T16:20:32.971367Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.961273Z","title":"An axiomatic basis for computer programming,","venue":null,"work_id":"fffebe2f-e41c-40c7-854b-4ed0ff15a9df","year":1969},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.597329Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:d455aa01cf1ea2993c304407aac60f55aacbd120fb7bc3963de8a8a267d8c237","observation_id":"273ec009-0bdc-46bf-a151-7eff4f856ca8","resolution":{"observed_at":"2026-08-05T16:20:32.963865Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.954423Z","title":"Rescher and A","venue":null,"work_id":"bb026c1e-7f75-47e4-9dc4-105e4e6b4824","year":2012},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.599736Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:63850ab8f46f250a64aaa8d5f96b2712f6bb969083982a58c5b9217cbf7ab325","observation_id":"38bb5bfa-b51c-4352-ba89-f80e50494aec","resolution":{"observed_at":"2026-08-05T16:20:32.957257Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2025.35308","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T16:20:32.756243Z","title":"Completeness and consistency of tabular requirements: An smt-based verification approach,","venue":null,"work_id":"c8b05e43-a164-4ce5-904e-f758ee4d5afd","year":2025},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.602041Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:cf76cf4492cc389ea41e2e6c1716fb3f8632e87a0294d1e131a21c90ddd1b5e9","observation_id":"11df2116-3cd3-4fad-9876-65a7da9b087e","resolution":{"observed_at":"2026-08-05T16:20:32.761717Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.19736","last_updated":"2024-09-18T15:59:06Z","snapshot_observed_at":"2026-08-15T10:01:11.076972Z","submitted_at":"2024-09-18T15:59:06Z","title":"Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.19736","snapshot_observed_at":"2026-08-05T16:20:32.604982Z","title":"Combining llm code generation with formal specifica- tions and reactive program synthesis,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.604982Z"},"links":{"cited_paper":"/paper/2410.19736","citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:a8c3f103db42a1bd57a4072fb1297222f46630caa162a5590c88ee698cef6dd0","observation_id":"5c3948fe-fbcf-414a-b786-dd009bfd7938","resolution":{"observed_at":"2026-08-05T16:20:32.604982Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T16:20:32.947388Z","title":"Synthe- sis of reactive (1) designs,","venue":null,"work_id":"97343c02-e9e3-4869-a1db-0c8ba8a40fdb","year":2012},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.608241Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:79b6fbc1ae4d4b070f0a27a51c223c6c73ab4a5c1b34e21e243f2fdf8f03e55b","observation_id":"0288f243-beb4-498a-b742-15e3b4d1bb9e","resolution":{"observed_at":"2026-08-05T16:20:32.949844Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.940196Z","title":"Source code summarization in the era of large language models,","venue":null,"work_id":"6b1c26b8-23bd-4943-8c87-01ea5d3ee979","year":2025},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.610631Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:ce6df5b0ca576aee2822f74871f7cdda7202167232bac06e4dce8d082dcca9db","observation_id":"dcd71171-f5e0-48c8-aef6-d5f96ed3a0fd","resolution":{"observed_at":"2026-08-05T16:20:32.943365Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.932537Z","title":"Knowledge-based multi- agent framework for automated software architecture design,","venue":null,"work_id":"925f12ed-1a3d-4b3e-abde-e0e0653fbe76","year":2025},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.613801Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:1f9dcd917de4aa3f4d4c8acf451b09ed57ba4b8cb8da7a5b29966c9c95781629","observation_id":"7ea0824e-d7c3-47c6-9d87-496bd1a3244d","resolution":{"observed_at":"2026-08-05T16:20:32.935214Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.924974Z","title":"Enchanting program specification synthesis by large language models using static analysis and program verification,","venue":null,"work_id":"f7183be2-2bfc-4a85-9604-ba3848511794","year":2024},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.616063Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:9fb1f48ff582372c0a5e99776e85b702f87bb285ffeedfee4976780448cc10ce","observation_id":"37f364f9-f914-4eac-91a6-7a40c3659804","resolution":{"observed_at":"2026-08-05T16:20:32.928125Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-13T04:41:42.869760Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-05T16:20:32.618301Z","title":"Specgen: Automated generation of formal program specifications via large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.618301Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:d0531f71f7ccd81aea8f8f8287cc7c522c14e3c97e430bef14c7d3c1cc541c19","observation_id":"a5e5e872-8d30-49eb-871c-82d678efc226","resolution":{"observed_at":"2026-08-05T16:20:32.618301Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T16:20:32.918453Z","title":"The specification language tla+,","venue":null,"work_id":"fdadcf9c-ebe4-4a50-bfca-3f51f8e9a8e1","year":2008},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.620810Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:74b6fa52a6624e692179377247f425fcafff1d2aad1ada65013562cc438d7f3b","observation_id":"d12a920c-b585-4cba-999e-271f3a718058","resolution":{"observed_at":"2026-08-05T16:20:32.920972Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.911889Z","title":"Baudin, J.-C","venue":null,"work_id":"d7fe5973-ac4e-498e-a128-1c5f19dbc1e8","year":null},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.622969Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:046bd42da97f95a6ff2bb387ada5dd6466905980f14a485a96b336890c83116a","observation_id":"2da40ebd-3617-486b-8b4e-f48918953460","resolution":{"observed_at":"2026-08-05T16:20:32.914553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.905027Z","title":"Bertot and P","venue":null,"work_id":"4b96735e-a1c5-4abe-8b84-3df2662b3dbe","year":2013},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.625536Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:cbc69df3cddf8b74a97daa79f7566fa273e0cf69864293fa9f188da2ce2d8569","observation_id":"e30ae1f4-3f10-420d-8047-7c0fb1ca32d1","resolution":{"observed_at":"2026-08-05T16:20:32.907489Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.897875Z","title":"Cousot, Principles of abstract interpretation","venue":null,"work_id":"96ccb04c-7e92-4f58-a4d8-29ab743f3a15","year":2021},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.627824Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:49dfa296e29f1455b52ae1356d9cab024b5cf0edc5736b8c120212af4b1f912e","observation_id":"4e8b61ad-8051-4d3f-901b-a5350d65d1e9","resolution":{"observed_at":"2026-08-05T16:20:32.900529Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.890215Z","title":"Satisfiability modulo theories,","venue":null,"work_id":"11df3e1e-c0b1-456a-88d0-2890a7edfc02","year":2018},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.630433Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:47ec8df9aae1379f85dcd003232f5300b3a557afb8c539fe6706feb771c04825","observation_id":"ee2145b3-6564-4ef1-ae4a-ee7bd2cbde99","resolution":{"observed_at":"2026-08-05T16:20:32.892938Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.881910Z","title":"The nuxmv symbolic model checker,","venue":null,"work_id":"bc170c87-2787-44ad-b73d-46483801041e","year":2014},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.632646Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:c04058a4c7c1dd91c1a079fc26696c1d399c869c9f6dd0039ddd3763711ee051","observation_id":"6f9d411b-838d-47c9-9121-683343ac1f72","resolution":{"observed_at":"2026-08-05T16:20:32.884612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.874660Z","title":"Correnson, P","venue":null,"work_id":"730833ec-f27c-4494-a7e6-e286e34539ef","year":null},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.635091Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:fbc6dd261ed620d4be2d539e47ed1991f20aa0f26c6486003315603e0495fbbd","observation_id":"014ec287-771e-4d44-9dfb-53e2f9cd6043","resolution":{"observed_at":"2026-08-05T16:20:32.877303Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.866731Z","title":"Cpachecker: A tool for configurable software verification,","venue":null,"work_id":"a8b28122-b2a4-4dbb-afc9-e0c1ee41c787","year":2011},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.637472Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:67f52af57f16b07333d135970b0d91ec3cf5d4838ba5a737a2a802a172195e21","observation_id":"a17d2ae3-f568-44d1-93a1-eb7fdee3dd59","resolution":{"observed_at":"2026-08-05T16:20:32.869729Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.858623Z","title":"Z3: An efficient smt solver,","venue":null,"work_id":"f967e12e-4ee9-4146-aa4a-e4e086e0495a","year":2008},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.639940Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:80b3e97d54d3820776b7f079c7f4ec8633d51eae81dc1d04a0628d96b2b2db97","observation_id":"d7dfb13e-9bb0-467c-9955-1493e4433cb3","resolution":{"observed_at":"2026-08-05T16:20:32.861154Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.851077Z","title":"Lora: Low-rank adaptation of large language models","venue":null,"work_id":"43365a8a-8e06-4f20-abba-78e6a900c89e","year":2022},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.643143Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:76ebf8188e5ce37dc81d9b37d9853aea70f48975be1db58c0d8893c8ee64735f","observation_id":"4f53716d-565d-4b0c-a009-0034afa2feda","resolution":{"observed_at":"2026-08-05T16:20:32.853876Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.843854Z","title":"Chain-of-thought prompting elicits reasoning in large language models,","venue":null,"work_id":"07548ecc-9d66-46d5-a6dc-555bc96f0196","year":2022},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.645462Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:7c7a2f40243aeb508d28c40c86f11147325ddbc7454972385873266b8076593c","observation_id":"e36aceec-ffcd-472d-96d1-4f568f418fd4","resolution":{"observed_at":"2026-08-05T16:20:32.846643Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.836577Z","title":"Retrieval- augmented generation for knowledge-intensive nlp tasks,","venue":null,"work_id":"e8d7fcfe-3fff-4bb3-b7cf-8acf78cd91d2","year":2020},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.648039Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:b66d3c5ba6855450896e7daa8342625bbc482a7caa5f2636cd7856fa6505ff72","observation_id":"5f9b4c44-e54e-4f39-9659-082188b8fc24","resolution":{"observed_at":"2026-08-05T16:20:32.839346Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T16:20:32.651770Z","title":"The temporal logic of programs,","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.651770Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:ff7f18e1aef9958fc39bc7c932ac49b7759538cbf8fe6cb7c65e508ad6ebfdeb","observation_id":"18d07ca1-5142-42cb-9765-5b809ab2d4ae","resolution":{"observed_at":"2026-08-05T16:20:32.651770Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T16:20:32.825650Z","title":"Acsl: Ansi/iso c specification,","venue":null,"work_id":"2ab7e654-c203-4e48-9f8c-8d0d4f8912c3","year":2021},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.654816Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:2f2e7c855d5d312732abc7cdb91167a85056cf4bc33ab149e765474474731ee1","observation_id":"c425a171-afe0-4f0e-9d8a-fcbb5f8525de","resolution":{"observed_at":"2026-08-05T16:20:32.828527Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.818225Z","title":"Nusmv 2: An opensource tool for symbolic model checking,","venue":null,"work_id":"d0ed938a-87a5-4d00-b1ce-73906667c8e1","year":2002},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.657083Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:7fae1bfd08ee479a10fd7cb6fa92266a2518da268ad0048bef0fd81f97a6def6","observation_id":"3dbdd73f-4107-4848-9b29-1309b4521b63","resolution":{"observed_at":"2026-08-05T16:20:32.820956Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-05T16:20:32.810944Z","title":"Frama-c: A software analysis perspective,","venue":null,"work_id":"494db858-a78b-4872-b02b-362143ac143e","year":2015},"citing_paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-05T16:20:32.659571Z"},"links":{"citing_paper":"/paper/2508.18675"},"observation_digest":"sha256:7843f9f69838bd059fe334b969320d15f5ad453a6493dcfce3fce38a9e9b0a2d","observation_id":"8d131c0f-8f20-4a93-ad27-5c9dd41dd218","resolution":{"observed_at":"2026-08-05T16:20:32.813655Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.18675","last_updated":"2025-08-26T04:45:04Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-15T10:00:52.041337Z","submitted_at":"2025-08-26T04:45:04Z","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision"},"reference_resolution":{"displayed":47,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":14,"verified_exact":0,"verified_fuzzy":32},"total_outbound_references":47},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 2 inbound Pith citation observations for arXiv:2508.18675."}