Paper Citation Record · LEDGER

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch

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.

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

pith.paper-citation-record.v1
2607.27167 v1

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-30T11:04:48.746240Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

43 of 43 outbound references displayed

verified exact0
verified fuzzy0
unresolved43
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4b2ea232-cd49-4849-a5eb-23dd9403d224 · outbound

This paper cites Swe-bench: Can language models resolve real-world github issues?.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Swe-bench: Can language models resolve real-world github issues?

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:45.477379Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d5e23d1-43c7-4708-97e2-bdaf9ec2ffb0 · outbound

This paper cites Swe-agent: Agent-computer interfaces enable automated soft- ware engineering,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Swe-agent: Agent-computer interfaces enable automated soft- ware engineering,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:45.552992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14a56f11-327e-4ef7-8c7c-283a93791d99 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Evaluating Large Language Models Trained on Code

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:45.594058Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e87d2db7-68c6-4bbe-9f94-028acecd5430 · outbound

This paper cites GitHub Copilot: Your AI Pair Programmer,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch GitHub Copilot: Your AI Pair Programmer,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:45.647697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 793a67f3-9468-431b-9c3c-d506b09ad2d2 · outbound

This paper cites ProgramBench: Can Language Models Rebuild Programs From Scratch?.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch ProgramBench: Can Language Models Rebuild Programs From Scratch?

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:45.702386Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b2bf0f0-6f40-428c-8129-9fd0d79ef1d3 · outbound

This paper cites Drift no more? context equilibria in multi-turn llm interactions,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Drift no more? context equilibria in multi-turn llm interactions,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:45.880667Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fb01acc-c1c4-4145-a9f1-68a3a29cd5fe · outbound

This paper cites LLMs Get Lost In Multi-Turn Conversation.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch LLMs Get Lost In Multi-Turn Conversation

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:45.962103Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d78ec803-c129-43c1-a6ff-2c632a948f67 · outbound

This paper cites Solving context window overflow in ai agents,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Solving context window overflow in ai agents,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:46.012994Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8a864a3-18db-4afc-95e4-7f2e35097a92 · outbound

This paper cites Quantifying laziness, decoding suboptimality, and context degradation in large language models,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Quantifying laziness, decoding suboptimality, and context degradation in large language models,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:46.079093Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46a9896e-3bb8-490a-a6f6-d5b44188e46c · outbound

This paper cites Requirements engineering: a roadmap,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Requirements engineering: a roadmap,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:46.153873Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4d2d383-2f47-4580-b0e4-1b7e7be4f939 · outbound

This paper cites Sommerville,Software engineering, 9/E.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Sommerville,Software engineering, 9/E

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:46.230030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 916bf8f7-4420-4755-95cd-c244e3e4b73c · outbound

This paper cites Wiegers and J.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Wiegers and J

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:46.296483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88e3fed1-1b2c-4302-8a5a-9d2b58b7671e · outbound

This paper cites Requirements elicitation: A survey of tech- niques, approaches, and tools,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Requirements elicitation: A survey of tech- niques, approaches, and tools,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:46.373638Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc5c542f-8126-4257-acda-0cbc0ab4f654 · outbound

This paper cites Openspec: A lightweight spec-driven framework for ai- assisted development,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Openspec: A lightweight spec-driven framework for ai- assisted development,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:46.452578Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a7172bc-5e2b-46dd-9fd0-184248873565 · outbound

This paper cites Github spec kit: Toolkit to help you get started with spec- driven development,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Github spec kit: Toolkit to help you get started with spec- driven development,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:46.518879Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1375c1a6-d461-4f39-b55a-77fbfcf04c6a · outbound

This paper cites From contract drafting to software specification: Linguistic sources of ambiguity,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch From contract drafting to software specification: Linguistic sources of ambiguity,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:46.586710Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c2f3068-ad49-44d4-93aa-53b6db440354 · outbound

This paper cites Pragmatic ambiguity detection in natural language requirements,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Pragmatic ambiguity detection in natural language requirements,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:46.675384Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc674e52-8315-425b-ba4e-546a78ac4827 · outbound

This paper cites Lingxi: Repository-level issue resolution framework enhanced by procedural knowledge guided scaling,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Lingxi: Repository-level issue resolution framework enhanced by procedural knowledge guided scaling,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:46.763270Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b94ecd03-765b-4424-abb8-5e5f719d4fd0 · outbound

This paper cites ReAct: Synergizing Reasoning and Acting in Language Models.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch ReAct: Synergizing Reasoning and Acting in Language Models

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:46.841892Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c273cacc-a26b-4a9c-9912-55898234c88c · outbound

This paper cites Qwen3 Technical Report.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Qwen3 Technical Report

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:46.894736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61fe1870-6806-40b8-a457-3afa98d84bb8 · outbound

This paper cites (2026, 4) Introducing gpt-5.5.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch (2026, 4) Introducing gpt-5.5

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:46.994163Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bcfd030-f65c-4701-bc5f-3e151f710247 · outbound

This paper cites (2026, 3) Introducing gpt-5.4 mini and nano.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch (2026, 3) Introducing gpt-5.4 mini and nano

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:47.079714Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1db61372-affe-4b34-9fa4-1264117d696f · outbound

This paper cites Litellm: Call 100+ llms using the openai input/output format,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Litellm: Call 100+ llms using the openai input/output format,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:47.163084Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdaf1f5f-2c5a-45f2-9cb3-ca8ea6840e30 · outbound

This paper cites Program synthesis,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Program synthesis,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:47.230067Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9890c99d-055b-4c54-9858-074932e4aa7f · outbound

This paper cites Robustfill: Neural program learning under noisy i/o,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Robustfill: Neural program learning under noisy i/o,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:47.331269Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2543256-4a46-488e-b95a-8a198828cec3 · outbound

This paper cites CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:47.410779Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba230a2b-4458-4daa-b066-8cf67119d877 · outbound

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

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Code Llama: Open Foundation Models for Code

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:47.482877Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4fe25b1e-ed08-4790-b0dc-a2f660a1cafa · outbound

This paper cites DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:47.539695Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc0729f3-6cb8-445c-893e-2f4b1baf7b12 · outbound

This paper cites StarCoder: may the source be with you!.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch StarCoder: may the source be with you!

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:47.649444Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db6e0513-eaf5-4ea5-bf4f-fc3c783b2bd8 · outbound

This paper cites Program Synthesis with Large Language Models.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Program Synthesis with Large Language Models

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:47.714251Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d9d7535-bf5d-401b-bcbd-c250bf928361 · outbound

This paper cites Openhands: An open platform for ai software developers as generalist agents,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Openhands: An open platform for ai software developers as generalist agents,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:47.836512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91a71072-4b46-477e-8174-61ba07944c82 · outbound

This paper cites Trae Agent: An LLM-based Agent for Software Engineering with Test-time Scaling.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Trae Agent: An LLM-based Agent for Software Engineering with Test-time Scaling

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:47.917764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation caf107fc-d5c8-4f66-b491-3739db677979 · outbound

This paper cites Creativity and design thinking as facilitators in requirements elicitation,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Creativity and design thinking as facilitators in requirements elicitation,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:48.081118Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5aea8acd-a6b4-4aa3-a717-486754992bb0 · outbound

This paper cites Advancing candidate link generation for requirements tracing: The study of methods,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Advancing candidate link generation for requirements tracing: The study of methods,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:48.152333Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f25e778-5fb6-4cd6-87af-dd80808ce28b · outbound

This paper cites Requirements ambiguity detection and ex- planation with llms: An industrial study,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Requirements ambiguity detection and ex- planation with llms: An industrial study,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:48.223557Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 604739fa-d6a7-4761-acbb-74b9442e5e23 · outbound

This paper cites an unresolved cited work.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:48.278950Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c228315-09ff-4e1b-a250-90c08aa5aef1 · outbound

This paper cites Empirical observa- tions on software testing automation,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Empirical observa- tions on software testing automation,

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:48.388987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d586565-1c6f-4dec-a611-73a5279a216b · outbound

This paper cites Polyglot: Automatic extraction of protocol message format using dynamic binary analysis,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Polyglot: Automatic extraction of protocol message format using dynamic binary analysis,

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:48.424281Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 028b1d63-f172-4a15-be59-7ce8bb5c7b2f · outbound

This paper cites Prospex: Protocol specification extraction,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Prospex: Protocol specification extraction,

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:48.494249Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1212efc-c028-4c1f-9626-9d8e644da4ed · outbound

This paper cites Mining specifications,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Mining specifications,

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:48.533656Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28253b66-d8fe-4ba2-8caf-20930d053ebf · outbound

This paper cites The daikon system for dynamic detection of likely invariants,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch The daikon system for dynamic detection of likely invariants,

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:48.610320Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dda31b14-a507-4e74-aa7f-64847f52fd8d · outbound

This paper cites Llm4decompile: Decompiling binary code with large language models,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Llm4decompile: Decompiling binary code with large language models,

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:48.690451Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 180afd05-a86c-4892-8f6e-aaa5844c4cf2 · outbound

This paper cites Unsu- pervised translation of programming languages,.

SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch Unsu- pervised translation of programming languages,

Reference 44

Resolution: unresolved; no resolver link, observed 2026-07-30T11:04:48.746240Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.