{"as_of":"2026-08-20T04:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:85231f0907c0a981f51a512091ff261082177022f26c847f1de06e6c67ab174b","coverage":[{"denominator":63,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":63,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T19:25:57.817662Z","state":"measured"},{"denominator":63,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":63,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+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/2506.16639/citation-record","integrity":"/paper/2506.16639/integrity","json":"/paper/2506.16639/citation-record.json","paper":"/paper/2506.16639"},"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-15T19:25:58.417514Z","title":"Normative requirements operationalization with large language models,","venue":null,"work_id":"7501d2aa-8790-4659-b95d-fc6ef904ecd1","year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.611339Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:b1874851a12871930b2d37fab7dcfcbe8f6ef0f8cc45e57a7bc080253ddc72e9","observation_id":"269f702a-a300-4725-a68c-a5fa933a3109","resolution":{"observed_at":"2026-08-15T19:25:58.421082Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.407796Z","title":"Inconsistency detection in natural language requirements using ChatGPT: a preliminary evaluation,","venue":null,"work_id":"153fa69d-9a87-41fe-b173-c48c3602fa09","year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.615558Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:1ff039e2f2682d96128f66fbff3765e51408b7bac1aca24b447cf0807420ccc1","observation_id":"5efc1569-73e4-4f31-a0b7-f5a8dd196358","resolution":{"observed_at":"2026-08-15T19:25:58.411389Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.399053Z","title":"Ambiguity and Generality in Natural Language Privacy Policies,","venue":null,"work_id":"0bff3d6b-e29e-48f6-bdcb-d034cd1b24b6","year":2021},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.619196Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:6d8735368f19c1e3f1fd5346a5c4fdb6a512773d4b27995b821553cf4252aa6d","observation_id":"cfd4382f-23c3-4202-adcc-644f7ae6f91e","resolution":{"observed_at":"2026-08-15T19:25:58.402115Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.389783Z","title":"Generation of Formal Requirements from Structured Natural Lan- guage,","venue":null,"work_id":"0c8ef962-2d0f-4c26-9a94-effcd4069d85","year":2020},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.622943Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:b45caaf192a758e73872312f082328f5de893a66b218c2b0f60bf9f01c7878a8","observation_id":"bcbe8715-bee0-4ed8-9629-18f0ebf6686e","resolution":{"observed_at":"2026-08-15T19:25:58.393266Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.380518Z","title":"Ambiguity in Requirements Specifica- tion,","venue":null,"work_id":"a8004da5-281c-49d6-bf5c-abfd0cef32dd","year":2004},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.626533Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:0eaeee1a58cac12c7ef95750172b0ec7ab5d4f73db29fbc5f551fbbceb5fcfec","observation_id":"d9319d93-efa6-4056-91b5-158fe473fd5d","resolution":{"observed_at":"2026-08-15T19:25:58.383752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.371692Z","title":"Z3: An efficient SMT solver,","venue":null,"work_id":"3c57ff84-f39f-4d89-8dd8-dae11fe8114e","year":null},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.629992Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:a77484e58817a8e3283adaaab395af3c4f7826eb42712663c3ea8bb53101a644","observation_id":"4f12d4bd-4569-48d8-8e44-0a9ce8978611","resolution":{"observed_at":"2026-08-15T19:25:58.374831Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.353111Z","title":"Decision procedures for path feasibility of string-manipulating programs with complex operations,","venue":null,"work_id":"d17c3c4d-dc5a-4e05-9659-c37b07474130","year":2019},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.637118Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:ef6158bdd6cafc3d9c5302ca466afa7bbcdd5ea7e131fea47664aa0ef41e4f81","observation_id":"3abbb6cd-4014-4248-bbc5-c27ac0cb19dc","resolution":{"observed_at":"2026-08-15T19:25:58.356501Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.343951Z","title":"Towards reasoning in large language models: A survey,","venue":null,"work_id":"97cab3b7-0366-4749-a740-6489e22eea06","year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.640293Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:935740722426a06a45efd73e697678b63685758e1b1dd7e7a498a01cd5fd66ca","observation_id":"883a22b6-09e1-4d47-afa7-f509ea8240a8","resolution":{"observed_at":"2026-08-15T19:25:58.347155Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.334151Z","title":"Exploring large language models for requirements on string values,","venue":null,"work_id":"985e8997-2969-4c51-82b7-1fbf00753197","year":null},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.643663Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:2e23759dd0872f6282ee051f494419afa26243d4f92b71525dc3b0a2b63fc597","observation_id":"ec865c9e-13bd-4468-b8e4-7602dbc944de","resolution":{"observed_at":"2026-08-15T19:25:58.337858Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.315259Z","title":"Guiding enumerative program synthesis with large language models,","venue":null,"work_id":"895f674e-a95c-419d-9062-a05d6e8465da","year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.651195Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:7e70e2d8c8f77dde60fa606b134c6d5fcb84d78563217db1af7e49fa83c232b9","observation_id":"e0fa1957-2455-467b-8ff6-25472fc0c0e4","resolution":{"observed_at":"2026-08-15T19:25:58.318547Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.305971Z","title":"Baldur: Whole-proof generation and repair with large language models,","venue":null,"work_id":"0af7f928-a958-4b61-b45e-0d756ce4dc72","year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.654258Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:365644d08e67a4df980d836b72b1639e10663752d0b129328846fee5b63896ea","observation_id":"82217686-1e32-413d-b35f-3d862e272e1b","resolution":{"observed_at":"2026-08-15T19:25:58.309091Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.13692","last_updated":"2024-08-01T17:18:54Z","snapshot_observed_at":"2026-08-18T23:52:17.487601Z","submitted_at":"2024-07-18T16:58:18Z","title":"Prover-Verifier Games improve legibility of LLM outputs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.13692","snapshot_observed_at":"2026-08-15T19:25:57.657405Z","title":"Prover-verifier games improve legibility of llm outputs,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.657405Z"},"links":{"cited_paper":"/paper/2407.13692","citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:a9859aa19bdc8cb90b30ae968f3e96c5db3589507d0d272fccc85a2214eb5707","observation_id":"0b0534e7-b856-43aa-b0b0-9fd5f27d555e","resolution":{"observed_at":"2026-08-15T19:25:57.657405Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.21276","last_updated":"2024-10-25T17:43:01Z","snapshot_observed_at":"2026-08-15T14:02:47.366139Z","submitted_at":"2024-10-25T17:43:01Z","title":"GPT-4o System Card","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.21276","snapshot_observed_at":"2026-08-15T19:25:57.660997Z","title":"Gpt-4o system card,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.660997Z"},"links":{"cited_paper":"/paper/2410.21276","citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:e7132501618ef5fcd25ab25731974a440a28b632012641c07a945a0d65a82e6b","observation_id":"73d1fa74-3d5a-4068-a386-f049821287be","resolution":{"observed_at":"2026-08-15T19:25:57.660997Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.21783","last_updated":"2024-11-23T23:27:33Z","snapshot_observed_at":"2026-08-13T17:20:44.002518Z","submitted_at":"2024-07-31T17:54:27Z","title":"The Llama 3 Herd of Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.21783","snapshot_observed_at":"2026-08-15T19:25:57.664379Z","title":"The llama 3 herd of models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.664379Z"},"links":{"cited_paper":"/paper/2407.21783","citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:60dc846f24aaa07da1946a1378bc76168d6694030ee729347973547cc28aed89","observation_id":"8566f157-feea-4162-8ae0-0d342f007a76","resolution":{"observed_at":"2026-08-15T19:25:57.664379Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19437","last_updated":"2025-02-18T17:26:38Z","snapshot_observed_at":"2026-08-18T18:18:37.449517Z","submitted_at":"2024-12-27T04:03:16Z","title":"DeepSeek-V3 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19437","snapshot_observed_at":"2026-08-15T19:25:57.667620Z","title":"Deepseek-v3 technical report,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.667620Z"},"links":{"cited_paper":"/paper/2412.19437","citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:291cb0d74d0b0ab9da83eb07b7783a971c18a963059a704ba7c5b20d201451e9","observation_id":"a4e28fad-59f5-4f51-ba48-77ba16210ae8","resolution":{"observed_at":"2026-08-15T19:25:57.667620Z","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-15T19:25:58.296953Z","title":"Solving string constraints with lengths by stabilization,","venue":null,"work_id":"e2a3d99f-df04-48f1-9107-4ee6fa06cca7","year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.671862Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:1877dd53b53ccd09ff738d748bfcfd0a4b11f1ed388c7b874cb860f12d094a39","observation_id":"2d22b31c-ab6d-4ad7-a49a-c91fc7f0f632","resolution":{"observed_at":"2026-08-15T19:25:58.300266Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.287899Z","title":"Solving String Constraints Using SAT,","venue":null,"work_id":"1ee84232-1702-417f-b040-96d87b4c98af","year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.675284Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:8dad94482a63ba848c0818f5d27c668c5dbe1ec980c435e00496cb8d7021fefd","observation_id":"61ca3741-73ec-42c5-910e-57ee9e1a8ce0","resolution":{"observed_at":"2026-08-15T19:25:58.291226Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.278028Z","title":"A decision procedure for string constraints with string/integer conversion and flat regular constraints,","venue":null,"work_id":"3539cd0e-5c0e-45f1-b29e-2cb589d33b0c","year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.678490Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:d1bb54032b4a60018aae8e4e55d10b87d558bbe04d59f60a2b160f1e195ade53","observation_id":"7e2e70b1-635d-427c-b8b1-ad05a0743257","resolution":{"observed_at":"2026-08-15T19:25:58.281818Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.268680Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation,","venue":null,"work_id":"c0a9d48b-17ec-4ba4-a696-17f4b471aa82","year":2020},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.682825Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:ecbed4925e771979901c68ec97c88142d9c9c945d8c720d32e7c0887bbce6b2c","observation_id":"6a2bcb2d-aa71-492d-bbfb-9a6fcd84d451","resolution":{"observed_at":"2026-08-15T19:25:58.271964Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.259085Z","title":"SMT-LIB The Satisfiability Modulo Theories Library,","venue":null,"work_id":"491cbaee-0381-4850-8e50-a6dd9c04711e","year":null},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.686113Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:ed58e9a7a7b35fee7e2fa51cdfad19c50dfce6924e64c115876abcf58d50479e","observation_id":"0381b5b7-c2ea-4967-844c-57f081a3da8a","resolution":{"observed_at":"2026-08-15T19:25:58.262623Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.249918Z","title":"SMT-COMP 2024,","venue":null,"work_id":"1f8b19d9-a215-44d1-a118-fcd8baf0c30c","year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.689464Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:e08c6ea1ec669456195dec3f08f772c1c7f3950b4b4aafbc8095427c05f776fc","observation_id":"1bc632b8-194a-448d-bc59-a666eeefe067","resolution":{"observed_at":"2026-08-15T19:25:58.253128Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.240722Z","title":"The SMT-LIB standard: Version 2.6,","venue":null,"work_id":"80ae42a6-37ba-4e86-8222-f8678e52a03a","year":2017},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.692532Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:b4694fd8f639552a910116579be7117e595d9f454e1a3a7c46473cb04d753110","observation_id":"8293301b-f7eb-4a32-98b5-7321b11d102a","resolution":{"observed_at":"2026-08-15T19:25:58.243978Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.230766Z","title":"Attention is all you need,","venue":null,"work_id":"434beb47-da8e-4d92-aae5-4cfe3af210a6","year":2017},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.695592Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:a50cc1cb542c97c24301f0246b012d2e148cccfa71db5333c05da76395488c4b","observation_id":"f6cb79da-6e39-4f09-a468-711a8b9d05c1","resolution":{"observed_at":"2026-08-15T19:25:58.234294Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.07927","last_updated":"2025-03-16T06:23:34Z","snapshot_observed_at":"2026-08-16T14:09:52.485275Z","submitted_at":"2024-02-05T19:49:13Z","title":"A Systematic Survey of Prompt Engineering in Large Language Models: Techniques and Applications","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.07927","snapshot_observed_at":"2026-08-15T19:25:57.698556Z","title":"A systematic survey of prompt engineering in large language models: Techniques and applications,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.698556Z"},"links":{"cited_paper":"/paper/2402.07927","citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:a9bef04e87db8aba244ed05b62816fd5ab963a47692ea47ed63a3d185920cd02","observation_id":"d431a07c-78f0-4a60-8de7-52d8993d8159","resolution":{"observed_at":"2026-08-15T19:25:57.698556Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.11760","last_updated":"2023-11-12T12:35:41Z","snapshot_observed_at":"2026-08-19T19:37:47.334752Z","submitted_at":"2023-07-14T00:57:12Z","title":"Large Language Models Understand and Can be Enhanced by Emotional Stimuli","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.11760","snapshot_observed_at":"2026-08-15T19:25:57.702519Z","title":"Large language models understand and can be enhanced by emotional stimuli,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.702519Z"},"links":{"cited_paper":"/paper/2307.11760","citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:b0f20ed2f13e65f55a2a5ce94bcfe3a9ea8a2e65d261a4a640f17709ecf5721f","observation_id":"0daf3f85-0c4f-4863-9b2b-d494cb715636","resolution":{"observed_at":"2026-08-15T19:25:57.702519Z","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-15T19:25:58.221059Z","title":"Large language models are zero-shot reasoners,","venue":null,"work_id":"fd677def-45df-404c-baf5-8445204aa71a","year":2022},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.705930Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:fb7630865db906a2cb2574c11d90c1cf2f62d3f080fe26d1e523847f7b66de62","observation_id":"a198f780-b727-48fb-b58f-b435e4493c24","resolution":{"observed_at":"2026-08-15T19:25:58.224261Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.211644Z","title":"[Online]","venue":null,"work_id":"3f367ea1-d897-441a-971f-9e618fbe79d8","year":2025},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.708935Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:02e4c1c9be8b75855ed4b3a4cc33636121997fb6c4a0d852e9b1b50dcd714ae5","observation_id":"e23f736b-c69b-4e89-82e2-d72f377de42c","resolution":{"observed_at":"2026-08-15T19:25:58.214856Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.202250Z","title":"LangChain,","venue":null,"work_id":"50938858-6780-421f-9ccf-6afc6ee026a6","year":2022},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.712086Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:66751f02a5eb97a423cb913d95b3a6dd69e9f1ff475c57b3acf6d7f8b02efb17","observation_id":"4e6ae43d-9be6-40d4-9a3a-23e815e9339e","resolution":{"observed_at":"2026-08-15T19:25:58.205213Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.191878Z","title":"Solving complex path conditions through heuristic search on induced polytopes,","venue":null,"work_id":"cd7445d1-21ac-4b79-81e3-65df4829f6c6","year":2014},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.715175Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:072855a52a699f07be2a22cc1910f4b255e2b00aaf3993ad965a24cea6502c2c","observation_id":"0bac2871-befd-46fe-b249-d1cfc8772edc","resolution":{"observed_at":"2026-08-15T19:25:58.196151Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.181387Z","title":"The effect of batch size on the generalizabil- ity of the convolutional neural networks on a histopathology dataset,","venue":null,"work_id":"134a017d-92eb-422a-a978-e83118dc07ac","year":2020},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.718225Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:a6e5ce6ff7a59f00c4851c5f594598fecde5b373187b4ab42154f2dcf1cab10f","observation_id":"12c3def2-48ff-471e-9845-21214516e366","resolution":{"observed_at":"2026-08-15T19:25:58.185078Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-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-08-15T19:25:57.721273Z","title":"Evaluating large language models trained on code,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.721273Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:cd3947ef1209994c6933743e8a80d9a6bc2f12d736c925345f7229cefd9f498f","observation_id":"f927611e-52df-49da-831c-a92bf8eb16f7","resolution":{"observed_at":"2026-08-15T19:25:57.721273Z","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-08-15T19:25:57.724189Z","title":"Chain-of-thought prompting elicits reasoning in large language models,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.724189Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:7ec585d0d39fb63dbd8f47db0f274fc28dd9b967d1be646a97c65ec153939767","observation_id":"8e5e4b55-6e2b-46ae-bd25-cd8305515234","resolution":{"observed_at":"2026-08-15T19:25:57.724189Z","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-15T19:25:58.166572Z","title":"Github copilot,","venue":null,"work_id":"6e8a49c9-8858-41cb-a427-3b0769b40aa1","year":2025},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.727617Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:936c30045011e0bc4ca42d50ad7983692f0420e66741e5e5bb58c9bfdcb32ed4","observation_id":"b88c1778-8534-4b03-8aaa-4dc27aaf36a0","resolution":{"observed_at":"2026-08-15T19:25:58.169605Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.156745Z","title":"Cvc5/src/theory/incomplete id.h at main·cvc5/cvc5,","venue":null,"work_id":"11ebc32a-cb5e-4cff-977f-4dfcafcf575a","year":null},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.730661Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:bbd30f1494ae26a2dfff960f2515a6854c74b6c4aae7fb1ff737db247fa88faf","observation_id":"139712c1-7027-41f9-8667-ea7e5b07fda7","resolution":{"observed_at":"2026-08-15T19:25:58.159890Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.146781Z","title":"Burnstein,Practical software testing: a process-oriented approach","venue":null,"work_id":"74b73fa0-3df4-4528-bda2-19571ab117ad","year":2006},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.733501Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:1549495cd25abbe06f5e804f6fe628ec4406774506ee6fa3f3e9daa0e639f31f","observation_id":"e1dab452-9018-4d9b-9f30-1eccc940789c","resolution":{"observed_at":"2026-08-15T19:25:58.150136Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.15679384","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:25:57.843389Z","title":"Constrainsolver artifacts,","venue":null,"work_id":"029b0ef2-c090-4709-94e6-0385b437569b","year":2025},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.736472Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:989bf7c924e0fccd1cb9d0582633e8118d38a9f9a32f65fb100510072701cbaf","observation_id":"ba185e90-e87d-472b-ab7f-b379ed23fde2","resolution":{"observed_at":"2026-08-15T19:25:57.847642Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.16498","last_updated":"2025-03-04T09:13:23Z","snapshot_observed_at":"2026-08-16T13:22:56.149803Z","submitted_at":"2024-08-29T12:56:06Z","title":"A Survey on Evaluating Large Language Models in Code Generation Tasks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.16498","snapshot_observed_at":"2026-08-15T19:25:57.739495Z","title":"A survey on evaluating large language models in code generation tasks,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.739495Z"},"links":{"cited_paper":"/paper/2408.16498","citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:9e71bed3d997136efd290f75208d47381a7fcd0d4865c7a6c773a1f170a9c853","observation_id":"b95d648f-daa3-4818-8bcf-5f209b85a199","resolution":{"observed_at":"2026-08-15T19:25:57.739495Z","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-15T19:25:58.137145Z","title":"Advancing requirements engineering through generative AI: Assessing the role of LLMs,","venue":null,"work_id":"a6ce4131-7b44-4901-a6f5-38873df9d068","year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.742640Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:c5c67cec99d0468901cb7f5f006fb06a7a24d67b2ec8c85eacf2b5e709c206f7","observation_id":"0e460efa-abc5-4347-9630-186d9add9f7d","resolution":{"observed_at":"2026-08-15T19:25:58.140652Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.125744Z","title":"Investigating ChatGPT’s poten- tial to assist in requirements elicitation processes,","venue":null,"work_id":"4de3db55-6792-48a1-a197-f3730130c6af","year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.745585Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:cf55b53e641d0d6d5bfdebb2f8ab4172e0fb9928fe35b247f8b579afa4acef70","observation_id":"949d8f15-6def-4451-827b-ded0ff975191","resolution":{"observed_at":"2026-08-15T19:25:58.130139Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.116350Z","title":"Generating requirements elicitation interview scripts with large language models,","venue":null,"work_id":"f0f4fa69-122e-4cda-944b-7402c7f2f7a3","year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.748733Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:d9123148779688c39c82d75637fd103787f65ebdb09526d905333a4bebed47ea","observation_id":"d2c8cdac-1224-4b68-a3ad-a38aa057b2b6","resolution":{"observed_at":"2026-08-15T19:25:58.119681Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:57.752167Z","title":"Automated domain modeling with large language models: A comparative study,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.752167Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:11a3e976fff35b5ada0bf51c790da11c48b6925f9a80e712e076622ae70be07b","observation_id":"fea46945-3274-4197-b9af-81e79ef56200","resolution":{"observed_at":"2026-08-15T19:25:57.752167Z","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-08-15T19:25:57.755435Z","title":"On the assessment of generative ai in modeling tasks: an experience report with chatgpt and uml,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.755435Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:69daea9793b8c2575a2ff723905f34b57f1359892449ba1ddb5bb22656eda9d7","observation_id":"0ef0880f-ea5e-4a3a-9ff3-83f7b32aff46","resolution":{"observed_at":"2026-08-15T19:25:57.755435Z","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-15T19:25:58.094856Z","title":"On the use of GPT-4 for creating goal models: An exploratory study,","venue":null,"work_id":"8ef0f87b-960b-4f80-b9ee-b3244e734bcf","year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.758511Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:61b30a9777d699119edde914bcc1755da0dfed8b4367f37cbfa2014a46cb58a6","observation_id":"26bf6cad-9b95-4c8f-a549-49e9626db2c4","resolution":{"observed_at":"2026-08-15T19:25:58.098814Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.084649Z","title":"Towards taming large language models with prompt templates for legal GRL modeling,","venue":null,"work_id":"530b3047-6437-4bb0-836b-676c8547e092","year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.761541Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:a95c719c252065c3522c0f71ea8b7a1535b83abb5b8b393832b1db88d68502b6","observation_id":"47000357-70c0-49c0-820e-32bc4a28fbdc","resolution":{"observed_at":"2026-08-15T19:25:58.088197Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.073499Z","title":"Fill in the blank: Context-aware automated text input generation for mobile GUI testing,","venue":null,"work_id":"ba8bbfa4-9e39-4bae-90b1-19842fab8e90","year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.764894Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:c3f7fd462b1660248e81ce32b6eb10e31d85f4b6dcd97fadf796b8954e036c18","observation_id":"a46201ca-4fea-435f-abed-8c4f8117400a","resolution":{"observed_at":"2026-08-15T19:25:58.077021Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.062652Z","title":"Fuzz4all: Universal fuzzing with large language models,","venue":null,"work_id":"fc77b71d-33b8-487e-a0d8-b1ae7fc8b1ee","year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.767897Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:3a818305c6086369c25cefa9f99462cb0f1f7213e620bf3f5d1bd5c2af570a44","observation_id":"0dfa56a3-6a50-4221-bc54-039277a46c41","resolution":{"observed_at":"2026-08-15T19:25:58.066180Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.051447Z","title":"SMT solver validation empowered by large pre-trained language models,","venue":null,"work_id":"0749dcf3-2450-4278-860f-b4afcee8915f","year":null},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.771011Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:c10340925b6d9c0204f7362f3b64ed44dfed0f88da67be3abbf7c801aa9f9463","observation_id":"e2652483-778b-46d4-bc7d-5f6dc680be80","resolution":{"observed_at":"2026-08-15T19:25:58.055284Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.030672Z","title":"Testing the limits: Unusual text inputs generation for mobile app crash detection with large language model,","venue":null,"work_id":"ef3f6ae6-c118-4a21-a2f8-dd8f5d0025b5","year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.777622Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:7cd6ae9651055fa275bb8ef85d7891e6ab1ed1a77ee09ec57cc37c6659fbac92","observation_id":"75354229-70b9-4aa6-9396-3d2ed416dfa9","resolution":{"observed_at":"2026-08-15T19:25:58.034951Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:57.780687Z","title":"Tree of thoughts: Deliberate problem solving with large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.780687Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:520877cf9ea194343bdf7ad3662f371c75d052003701a6d978513de0fdae6594","observation_id":"ba77d9d8-4f4f-4979-96c0-dfe96b17b9a1","resolution":{"observed_at":"2026-08-15T19:25:57.780687Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.08291","last_updated":"2023-05-15T01:18:23Z","snapshot_observed_at":"2026-08-16T15:33:12.206226Z","submitted_at":"2023-05-15T01:18:23Z","title":"Large Language Model Guided Tree-of-Thought","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.08291","snapshot_observed_at":"2026-08-15T19:25:57.783960Z","title":"Large language model guided tree-of-thought,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.783960Z"},"links":{"cited_paper":"/paper/2305.08291","citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:657b0b4e554a05d59c931f9ac8d650ab0c7dfafbeab350357ccd89a382ebbfae","observation_id":"ab5e6304-9b75-479b-bffb-f5f967a5d4bf","resolution":{"observed_at":"2026-08-15T19:25:57.783960Z","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-15T19:25:58.015032Z","title":"Graph of thoughts: Solving elaborate problems with large language models,","venue":null,"work_id":"043ff89b-b97e-4d7a-a3c2-36182ff82b6d","year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.787377Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:5b135475dd117b9a7150eb02842438722daef45bc54e6d9be24a5aeb80911d01","observation_id":"9ebd739f-3a9a-425f-8c87-8db73dc39bbb","resolution":{"observed_at":"2026-08-15T19:25:58.018549Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.00352","last_updated":"2024-11-01T14:36:52Z","snapshot_observed_at":"2026-08-12T16:02:21.969968Z","submitted_at":"2023-08-01T07:49:10Z","title":"MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.00352","snapshot_observed_at":"2026-08-15T19:25:57.790424Z","title":"Metagpt: Meta programming for multi-agent collaborative framework,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.790424Z"},"links":{"cited_paper":"/paper/2308.00352","citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:feb919821c71fe5b9a6c7f2d2fbdb097c305ebe83afc72d5ca8cd30c9e03b50a","observation_id":"7f65e848-b53b-4d92-bd14-604a952f0a16","resolution":{"observed_at":"2026-08-15T19:25:57.790424Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.05120","last_updated":"2024-10-11T09:38:40Z","snapshot_observed_at":"2026-08-18T10:10:17.969034Z","submitted_at":"2024-02-03T05:55:24Z","title":"More Agents Is All You Need","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.05120","snapshot_observed_at":"2026-08-15T19:25:57.793847Z","title":"More agents is all you need,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.793847Z"},"links":{"cited_paper":"/paper/2402.05120","citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:9f1f38d7f5c6f113977fc8f56ecb79f1c5816ebf2abcbb3858836225998e4f3e","observation_id":"706f7d11-e817-4813-8c42-04f08ee37b1a","resolution":{"observed_at":"2026-08-15T19:25:57.793847Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.08155","last_updated":"2023-10-03T20:47:10Z","snapshot_observed_at":"2026-08-08T22:28:26.004138Z","submitted_at":"2023-08-16T05:57:52Z","title":"AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.08155","snapshot_observed_at":"2026-08-15T19:25:57.797112Z","title":"Autogen: Enabling next-gen LLM applications via multi-agent conversation,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.797112Z"},"links":{"cited_paper":"/paper/2308.08155","citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:8d01b74471ea1816313de48b2cd97f16094e80a4f21df623eb0e7225d71f2ffa","observation_id":"7462e52a-f2e7-4d4e-ad3b-43e222c13941","resolution":{"observed_at":"2026-08-15T19:25:57.797112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.14034","last_updated":"2024-05-20T04:01:08Z","snapshot_observed_at":"2026-08-16T14:16:44.366665Z","submitted_at":"2024-02-21T04:11:28Z","title":"AgentScope: A Flexible yet Robust Multi-Agent Platform","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.14034","snapshot_observed_at":"2026-08-15T19:25:57.800647Z","title":"Agentscope: A flexible yet robust multi-agent platform,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.800647Z"},"links":{"cited_paper":"/paper/2402.14034","citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:d9e0420cc595ad47be25a5c3ca7bae3e3139ca722fdd18349e3566b362718372","observation_id":"03fbe3e0-03e5-48ec-be42-8d24534a1cfc","resolution":{"observed_at":"2026-08-15T19:25:57.800647Z","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-08-15T19:25:57.805073Z","title":"Llm-based multi-agent systems for software engineering: Literature review, vision and the road ahead,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.805073Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:9578112b4b47a6e817b4374304dc4e92c577e54f42f238ec158dfbcb451322f3","observation_id":"a9036539-77af-4fb0-b155-1144dcc9e813","resolution":{"observed_at":"2026-08-15T19:25:57.805073Z","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-15T19:25:57.999017Z","title":"Automated unit test improvement using large language models at Meta,","venue":null,"work_id":"d65ed012-f00c-4371-a79b-76c5fadf5ac5","year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.808064Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:1d9f6a698a4eada2a63e22b7e156c736e5d45f6fbd0c50b005c8fc1e46b08f2d","observation_id":"0e228b2d-efbe-4fe4-964c-99f5600bd20a","resolution":{"observed_at":"2026-08-15T19:25:58.002406Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:57.989069Z","title":"Multi-step iterative automated domain modeling with large language models,","venue":null,"work_id":"be92dda7-865c-4bd2-b413-1998beb36ebb","year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.811246Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:42eb515bba34879656dbaafc0f530aa74c88b39c6d30cc1ee2bc46949bd10d01","observation_id":"caca85a7-d07c-44e5-8768-32048eaf3de4","resolution":{"observed_at":"2026-08-15T19:25:57.992738Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.08593","last_updated":"2024-12-11T18:11:39Z","snapshot_observed_at":"2026-08-16T16:52:03.000352Z","submitted_at":"2024-12-11T18:11:39Z","title":"Leveraging Graph-RAG and Prompt Engineering to Enhance LLM-Based Automated Requirement Traceability and Compliance Checks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.08593","snapshot_observed_at":"2026-08-15T19:25:57.814378Z","title":"Leveraging graph-rag and prompt engineering to enhance llm-based automated requirement traceability and compliance checks,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.814378Z"},"links":{"cited_paper":"/paper/2412.08593","citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:be31825725f017e4756744b3e2be7d27af811dce47d1524973b6ad2ef272d6e0","observation_id":"e0cf6ce1-e72e-47fd-9232-69d0a0925eb4","resolution":{"observed_at":"2026-08-15T19:25:57.814378Z","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-15T19:25:57.978507Z","title":"Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search,","venue":null,"work_id":"a267ea44-6ea2-4abb-b96e-7fa310909a18","year":2024},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.817662Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:d316d498ca664db289ce0226fc60bb89eba6c0087e0dbc0f502c6cc68fc4d321","observation_id":"c9c1e6a7-77bd-430e-b13e-9782d47bd7b0","resolution":{"observed_at":"2026-08-15T19:25:57.982790Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.362889Z","title":null,"venue":null,"work_id":"13b755fc-d742-4447-80c5-e1bf361d6327","year":2008},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.633540Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:9cbeee94a05bfec1496121b0d5bea1316b4a8e6711f34067db38083c81c5e1de","observation_id":"a7a1c864-3c15-4223-9428-e530c5f5539e","resolution":{"observed_at":"2026-08-15T19:25:58.366003Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.041724Z","title":"1288–1300","venue":null,"work_id":"f408236b-094f-4b06-8dc6-356ccb9d383e","year":2023},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.774417Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:00acd50de35aff4b2d4ebeece1c76f7545b22fa9406f5ad6de1e6cb03e7cbc9c","observation_id":"e31cf9e1-46c1-4597-b2ba-ca58d8396aee","resolution":{"observed_at":"2026-08-15T19:25:58.045180Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T19:25:58.324434Z","title":"Available: https://mo2re.github.io/assets/preprints/ BCM-LLMsForStringRequirments-MO2RE25.pdf","venue":null,"work_id":"5e2d7ef4-3232-423d-bda7-8ebe2e95747d","year":null},"citing_paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-15T19:25:57.647181Z"},"links":{"citing_paper":"/paper/2506.16639"},"observation_digest":"sha256:995ad746c23f96620ce3d9bf0a3b718097c4c355994cf255b9ea076353d19082","observation_id":"d3b2f5a8-f404-418b-863e-c204457c89a8","resolution":{"observed_at":"2026-08-15T19:25:58.327767Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.16639","last_updated":"2025-06-19T22:41:43Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-18T10:10:59.113333Z","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation"},"reference_resolution":{"displayed":63,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":20,"verified_exact":1,"verified_fuzzy":42},"total_outbound_references":63},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 63 of 63 outbound references and 0 inbound Pith citation observations for arXiv:2506.16639."}