{"as_of":"2026-08-07T21:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:be79b479bb29c8fe219032d8c824bf05d9e47d4f898c61545b2a87e3d4e14471","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-07T06:34:17.273281+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-05T16:20:30.274030Z","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:591e088c40937f6031e7c281d15401987fd7f4c09f526c645901c7930879ebb7","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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-06T00:46:06.115359Z","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:d1f314e6c51fa6f16fa13a4fa284ec4a1b2a9e531ab7d8180175ba1daceae6b4","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-05T16:20:30.274030Z","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:113b3e068bc13662e2500ac4f21a2f8d55a03ce13ea7bae5645f575329b23824","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-02T13:11:16.882565Z","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-05T16:20:30.274030Z","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:ff0dd91e7cb0b4635a026787bddaa3551df00fbdfcc4d0d224e59883819807d3","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-05T16:20:30.274030Z","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:2b4bc3aa3b31e7a1263b35837b8235e6ce5f502c2b8d157567c3789fa9c3005d","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-07-29T20:40:25.374189Z","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-05T16:20:30.274030Z","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:be5782be7be0107ef71cfcf1fd75c7ed0abf93a4cbdf2418b966ac6dadd701c1","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-07-06T16:01:07.532053Z","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-05T16:20:30.274030Z","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:a61c964d4e579d9801dabd677a85f7fa55d4c447f6c7c5fd1377d7cb22c9bc7a","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-05T16:20:30.274030Z","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:f1d9aa50b176819f4b3515686e8430c2142c45dde5c11f436804a25b8152f5b5","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-05T16:20:30.274030Z","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:445c75ab946b08fa504b8b10a2132a58520ab496871ad4fd448d8338b4434288","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:d747db9f8238aee8ff08e627961063fa18e411dd210ab7ea3169676411c42369","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:a9de8aab181ffdefb9127110de279d907f9c0a9cff1966dbc93e037121a2131b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:5ef69b9cb24b771c15eeb25daf58b8cde712fe6c9834f96f052b190b0ebd55ff","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:3094c20d357ba21339f107f7ff75c847e4d8a79b80f86215fd33559ece2aba43","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:43f4fe0f6993cf60c5b92347499a8ef03833fa153b4bc9e578ad7248aa6b8dd5","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T18:05:07.494681Z","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-05T16:20:30.274030Z","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:aa86454e157cd1a62230bb53409761c52af2e3f7abf69347cef85183ea673973","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-05T16:20:30.274030Z","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:ae42d00b06728b4ae77aa7382938f9a901b2972557171a81365be2db707127d2","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T13:17:26.103717Z","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-05T16:20:30.274030Z","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:0b9b3443999e29905b34c49ca7de3fbb6e3b39836d77649d62efbf7da04e38d6","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-05T16:20:30.274030Z","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:b6e78737352505b7cc91dcbe438f009936a4e22d1f03fbe55e7a77fe6a02ff7d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-04T16:03:52.158268Z","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-05T16:20:30.274030Z","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:8d29b15ef86dd94c25d212a313a4fdc3d5d86016548f94703af235294b8a6b1a","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-05T16:20:30.274030Z","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:10e00002086fd1740e831fd693d800f7d644cfd23ad4dc464eda624c2bb8bd2d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:91f249a20e80b9190b2392aaf375405c175bfceeaeee185b43d80c6a444ca53e","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-05T16:20:30.274030Z","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:067aaf3172fb4e0b66ab40858b4b57c55ad5eeb5ac7462d7f3fb2e07e5184844","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:b4dd50b082d4ce4ff2af101a4001e1ccc626c112fc6571968287fbb30e6489f2","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:b4d594b237387234d3051becc99cef1f58f5fa9c9204c6969dd4bc054c4f0fbe","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:0a2579a51aa191c9e583e3ea8308981f562cd650bb15e52cb6d334e1256671af","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:7b0151064d4fe62eb8ecf7b30efc8db9b7d0ca800848425ffd12642ca87373d0","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:277e498a3cacbfa0650a6b17b1874a94bd96915556a0d8211b85530c2ef6ee06","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T19:39:51.480716Z","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-05T16:20:30.274030Z","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:19e72443f19d2bfbf20e70621a8bc602131cd69fd1d6a001c61df2d601203486","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-05T16:20:30.274030Z","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:744d7358a26803eaa12c703866c367402808dc1aa8585699df4f619345ea5d71","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:9aa2a73c93aa89dff28ba793a21c4805b4ec722de6fcef013bb8c371c50b7370","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:7d81091c1443cd12082eabdbd4dc8eb5c7ca8f79063c999deb34439e655c5fca","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:d90ecc7cfb03ba561ff8a9f85e41c1a1779e27e807c11e86b789b94fd780253f","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T17:16:29.558742Z","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-05T16:20:30.274030Z","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:7aa4f35b423793bf02bfad85aa97783f44cba7546cc060ffe34709e776345f88","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-05T16:20:30.274030Z","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:329e719a26a5299f4533f9131e1c583b2029956af46c9a94328abc4e1817ad93","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:7257842430d9b69e4859e6fd649ad0aacf61e0bf6795929e263dfbf91be0dc62","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:335392030faf63cfd6a42cc66890af302a5aaa4a2671f56f06ef9bcfa76a2b0a","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:d8aea001721912dab29471c36ed7d9b227a2a7545f382b2c318e33ceb6ac6144","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:fc654cec2474357ecaa37176e86bbb4ea50479d24479ed427b3b067f7d4d4995","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:d30bd03142a408fadd63d2dd46934d4e1c698863326673edfd92413b95bbd7b8","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:7bf44c69df1e8fb99ecc77814584dced093782a1137dd3a3826c8b48309b8831","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:d7ba5940a03b0fcba2f27cf281abe3cf0d5fbf0f62ed3f4ca082e7aeb4d78214","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:0d8157a2b2b3695408b5ec35b64116e7adac91ac5fdbd9d4d45c4d71f5268655","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:c93fc0eaec60905b0d2a2a3db4c292784e6da7fabd9cd6f9ca385939402fe260","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:55cce0aeba45a444ca00383292df7c8005abf9ece79b1eff01ea87d43bd31c6c","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:95e2abfe2e454da346adb894dcfad466acc5fe935a2430bbf5ff423e24d0837c","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:8765969beab9521a595492f308eeb6c2b5cea3a415f3a4d0b7cb428acdaf683e","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-05T16:20:30.274030Z","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:5e03966b19968015dcca4f786b6aaa11de592ef3809abc70ff6f1ecdc695349a","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:def9c88d1b935e9e6bf5de877fd36194fe1cdd20cd546ae2844baed39dd1ddb4","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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:9bb8221e286d3ecc7ab2471775f0f2c4880b96b4952ee789573f779030ad140e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T16:20:30.274030Z","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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 2 inbound Pith citation observations for arXiv:2508.18675."}