{"as_of":"2026-08-08T09:30:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c922eabc088a21b8ee8658eee22c7bb7282d728b84f9322b498eaa8a7dd2bf13","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T15:29:29.422156Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:00:46.102393Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-18T08:01:06.698832Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.15039","snapshot_observed_at":"2026-08-07T11:00:46.102393Z","title":"Logicase: Effective test case generation from logical description in competitive programming,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.11081","last_updated":"2025-06-04T08:44:25Z","snapshot_observed_at":"2026-08-07T10:54:29.102647Z","submitted_at":"2025-06-04T08:44:25Z","title":"SAGE:Specification-Aware Grammar Extraction for Automated Test Case Generation with LLMs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T11:00:46.102393Z"},"links":{"cited_paper":"/paper/2505.15039","citing_paper":"/paper/2506.11081"},"observation_digest":"sha256:633813594cd156f25e1f9ffcf2a911120d8c26d9e6da998573d4391375b97a3c","observation_id":"25265aa3-491a-4d89-8d6a-eabe744e28ed","resolution":{"observed_at":"2026-08-07T11:00:46.102393Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"cited_work":{"arxiv_id":"2505.15039","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.15039","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Logicase: Effective test case generation from logical description in competitive programming.CoRR, abs/2505.15039","venue":null,"work_id":"5f406438-0db6-4d19-8fe7-8a9820aab8b7","year":null},"citing_paper":{"arxiv_id":"2510.12047","last_updated":"2026-04-20T10:38:31Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-10-14T01:12:37Z","title":"ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation","version":4},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-18T08:00:16.298393Z"},"links":{"cited_paper":"/paper/2505.15039","citing_paper":"/paper/2510.12047"},"observation_digest":"sha256:f8c9a3ff98fec1c0ec5957e91b50319cc2ee42979918ba38acd8ec912d3c6a02","observation_id":"a08140a6-c940-4ceb-ac73-2036707773aa","resolution":{"observed_at":"2026-05-18T08:01:06.701974Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.15039/citation-record","integrity":"/paper/2505.15039/integrity","json":"/paper/2505.15039/citation-record.json","paper":"/paper/2505.15039"},"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-07T15:29:33.902338Z","title":"Burke, Tsong Yueh Chen, John A","venue":null,"work_id":"1f454d07-3023-4ed4-81ee-ffe1a67cb599","year":1978},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:26.834439Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:8b1918b12e39ac1e184c6cbb3fc09dea989fb3b5f8d2ba21f19efd68e21da486","observation_id":"005d399d-ffa2-4679-a049-f4195636ac77","resolution":{"observed_at":"2026-08-07T15:29:33.980534Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T04:13:14.044604Z","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-07T15:29:26.971998Z","title":"Evaluating large language models trained on code","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:26.971998Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:df836d84bf206dcd73d716694f8f9ebf6b644b21e27036a8492b0f08041df71c","observation_id":"ac7a3743-6a9a-4269-acc0-4018d3d3651a","resolution":{"observed_at":"2026-08-07T15:29:26.971998Z","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-07T15:29:33.722274Z","title":"Context-free commutative grammars with integer counters and resets","venue":null,"work_id":"3283493d-0d38-4e22-b0b9-d6fa2a765529","year":2018},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:27.119266Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:8d6014facdd76d9708010ebe60ad53ba7a7cb985a1bf93926661f214da5b092d","observation_id":"307347fc-29ce-4b3a-bcf4-e3778142d495","resolution":{"observed_at":"2026-08-07T15:29:33.833855Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T15:29:33.551965Z","title":"Desmarais","venue":null,"work_id":"c94ef022-3d7f-4908-b404-5a985d531e1a","year":2024},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:27.248917Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:a8cfaacc9c69c1f1fce81bb1a46e399a9517a8cc3f3a4eb8888254fbd20a41d0","observation_id":"28cadd28-eac1-4cfd-92c2-3aa554605f3c","resolution":{"observed_at":"2026-08-07T15:29:33.638086Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T15:29:33.352250Z","title":"CodeBERT : A pre-trained model for programming and natural languages","venue":null,"work_id":"41981b63-d2ca-405c-9f15-df43531fcc87","year":2020},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:27.427398Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:614b4f4a490887b93e8298a21412ed943b8eebda4652c3fec2f8c4695a4cbb65","observation_id":"ce90ddc7-8117-4138-8f76-d93c33c143a7","resolution":{"observed_at":"2026-08-07T15:29:33.455518Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T15:29:33.186621Z","title":"EvoSuite : A utomatic test suite generation for object-oriented software","venue":null,"work_id":"df5e6479-c4db-4eb8-b7cc-d71c02c81f88","year":2011},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:27.635981Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:993a0abcd2427071381ad9a7ff5c40656525e040db65cec5100f6382f28d4357","observation_id":"27a8d741-fc33-4d71-a5cc-fbb4099789ce","resolution":{"observed_at":"2026-08-07T15:29:33.263890Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T15:29:33.007794Z","title":null,"venue":null,"work_id":"3671c0c3-d895-48fd-a799-c8995f1b17a0","year":2008},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:27.722438Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:64752d84ca12e9401bb1d9a9f60e05f11b99780ef4c1e185089d7f0adadca146","observation_id":"46e54cd7-1309-42ad-b8ea-fc24290c8e83","resolution":{"observed_at":"2026-08-07T15:29:33.098055Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T15:29:32.745040Z","title":"UniXcoder : U nified cross-modal pre-training for code representation","venue":null,"work_id":"a3ad75b0-8743-47f1-ad00-018d125ca579","year":2022},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:27.854011Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:dc2c98f6db05274ea8f80b4fa7c6596a8a86115d1ffa56cd82f5d1132e9f617c","observation_id":"706e1fe7-b618-4435-85ca-db66264568f0","resolution":{"observed_at":"2026-08-07T15:29:32.871185Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T15:29:32.466929Z","title":"Hopcroft, Rajeev Motwani, and Jeffrey D","venue":null,"work_id":"d207b7a0-1248-4ee7-8642-7d8b48687a3e","year":2007},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:27.917136Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:f139638d3070fd834132177ff732a0eebb6971f7d95fdff3aa80d77274ee55b4","observation_id":"300a58b2-5942-468e-8190-ee516134d079","resolution":{"observed_at":"2026-08-07T15:29:32.607461Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T15:29:32.210004Z","title":"Lahiri, and Siddhartha Sen","venue":null,"work_id":"da877215-7836-43ee-a2cc-eb85936a29d1","year":2023},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:27.957967Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:c0654af6c5d06d6cd3528c22a1481727509fada47af9edfc4d5b33e2de484e65","observation_id":"19b4d0de-75cf-43c3-8b8d-0dc5858063f5","resolution":{"observed_at":"2026-08-07T15:29:32.339669Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T15:29:31.906492Z","title":null,"venue":null,"work_id":"555c3ab1-e3a0-4c45-939c-37e7a57b3529","year":2022},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:28.055205Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:97ae2b6316ae38eeb14ff9c4f6d98a012f056b3a1bfa36959497c83a13434c04","observation_id":"01da9971-a13b-458d-86e8-047c1770487b","resolution":{"observed_at":"2026-08-07T15:29:32.071808Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T15:29:31.576726Z","title":"Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation","venue":null,"work_id":"c1d32fa5-6d27-4786-a091-16ef111cfbc7","year":2023},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:28.181334Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:ff64f73bd60f89cf2c8ab6247d515cee057b355c376d5eeb9fefe176a8ee259a","observation_id":"4c7f4297-b6c9-40c6-ba22-0de0feb7e647","resolution":{"observed_at":"2026-08-07T15:29:31.742965Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T15:29:31.230362Z","title":"Miller, Lars Fredriksen, and Bryan So","venue":null,"work_id":"c764fa5a-8fb4-4928-b31f-d28766a27d8b","year":1990},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:28.386380Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:e68d8f73905a8c669a171a322772cbcdeb83aaf302d8d36a614547c63a1319a1","observation_id":"1f52ad91-71f8-4053-939f-c63c9a1fe123","resolution":{"observed_at":"2026-08-07T15:29:31.411031Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T15:29:30.926005Z","title":"Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladimir Zolotov, Julian Dolby, Jie Chen, Mihir R","venue":null,"work_id":"98ce5170-48ba-4bec-b167-c52a7248584b","year":2021},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:28.514021Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:eaf59dcbfd00ca536fc46074581a7f2ab8bf638372da27e34373885e6292e892","observation_id":"aad1074c-78dd-4bac-8618-8ca0b012c93b","resolution":{"observed_at":"2026-08-07T15:29:31.001626Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.12950","last_updated":"2024-01-31T19:47:26Z","snapshot_observed_at":"2026-07-06T16:10:07.931347Z","submitted_at":"2023-08-24T17:39:13Z","title":"Code Llama: Open Foundation Models for Code","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.12950","snapshot_observed_at":"2026-08-07T15:29:28.656489Z","title":"Code Llama : O pen foundation models for code","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:28.656489Z"},"links":{"cited_paper":"/paper/2308.12950","citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:6858e02311f6cf702be1f2a19c911f99d9f9556bff944e04a7fb912eed6e0e75","observation_id":"85ebd76a-7c86-47c8-98f9-c4e01c981d98","resolution":{"observed_at":"2026-08-07T15:29:28.656489Z","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-07T15:29:30.694330Z","title":"Gramatron: E ffective grammar-aware fuzzing","venue":null,"work_id":"3e55af35-1d57-45e9-9a94-aa4682c9b22d","year":2021},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:28.712002Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:37dd85686673105c1571eab8bc28926414ffb40c73b63be1dce466763e1a8fe5","observation_id":"8a795059-5bd9-431d-af76-441c34f3e0a8","resolution":{"observed_at":"2026-08-07T15:29:30.798716Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.08295","last_updated":"2024-04-16T12:52:47Z","snapshot_observed_at":"2026-08-03T03:29:01.959523Z","submitted_at":"2024-03-13T06:59:16Z","title":"Gemma: Open Models Based on Gemini Research and Technology","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.08295","snapshot_observed_at":"2026-08-07T15:29:28.761039Z","title":"Gemma : O pen models based on gemini research and technology","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:28.761039Z"},"links":{"cited_paper":"/paper/2403.08295","citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:8a0cca6bfb79250c995b2fa6dc1eb05dc8fc0948cce14f73d236f5c429cd78e5","observation_id":"269dc555-f1b3-4422-8b59-8e4ca95a18c5","resolution":{"observed_at":"2026-08-07T15:29:28.761039Z","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-07T15:29:30.390354Z","title":"Bissyand \\' e","venue":null,"work_id":"2d50f53a-68f8-4376-8952-4b5d602e44e1","year":2022},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:28.835613Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:a1ae9dd613b5c88333e9cb8aae0e9119b1c5825b861cb4de0358ea12cfa8291d","observation_id":"d5125234-cf1a-43f6-89ac-c45125180934","resolution":{"observed_at":"2026-08-07T15:29:30.534409Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2109.00859","last_updated":"2021-09-02T12:21:06Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-09-02T12:21:06Z","title":"CodeT5: Identifier-aware Unified Pre-trained Encoder-Decoder Models for Code Understanding and Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.00859","snapshot_observed_at":"2026-08-07T15:29:28.888487Z","title":"Joty, and Steven C","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:28.888487Z"},"links":{"cited_paper":"/paper/2109.00859","citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:cca7c261ff5b46898fc4b018c06fad38705bdc86616106e41000df3fa195f406","observation_id":"50f59f46-39d8-47c2-9e03-b41dabf5e3b2","resolution":{"observed_at":"2026-08-07T15:29:28.888487Z","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-07T15:29:30.126937Z","title":"Saurous, and Yoon Kim","venue":null,"work_id":"6a7f35d0-a2bd-4e70-8032-27a83db92edc","year":2023},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:28.941230Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:c7c015218fef80ac292c618ac4bdb5cff34601319f94d432b3301055ccaff42c","observation_id":"d0bf057d-554d-469b-bf78-22e3d1b6d53f","resolution":{"observed_at":"2026-08-07T15:29:30.238342Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.04531","last_updated":"2025-02-01T08:28:28Z","snapshot_observed_at":"2026-07-06T18:26:50.515452Z","submitted_at":"2024-06-06T22:07:50Z","title":"TESTEVAL: Benchmarking Large Language Models for Test Case Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.04531","snapshot_observed_at":"2026-08-07T15:29:29.018544Z","title":"TESTEVAL: benchmarking large language models for test case generation","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:29.018544Z"},"links":{"cited_paper":"/paper/2406.04531","citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:943712c584ea5527c54814f3948bbfc17274743b1eec584a7ea6a7d9c53e50e8","observation_id":"3c25c92e-8739-4e20-a05a-7a6aa9a60f6c","resolution":{"observed_at":"2026-08-07T15:29:29.018544Z","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-07T15:29:29.912930Z","title":"Chi, Quoc V","venue":null,"work_id":"aad43979-cfb1-4fa3-86f3-64521657653c","year":2022},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:29.089294Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:0e889d363c3416d2cea1b8aab483b6e8030c7cf6e6fc07aaf88bc2b3296abc4c","observation_id":"425c547a-f9a2-42f0-90ed-47c40df3f29b","resolution":{"observed_at":"2026-08-07T15:29:30.008396Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T15:29:29.835206Z","title":"Fuzz4all: Universal fuzzing with large language models","venue":null,"work_id":"f086ba2b-e326-4b17-b23d-1df87a538859","year":2024},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:29.140633Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:9600609ab1910a82114b49a25bff777905ecef5e91aa187cc134cefd36e47691","observation_id":"19548b65-5592-4342-a099-55a7246dcff3","resolution":{"observed_at":"2026-08-07T15:29:29.877390Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T15:29:29.715993Z","title":"TestAug : A framework for augmenting capability-based NLP tests","venue":null,"work_id":"d5b6f221-b4bd-4b0f-a0e8-81455e244972","year":2022},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:29.199188Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:a2a8b3cd2fe123c6fdd74b0709773bd734f55132ee887c25179b58955c9245a4","observation_id":"956df0ac-d9b1-431a-ae35-fbde84fe7971","resolution":{"observed_at":"2026-08-07T15:29:29.775651Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.04207","last_updated":"2024-05-19T08:51:14Z","snapshot_observed_at":"2026-08-08T00:08:43.176849Z","submitted_at":"2023-05-07T07:17:08Z","title":"No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.04207","snapshot_observed_at":"2026-08-07T15:29:29.277721Z","title":"No more manual tests? evaluating and improving ChatGPT for unit test generation","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:29.277721Z"},"links":{"cited_paper":"/paper/2305.04207","citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:232fd1667ef5b302b393b024d5dc23aa9272db10d4b5ced1864744197b8e7b44","observation_id":"2d37bf4c-76cb-4a6a-b30a-0a6e24084a08","resolution":{"observed_at":"2026-08-07T15:29:29.277721Z","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-07T15:29:29.560202Z","title":"RePair : A utomated program repair with process-based feedback","venue":null,"work_id":"3bb461f2-fc47-4020-9718-b89303820026","year":2024},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:29.344668Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:db63f8fff6ffc18d2eb67ca42bb16ace2b00db707e90efea24b86246f531603d","observation_id":"ff9a024d-8ee5-4067-bec3-92fe7089ac21","resolution":{"observed_at":"2026-08-07T15:29:29.642186Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T15:29:29.422156Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T15:29:29.422156Z"},"links":{"citing_paper":"/paper/2505.15039"},"observation_digest":"sha256:29655fc810adba40d70eb7ce5aa4787a6feb51d9bf5110da977a7c0aceca1f4a","observation_id":"172dd74a-bc15-43e8-bcba-d992a9dc80cf","resolution":{"observed_at":"2026-08-07T15:29:29.422156Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.15039","last_updated":"2025-05-21T02:48:01Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T15:22:57.562989Z","submitted_at":"2025-05-21T02:48:01Z","title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":0,"verified_fuzzy":18},"total_outbound_references":27},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 2 inbound Pith citation observations for arXiv:2505.15039."}