{"as_of":"2026-08-13T07:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:55f94c49580a50e79d75c7ab59b0174e283d68b1f623a4270b806aab584d39e8","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-30T11:04:48.746240Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.27167/citation-record","integrity":"/paper/2607.27167/integrity","json":"/paper/2607.27167/citation-record.json","paper":"/paper/2607.27167"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:45.477379Z","title":"Swe-bench: Can language models resolve real-world github issues?","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:45.477379Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:ee2849b2b68251602ab289f72c96840244f6b88614025765178498b91741c2e9","observation_id":"4b2ea232-cd49-4849-a5eb-23dd9403d224","resolution":{"observed_at":"2026-07-30T11:04:45.477379Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:45.552992Z","title":"Swe-agent: Agent-computer interfaces enable automated soft- ware engineering,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:45.552992Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:b280ee683d6ec6410dd6d39e85d3b9fbdbbd803adbcdbaf4c205ee855aa73878","observation_id":"8d5e23d1-43c7-4708-97e2-bdaf9ec2ffb0","resolution":{"observed_at":"2026-07-30T11:04:45.552992Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-08T11:58:24.516369Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-07-30T11:04:45.594058Z","title":"Evaluating large language models trained on code,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:45.594058Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:3e12378fd173326270e25e939c33587056318cde9f04069647ad6e280fb14ff9","observation_id":"14a56f11-327e-4ef7-8c7c-283a93791d99","resolution":{"observed_at":"2026-07-30T11:04:45.594058Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:45.647697Z","title":"GitHub Copilot: Your AI Pair Programmer,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:45.647697Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:ad235a5dd794f77c108d90c789c98fc52e6b6e610d566fbcebaa696ffbb89f00","observation_id":"e87d2db7-68c6-4bbe-9f94-028acecd5430","resolution":{"observed_at":"2026-07-30T11:04:45.647697Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.03546","last_updated":"2026-05-05T09:17:02Z","snapshot_observed_at":"2026-07-29T17:17:07.530182Z","submitted_at":"2026-05-05T09:17:02Z","title":"ProgramBench: Can Language Models Rebuild Programs From Scratch?","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.03546","snapshot_observed_at":"2026-07-30T11:04:45.702386Z","title":"Programbench: Can language models rebuild programs from scratch?","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:45.702386Z"},"links":{"cited_paper":"/paper/2605.03546","citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:5de7ff4433aee510b9c63e33e175d0e6486a980542e74ee012465dd35f638c5c","observation_id":"793a67f3-9468-431b-9c3c-d506b09ad2d2","resolution":{"observed_at":"2026-07-30T11:04:45.702386Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:45.880667Z","title":"Drift no more? context equilibria in multi-turn llm interactions,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:45.880667Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:221935f8d71b2f5f7fffb8226985e0411c6fb4c48830cbf61a0802b3138eda4d","observation_id":"8b2bf0f0-6f40-428c-8129-9fd0d79ef1d3","resolution":{"observed_at":"2026-07-30T11:04:45.880667Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.06120","last_updated":"2025-05-09T15:21:44Z","snapshot_observed_at":"2026-08-08T19:35:51.229758Z","submitted_at":"2025-05-09T15:21:44Z","title":"LLMs Get Lost In Multi-Turn Conversation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.06120","snapshot_observed_at":"2026-07-30T11:04:45.962103Z","title":"Llms get lost in multi- turn conversation,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:45.962103Z"},"links":{"cited_paper":"/paper/2505.06120","citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:50071e202ddb63eaf122458ab7950fab9a12b2bfa49e710af15ea7f91325ff11","observation_id":"9fb01acc-c1c4-4145-a9f1-68a3a29cd5fe","resolution":{"observed_at":"2026-07-30T11:04:45.962103Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:46.012994Z","title":"Solving context window overflow in ai agents,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:46.012994Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:0c926d51ed84a5e4e03a42813c0f41dd0eda7145ad30b0fa1b3a9e79d69ec9a9","observation_id":"d78ec803-c129-43c1-a6ff-2c632a948f67","resolution":{"observed_at":"2026-07-30T11:04:46.012994Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:46.079093Z","title":"Quantifying laziness, decoding suboptimality, and context degradation in large language models,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:46.079093Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:b2174f637c79eea411c4ef12ffa8a8f7ebcc1ce8f9d121c50d06da5f19165118","observation_id":"f8a864a3-18db-4afc-95e4-7f2e35097a92","resolution":{"observed_at":"2026-07-30T11:04:46.079093Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:46.153873Z","title":"Requirements engineering: a roadmap,","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:46.153873Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:db4e8cbde7d3554140a3920e9c4f6defbcccf46fa20193f3343215edfd17dd1e","observation_id":"46a9896e-3bb8-490a-a6f6-d5b44188e46c","resolution":{"observed_at":"2026-07-30T11:04:46.153873Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:46.230030Z","title":"Sommerville,Software engineering, 9/E","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:46.230030Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:3b2475bdc7ce4789d724429efdb46beef8d1a147db02d805ba11ccdc39043531","observation_id":"d4d2d383-2f47-4580-b0e4-1b7e7be4f939","resolution":{"observed_at":"2026-07-30T11:04:46.230030Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:46.296483Z","title":"Wiegers and J","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:46.296483Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:5657d80fa7ae2477eab9c3d02341f788b8d032a038f423f97ebfdc35dc472102","observation_id":"916bf8f7-4420-4755-95cd-c244e3e4b73c","resolution":{"observed_at":"2026-07-30T11:04:46.296483Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:46.373638Z","title":"Requirements elicitation: A survey of tech- niques, approaches, and tools,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:46.373638Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:1a7b3c5c1e5526b4cc45e78ed523b355d2a1c25f3ba16bb0194806ce49b93fdc","observation_id":"88e3fed1-1b2c-4302-8a5a-9d2b58b7671e","resolution":{"observed_at":"2026-07-30T11:04:46.373638Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:46.452578Z","title":"Openspec: A lightweight spec-driven framework for ai- assisted development,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:46.452578Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:e8c01c43c2144efaed4a69d55d7e6d04bd5764b06b2467fc3a2357603b538e6e","observation_id":"bc5c542f-8126-4257-acda-0cbc0ab4f654","resolution":{"observed_at":"2026-07-30T11:04:46.452578Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:46.518879Z","title":"Github spec kit: Toolkit to help you get started with spec- driven development,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:46.518879Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:14fcc546ab267645e20184c02f79a9e6ded1cebf8ef8606db129109a1bbb860e","observation_id":"1a7172bc-5e2b-46dd-9fd0-184248873565","resolution":{"observed_at":"2026-07-30T11:04:46.518879Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:46.586710Z","title":"From contract drafting to software specification: Linguistic sources of ambiguity,","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:46.586710Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:6d85d5b46f51af414eccc96c7dd80099bc24154e47e79c9ebfaf38449baf1e62","observation_id":"1375c1a6-d461-4f39-b55a-77fbfcf04c6a","resolution":{"observed_at":"2026-07-30T11:04:46.586710Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:46.675384Z","title":"Pragmatic ambiguity detection in natural language requirements,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:46.675384Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:0482cd1cdbc2e7a1a61906366f02d07754a3ee1e83fdbf1cca9e8035c17bfd0a","observation_id":"6c2f3068-ad49-44d4-93aa-53b6db440354","resolution":{"observed_at":"2026-07-30T11:04:46.675384Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:46.763270Z","title":"Lingxi: Repository-level issue resolution framework enhanced by procedural knowledge guided scaling,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:46.763270Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:108ee08e800e0a8717ca0209f4e83e0324843200b514cf5be36920127ecc85ba","observation_id":"bc674e52-8315-425b-ba4e-546a78ac4827","resolution":{"observed_at":"2026-07-30T11:04:46.763270Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.03629","last_updated":"2023-03-10T01:00:17Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-10-06T01:00:32Z","title":"ReAct: Synergizing Reasoning and Acting in Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.03629","snapshot_observed_at":"2026-07-30T11:04:46.841892Z","title":"React: Synergizing reasoning and acting in language models,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:46.841892Z"},"links":{"cited_paper":"/paper/2210.03629","citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:36f5ecf267aef89e8e595f414ae3492af62a3dbbbc2373e00a602dc958a408ca","observation_id":"b94ecd03-765b-4424-abb8-5e5f719d4fd0","resolution":{"observed_at":"2026-07-30T11:04:46.841892Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.09388","last_updated":"2025-05-14T13:41:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-05-14T13:41:34Z","title":"Qwen3 Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.09388","snapshot_observed_at":"2026-07-30T11:04:46.894736Z","title":"Qwen3 technical report,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:46.894736Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:fc416b9b9e0f9b74203236fc1d0487040bd572722c5a3fd43793ee897e5224da","observation_id":"c273cacc-a26b-4a9c-9912-55898234c88c","resolution":{"observed_at":"2026-07-30T11:04:46.894736Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:46.994163Z","title":"(2026, 4) Introducing gpt-5.5","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:46.994163Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:23327bf3bbdb0a2ffb21094e2dc3a445a16588ccb75c5403e6983d397df7f65d","observation_id":"61fe1870-6806-40b8-a457-3afa98d84bb8","resolution":{"observed_at":"2026-07-30T11:04:46.994163Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:47.079714Z","title":"(2026, 3) Introducing gpt-5.4 mini and nano","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:47.079714Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:a0a16a5ce9ba13605a59a428623d1c2267eea1d6e870de307772bf646080b43b","observation_id":"7bcfd030-f65c-4701-bc5f-3e151f710247","resolution":{"observed_at":"2026-07-30T11:04:47.079714Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:47.163084Z","title":"Litellm: Call 100+ llms using the openai input/output format,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:47.163084Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:2133067f5d3d0f93875eb8aabb1ff63b510fa649d9ec93fce7e85f9e524fb1a7","observation_id":"1db61372-affe-4b34-9fa4-1264117d696f","resolution":{"observed_at":"2026-07-30T11:04:47.163084Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:47.230067Z","title":"Program synthesis,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:47.230067Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:7485ce6d241f9ef994c72ea5948bf935b766d865c2d752eebfbc5089d35f3cb1","observation_id":"bdaf1f5f-2c5a-45f2-9cb3-ca8ea6840e30","resolution":{"observed_at":"2026-07-30T11:04:47.230067Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:47.331269Z","title":"Robustfill: Neural program learning under noisy i/o,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:47.331269Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:1727df9bbd6e87c14234fba44ffc160cb4f530f23d9b7c5f46f7611af0343585","observation_id":"9890c99d-055b-4c54-9858-074932e4aa7f","resolution":{"observed_at":"2026-07-30T11:04:47.331269Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2203.13474","last_updated":"2023-02-27T21:26:48Z","snapshot_observed_at":"2026-07-06T12:52:16.992962Z","submitted_at":"2022-03-25T06:55:15Z","title":"CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.13474","snapshot_observed_at":"2026-07-30T11:04:47.410779Z","title":"Codegen: An open large language model for code with multi-turn program synthesis,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:47.410779Z"},"links":{"cited_paper":"/paper/2203.13474","citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:095ca1ce3f7d33fda4dcae7bb815479b96bad4c1fea567e478f1e1146380dc9e","observation_id":"a2543256-4a46-488e-b95a-8a198828cec3","resolution":{"observed_at":"2026-07-30T11:04:47.410779Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.12950","last_updated":"2024-01-31T19:47:26Z","snapshot_observed_at":"2026-08-13T04:25:38.282910Z","submitted_at":"2023-08-24T17:39:13Z","title":"Code Llama: Open Foundation Models for Code","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.12950","snapshot_observed_at":"2026-07-30T11:04:47.482877Z","title":"Code llama: Open foundation models for code,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:47.482877Z"},"links":{"cited_paper":"/paper/2308.12950","citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:e705d0045547822c358215ee553c06b4695459cf8ebb029da77f1deb9d2cecb9","observation_id":"ba230a2b-4458-4daa-b066-8cf67119d877","resolution":{"observed_at":"2026-07-30T11:04:47.482877Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.14196","last_updated":"2024-01-26T09:23:11Z","snapshot_observed_at":"2026-08-06T22:40:28.707813Z","submitted_at":"2024-01-25T14:17:53Z","title":"DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.14196","snapshot_observed_at":"2026-07-30T11:04:47.539695Z","title":"Deepseek-coder: when the large language model meets programming–the rise of code intelligence,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:47.539695Z"},"links":{"cited_paper":"/paper/2401.14196","citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:fc771c06ca31fb1c354b57d6c08c60f0671ce3522600af97107f6a4b4bbe770d","observation_id":"4fe25b1e-ed08-4790-b0dc-a2f660a1cafa","resolution":{"observed_at":"2026-07-30T11:04:47.539695Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.06161","last_updated":"2023-12-13T14:44:10Z","snapshot_observed_at":"2026-07-06T15:25:35.930688Z","submitted_at":"2023-05-09T08:16:42Z","title":"StarCoder: may the source be with you!","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.06161","snapshot_observed_at":"2026-07-30T11:04:47.649444Z","title":"Starcoder: may the source be with you!","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:47.649444Z"},"links":{"cited_paper":"/paper/2305.06161","citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:7fe8c617dc0c1ea48a1f111235f74204973e60e0b41abb129b2a26156d9d11a6","observation_id":"cc0729f3-6cb8-445c-893e-2f4b1baf7b12","resolution":{"observed_at":"2026-07-30T11:04:47.649444Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2108.07732","last_updated":"2021-08-16T03:57:30Z","snapshot_observed_at":"2026-08-02T19:23:53.535075Z","submitted_at":"2021-08-16T03:57:30Z","title":"Program Synthesis with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.07732","snapshot_observed_at":"2026-07-30T11:04:47.714251Z","title":"Program synthesis with large language models,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:47.714251Z"},"links":{"cited_paper":"/paper/2108.07732","citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:8fc86608e5718313c259240ef40286f8243c55b7888d1fbf066ed5b33beaf40c","observation_id":"db6e0513-eaf5-4ea5-bf4f-fc3c783b2bd8","resolution":{"observed_at":"2026-07-30T11:04:47.714251Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:47.836512Z","title":"Openhands: An open platform for ai software developers as generalist agents,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:47.836512Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:43a931d0bd4510fb5a4ba8a94dc8b5faf3face238d49353bcb8003c2576c47b7","observation_id":"9d9d7535-bf5d-401b-bcbd-c250bf928361","resolution":{"observed_at":"2026-07-30T11:04:47.836512Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.23370","last_updated":"2025-07-31T09:37:22Z","snapshot_observed_at":"2026-08-09T01:49:07.613123Z","submitted_at":"2025-07-31T09:37:22Z","title":"Trae Agent: An LLM-based Agent for Software Engineering with Test-time Scaling","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.23370","snapshot_observed_at":"2026-07-30T11:04:47.917764Z","title":"Trae agent: An llm-based agent for software engineering with test-time scaling,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:47.917764Z"},"links":{"cited_paper":"/paper/2507.23370","citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:e500d758bf91bc5f546a673a21ac52cc33293efbba788ff367e78b1bc72fee4d","observation_id":"91a71072-4b46-477e-8174-61ba07944c82","resolution":{"observed_at":"2026-07-30T11:04:47.917764Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:48.081118Z","title":"Creativity and design thinking as facilitators in requirements elicitation,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:48.081118Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:f497a4ee9d7d48e3842d185f2b70f4321986d1e3f65e798b5fce9f3d1ee8aecc","observation_id":"caf107fc-d5c8-4f66-b491-3739db677979","resolution":{"observed_at":"2026-07-30T11:04:48.081118Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:48.152333Z","title":"Advancing candidate link generation for requirements tracing: The study of methods,","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:48.152333Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:f440f73074ed6037d83d32eae5ebe41861412a79e990bc277c03cb9996175a1f","observation_id":"5aea8acd-a6b4-4aa3-a717-486754992bb0","resolution":{"observed_at":"2026-07-30T11:04:48.152333Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:48.223557Z","title":"Requirements ambiguity detection and ex- planation with llms: An industrial study,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:48.223557Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:c262eebb02026b543b2ad60134c1b5366c6eb23fe28a95f31047b81764a81777","observation_id":"5f25e778-5fb6-4cd6-87af-dd80808ce28b","resolution":{"observed_at":"2026-07-30T11:04:48.223557Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:48.278950Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:48.278950Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:11e9bbe719d142f28d3dd4cbc63bfe0f5cd1257a3a54b3f3d50d9cc0028c2b1e","observation_id":"604739fa-d6a7-4761-acbb-74b9442e5e23","resolution":{"observed_at":"2026-07-30T11:04:48.278950Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:48.388987Z","title":"Empirical observa- tions on software testing automation,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:48.388987Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:6d33b54db2f3d95d63b94e8fa9a652c5282cbf22e37ea0f290e1435b8385a446","observation_id":"2c228315-09ff-4e1b-a250-90c08aa5aef1","resolution":{"observed_at":"2026-07-30T11:04:48.388987Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:48.424281Z","title":"Polyglot: Automatic extraction of protocol message format using dynamic binary analysis,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:48.424281Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:00dac466f0aa6792c9d0e55461134a94d3609738cc2244d8b01de085fb4dfdfa","observation_id":"8d586565-1c6f-4dec-a611-73a5279a216b","resolution":{"observed_at":"2026-07-30T11:04:48.424281Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:48.494249Z","title":"Prospex: Protocol specification extraction,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:48.494249Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:31ef67fb699e2cf4fe370a5e9e29b0eae759bd0584b7fd3799066008c8eb40a0","observation_id":"028b1d63-f172-4a15-be59-7ce8bb5c7b2f","resolution":{"observed_at":"2026-07-30T11:04:48.494249Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:48.533656Z","title":"Mining specifications,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:48.533656Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:f459849208350bc73f64baee0e69e84b6809a66682d259537c6905843f970bd1","observation_id":"d1212efc-c028-4c1f-9626-9d8e644da4ed","resolution":{"observed_at":"2026-07-30T11:04:48.533656Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:48.610320Z","title":"The daikon system for dynamic detection of likely invariants,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:48.610320Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:291104ba6f74e71285fcac5a3e80f28a53d26ebd700ba298becc615e965fa826","observation_id":"28253b66-d8fe-4ba2-8caf-20930d053ebf","resolution":{"observed_at":"2026-07-30T11:04:48.610320Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:48.690451Z","title":"Llm4decompile: Decompiling binary code with large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:48.690451Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:c3ed020aed53522724ffde49faaeb5bf6e9fc6c71a14361c5cfe2893533aa220","observation_id":"dda31b14-a507-4e74-aa7f-64847f52fd8d","resolution":{"observed_at":"2026-07-30T11:04:48.690451Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:04:48.746240Z","title":"Unsu- pervised translation of programming languages,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-30T11:04:48.746240Z"},"links":{"citing_paper":"/paper/2607.27167"},"observation_digest":"sha256:e7ae7c5802b415693196491bc7ff97d53d1b5a338283b1daf10bf256f76cb6c3","observation_id":"180afd05-a86c-4892-8f6e-aaa5844c4cf2","resolution":{"observed_at":"2026-07-30T11:04:48.746240Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.27167","last_updated":"2026-07-29T17:42:47Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-09T13:20:17.908254Z","submitted_at":"2026-07-29T17:42:47Z","title":"SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":43,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":43},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2607.27167."}