{"as_of":"2026-08-13T16:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:20b64d21f8d12a4605aa3d7ce0fbee8f1b6215dada0196c49a12c4dd2e257749","coverage":[{"denominator":60,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":60,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T14:25:06.969716Z","state":"measured"},{"denominator":60,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":60,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2411.15368/citation-record","integrity":"/paper/2411.15368/integrity","json":"/paper/2411.15368/citation-record.json","paper":"/paper/2411.15368"},"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-12T14:25:07.885850Z","title":"McConnell, Code complete - A practical handbook of software construction, 2nd Edition","venue":null,"work_id":"6a309739-5bca-4d6b-929c-226cc6eed497","year":2004},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.719316Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:07a65b1e258457befde50751be28095f57f47597bf3e1e65276e94844555edd2","observation_id":"c1fbe2df-3bc2-4a4c-bba2-3e1afd180df4","resolution":{"observed_at":"2026-08-12T14:25:07.890486Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.869906Z","title":"How many of all bugs do we find? A study of static bug detectors,","venue":null,"work_id":"8dbd912b-a37b-4d59-8241-023e3e9de099","year":2018},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.725306Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:16f15f1a23064945ac0a3a06a69497d90a86e375a5c3278221b3879df0a42a0e","observation_id":"1184820f-fff4-4924-b07d-883b1f906b75","resolution":{"observed_at":"2026-08-12T14:25:07.874393Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.853618Z","title":"An empirical study on the correctness of formally verified distributed systems,","venue":null,"work_id":"24d279e6-ecaf-4bed-9ddb-3af40798baaa","year":2017},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.730666Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:826460e2071654832b35618551cba79fa0c568ad55a239af55492809996f0924","observation_id":"82cbcef5-b3f1-46b5-aaf9-77e92b5769b7","resolution":{"observed_at":"2026-08-12T14:25:07.858636Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.838922Z","title":"On the presence and causes of lingering defects in software: An industrial study of lingering defects,","venue":null,"work_id":"fad093d2-ad2b-4b42-b93f-609c77271752","year":2022},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.736042Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:eea7ee1276153d85cdcab960a1674e5cf5d6ae1bfe1021a76497b836fee6a372","observation_id":"cf45d2f2-c7da-4b64-a90c-4d3c0c6634ce","resolution":{"observed_at":"2026-08-12T14:25:07.843716Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.824618Z","title":"Software bug contributed to blackout,","venue":null,"work_id":"13271a3e-4855-413d-bcf7-6cb4b1ef460f","year":2004},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.740597Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:429cc4d9f7991a5a66ceda114ae981954ea9cc85600f98c966199edbf6c2c598","observation_id":"a8f241bd-858a-43e8-8658-cd63b3f104a8","resolution":{"observed_at":"2026-08-12T14:25:07.829221Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.810539Z","title":"The real cost of software errors,","venue":null,"work_id":"00edad94-ecea-4bb9-9a25-6f6839a2030a","year":2009},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.744826Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:312994ee2003b9539a68ce156e5740a0816357a3edf6211887789ea05601f358","observation_id":"4ddf8259-ea1d-484c-8cdf-0bded166ab4a","resolution":{"observed_at":"2026-08-12T14:25:07.815927Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.797543Z","title":"A large-scale study of programming languages and code quality in GitHub,","venue":null,"work_id":"d7aa9d75-fed5-4921-b331-80168bf3f2a0","year":2017},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.750119Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:63f32d3d7705a1587ee90c54e30d850ca5ba7d4ed29920e80855292d4421c9df","observation_id":"d003ec0b-24b6-4f55-90c8-31ab9e5ed775","resolution":{"observed_at":"2026-08-12T14:25:07.801827Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.783380Z","title":"To type or not to type: Quantifying detectable bugs in JavaScript,","venue":null,"work_id":"44e0f11b-65e9-4904-a52f-331d5297f952","year":2017},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.755639Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:62eb8c8bbdfdbe224dd1b8933e6fb4bb74c3e57353312a1660b166722a25dfac","observation_id":"b4563a7d-0d4b-4e04-9bd3-853d757f7e2b","resolution":{"observed_at":"2026-08-12T14:25:07.787612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.768007Z","title":"An empirical study of type-related defects in Python projects,","venue":null,"work_id":"695d5bea-f111-4f0d-9686-8d46c4953dab","year":2022},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.760515Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:cf5e55e1db43e4b219df95e5d31895760da2da2f4247d61ea77df2ededd5ffe0","observation_id":"84c74696-17ed-4467-acf9-bd3573ed2bc5","resolution":{"observed_at":"2026-08-12T14:25:07.773128Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.753028Z","title":"Building useful program analysis tools using an extensible Java compiler,","venue":null,"work_id":"f4e374b2-338a-4844-bf31-c5dc176345ec","year":2012},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.764887Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:65f0940d1016c1d8b0915e0ab94f859db139fd6bcb7213263fda1a0c7abc1e84","observation_id":"bd84bd91-f776-41f8-a11f-2b8c5c9a6efa","resolution":{"observed_at":"2026-08-12T14:25:07.757272Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.722528Z","title":"Moving fast with software verification,","venue":null,"work_id":"86c8937f-1d68-48f0-ae58-ad6e82fc9967","year":2015},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.773091Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:000ff6cd2c861e5e17f8420a040fc798f05a056ae51c5f08cd93cf64ddd45215","observation_id":"c490b608-f412-447e-aa61-96c13b59942e","resolution":{"observed_at":"2026-08-12T14:25:07.727681Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.692012Z","title":"Finding bugs is easy,","venue":null,"work_id":"2f859c6a-e003-4807-a73a-0f25957f5083","year":2004},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.780904Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:0934599909f93183c028bd2433df43aab5fd2d6939a512a4116fa5eb25ec6a45","observation_id":"693a8e9a-c409-405c-9bea-4a5cd26804c2","resolution":{"observed_at":"2026-08-12T14:25:07.696665Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1906.00307","last_updated":"2019-06-01T23:06:11Z","snapshot_observed_at":"2026-07-06T07:57:15.748341Z","submitted_at":"2019-06-01T23:06:11Z","title":"Neural Bug Finding: A Study of Opportunities and Challenges","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1906.00307","snapshot_observed_at":"2026-08-12T14:25:06.784938Z","title":"Neural bug finding: A study of opportunities and challenges,","venue":null,"work_id":null,"year":1906},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.784938Z"},"links":{"cited_paper":"/paper/1906.00307","citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:70347261d0442811ee2a8ea942fb95b33da42065812251e67d472f6165bbf92c","observation_id":"caef8829-f1d1-4ca7-bf75-764aab45b46e","resolution":{"observed_at":"2026-08-12T14:25:06.784938Z","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-12T14:25:07.677240Z","title":"Learning to repre- sent programs with graphs,","venue":null,"work_id":"74c5d4f1-8d7f-4ef0-a824-0217a6f1c336","year":2018},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.789381Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:50cadfe939a03220f9be6362b691d0b6efc8433cc56e7d5cabcb1c736376071e","observation_id":"d28d908d-4f6b-4c4d-a8ac-7fb7a156d5af","resolution":{"observed_at":"2026-08-12T14:25:07.682156Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.663417Z","title":"Probing pretrained models of source codes,","venue":null,"work_id":"b9489ce5-f6ea-4004-b7cb-2349cbe5a2d5","year":2022},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.793309Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:897f223c8a23cb1e5de805aa2343364601108d74d2b6e1b768807671176cef31","observation_id":"d28c177b-dc7b-43af-94e7-a64b1e1f75a0","resolution":{"observed_at":"2026-08-12T14:25:07.667348Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.650208Z","title":"Neural program repair by jointly learning to localize and repair,","venue":null,"work_id":"24cced07-13db-4653-9c20-748c6ce4dfad","year":2019},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.797114Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:9c56bbb9bf64a1980650ea44528b348846d3ff03c3b54f0d61e6a8f83a027f3c","observation_id":"f777d1ac-daff-4bea-ae51-35e11b19cb7d","resolution":{"observed_at":"2026-08-12T14:25:07.654434Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.635671Z","title":"Learning and evaluating contextual embedding of source code,","venue":null,"work_id":"e84a1894-45cd-4e4d-9d21-03b6610e6259","year":2020},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.801028Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:ed61a3a91364f9704a2accea941c3119bb1aae1fdd8f22a4d83e391e7e0784a1","observation_id":"0dcb43ff-2545-4b81-b321-3ef3ea1b589c","resolution":{"observed_at":"2026-08-12T14:25:07.640050Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.620599Z","title":"Global relational models of source code,","venue":null,"work_id":"46a56be4-0c52-4747-9511-31ec44c9fb13","year":2020},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.804816Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:dd0f19066494961114157bebdaf39713748629aed74d3d4d1216e5315f864f04","observation_id":"043e27c4-afda-4047-8520-958c7b161ffe","resolution":{"observed_at":"2026-08-12T14:25:07.624954Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.606054Z","title":"The evolution of type annotations in Python: An empirical study,","venue":null,"work_id":"16b01c8f-9516-4c81-ae8e-7c77021bb35e","year":2022},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.808861Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:b9b686cc50826234e9806b71f712ad3698556f89313565a8c7311bbcedee8fbd","observation_id":"5e8186eb-7c67-4658-b1b6-f13e87d3f681","resolution":{"observed_at":"2026-08-12T14:25:07.610797Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.591408Z","title":"Gated graph sequence neural networks,","venue":null,"work_id":"778d68dd-b1c3-4941-9ee6-2a5d9a923a1c","year":2016},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.812504Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:bf753c4cf03fe590b6f77c1c1a5a5d9989cb95d457fcdb36b020aa4a523a7a1a","observation_id":"a8702627-7281-4929-924a-aec7b12aad8b","resolution":{"observed_at":"2026-08-12T14:25:07.595972Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.576656Z","title":"CodeBERT: A pre-trained model for programming and natural languages,","venue":null,"work_id":"580580dc-99a9-4f63-bc80-ec777487d729","year":2020},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.816368Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:686849e638ca5de1362238b9ab613af11c9b9d8eef51c8e0274c01c036ecd02c","observation_id":"fe9c14a6-8cf5-404d-9145-a7ec1e9f5da7","resolution":{"observed_at":"2026-08-12T14:25:07.581168Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.563321Z","title":"GraphCodeBERT: Pre-training code representations with data flow,","venue":null,"work_id":"c5bdba6d-017e-4461-b6dc-b47224329906","year":2021},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.820616Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:835e2a2e659291568b791723d81dd027a447bf9514949e0fa396c5a1b40be5f6","observation_id":"2c1e33d4-c756-4e44-9625-8d144e7de5a5","resolution":{"observed_at":"2026-08-12T14:25:07.567477Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.549761Z","title":"UniXcoder: Unified cross-modal pre-training for code representation,","venue":null,"work_id":"f9d3bde7-7a3a-4eb7-85c0-ac83d526a12d","year":2022},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.824547Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:535929afbe1b1f0f696f56dbf42c924d21765ff583d19673cf8f0e29cdabc9f3","observation_id":"683b2e15-b2f1-41c6-b398-a1707034654a","resolution":{"observed_at":"2026-08-12T14:25:07.554186Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.534368Z","title":"Understanding neural code intelligence through program simplification,","venue":null,"work_id":"f5a54529-4154-45e9-851b-d6086611da08","year":2021},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.828585Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:b06b3e4e8e1e79b9932fc54026f1f68e26022035f703aa26f20372ed3f4d20e6","observation_id":"ea26d68a-1c64-488b-ac75-f04a7e649953","resolution":{"observed_at":"2026-08-12T14:25:07.539075Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.519800Z","title":"How to train your neural bug detector: Artificial vs real bugs,","venue":null,"work_id":"73eb00c3-50b7-4cfe-85fa-34c5ac1e4d90","year":2023},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.832769Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:43511d44253ea31fcc3b07ed64eb820f2b8e58f85064bb375679020277a85823","observation_id":"fef3ec28-df26-49f3-8763-d0fa5449aaf1","resolution":{"observed_at":"2026-08-12T14:25:07.524202Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.505237Z","title":"Learning to fix build errors with Graph2Diff neural networks,","venue":null,"work_id":"aa2e901a-c70b-421b-b1e0-952bf9fe8d49","year":null},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.837187Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:d8b9c0c85684b8fd608056810fc417125ba0806810faa2ebcdc14da430c746ea","observation_id":"432de2c6-1cb5-420b-9827-f067867fc976","resolution":{"observed_at":"2026-08-12T14:25:07.509764Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.475199Z","title":"How often do single-statement bugs occur?: The ManySStuBs4J dataset,","venue":null,"work_id":"6301e7ca-9f21-4ba6-bfcd-d1b32661e615","year":2020},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.845752Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:59709862aa7330bb6a9584714da2ec8792ca718000b921b6c073913c7be794c4","observation_id":"b27f1422-a47c-44fe-aeda-ec9e61e07c41","resolution":{"observed_at":"2026-08-12T14:25:07.480787Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.458832Z","title":"Graph neural networks in program analysis,","venue":null,"work_id":"8be36166-4b2f-40f1-9f60-1b7f4895997f","year":2022},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.849934Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:fcf3d62447bbe1fb727e72d78196b6e818c23f3ea23ce6ca9688f60bbd36189b","observation_id":"69144731-867e-4b75-8cc6-0a844263905f","resolution":{"observed_at":"2026-08-12T14:25:07.464140Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.443688Z","title":"Paper artifacts","venue":null,"work_id":"02d2c60d-851b-43bc-b2e4-dd8480f4ec8a","year":null},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.854211Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:0cc55363f7d83e4a3d21c784c5d8dd784fc077e5c6d65be8e2863ed64b54422d","observation_id":"763218b0-e2a5-4ff9-a3fd-38e46f1a52f5","resolution":{"observed_at":"2026-08-12T14:25:07.449053Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.428677Z","title":"Python 3 types in the wild: a tale of two type systems,","venue":null,"work_id":"6ac1d63f-940b-4b1a-bc3a-700ae4568497","year":2020},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.859599Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:92cc1c9d95418b94c427152beebedc7536404395b3d08c7b342aafcd35e5fcc6","observation_id":"fc63e7bc-1815-402b-94b8-ecdeffd217a4","resolution":{"observed_at":"2026-08-12T14:25:07.433053Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.401326Z","title":"Pep 484 – type hints","venue":null,"work_id":"f55a64ce-46f3-4a5b-afec-8db0fda92b8d","year":null},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.867621Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:f65f5be486d38f3f3c18cf1265ae4334cbb7a0ee3eafd4e079784fe93f63ef21","observation_id":"ec5bbea3-8896-4ade-a39c-73bf113ebd15","resolution":{"observed_at":"2026-08-12T14:25:07.405142Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.386878Z","title":"mypy - optional static typing for Python","venue":null,"work_id":"fe7232a8-195b-4284-868a-69b23e2cc507","year":null},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.872265Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:564af4182511c1a602589ff7838df4dd7ac7806004a7d93c2bfcb3a6d9a110d5","observation_id":"a9412e4f-5191-46b4-b33b-b4066abfb40a","resolution":{"observed_at":"2026-08-12T14:25:07.391147Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.372350Z","title":"Gradual typing for objects,","venue":null,"work_id":"8b9e67fa-c634-49c1-ad26-9deb1c1fca5f","year":2007},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.876975Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:bc60f8741c43d5973bf4b86c26816ff8cb46ca058616a9cd4b6a9425d6fa8e4c","observation_id":"dbb4a6fd-fe15-42ba-a6a1-c28eab14c3f3","resolution":{"observed_at":"2026-08-12T14:25:07.377330Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.415115Z","title":null,"venue":null,"work_id":"d282b30a-11a6-47c8-a831-67e4b796affa","year":2020},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.863819Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:6bdad407c3bb181a71935df79a45b992e2710da28fc4c234caf7f6f11f56a667","observation_id":"12ce07eb-1f35-4864-b2ea-69e1623dd0f8","resolution":{"observed_at":"2026-08-12T14:25:07.419213Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.340180Z","title":"Deep learning type inference,","venue":null,"work_id":"a39fb9e0-064e-42d4-976a-09b29e23ec64","year":2018},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.885307Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:62c1fc95813d9d1efe113e66c431903de4b5bc434c6cb74b718dd019f7d47143","observation_id":"ab3a9092-4abe-46e1-969e-2285d1e39d67","resolution":{"observed_at":"2026-08-12T14:25:07.344521Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.324451Z","title":"Typilus: Neural type hints,","venue":null,"work_id":"98a5ab6c-d7b8-4958-a122-4bb2f10078b2","year":2020},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.889243Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:3519a116c650353ecf1aa63c552884f3e8f33c896053e9373862ddc94e09ff0c","observation_id":"6851daac-f252-44b7-8222-faf13099663f","resolution":{"observed_at":"2026-08-12T14:25:07.329705Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:06.893454Z","title":"Attention is all you need,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.893454Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:3decb7ae5c64bce5267ebcba89a33c737b3a637b3fdb5795522b3fd30c691849","observation_id":"2a4a71c9-c571-45b7-946f-17aec4ae456d","resolution":{"observed_at":"2026-08-12T14:25:06.893454Z","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-12T14:25:07.355974Z","title":"pytype - a static type analyzer for Python code","venue":null,"work_id":"01e51f53-70b1-48df-a108-046159d188f2","year":null},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.881173Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:aeebdd27e90885d60cdfcb2e7c4522d76b5110ff48fa8ab43139d6a32cae1f98","observation_id":"40d42e43-d1e8-48b4-915f-323e12ada776","resolution":{"observed_at":"2026-08-12T14:25:07.361080Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.286509Z","title":"Semi-supervised classification with graph convolutional networks,","venue":null,"work_id":"ec3c5d7d-a75c-46e1-9423-b727b17efd5b","year":2017},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.900782Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:209c42c14f4b05933771a1b2bb72c0226388741aa267c0ec283d81ef2763d5e7","observation_id":"a0efa5ba-a4b9-4840-aa23-61aacd2fa8b9","resolution":{"observed_at":"2026-08-12T14:25:07.291075Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.271334Z","title":"On the properties of neural machine translation: Encoder-decoder approaches,","venue":null,"work_id":"fe30c19b-da6e-4c0e-9474-a5f41503503d","year":2014},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.904514Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:e2d606fa77d8c60d17d00cde470023c033e0e94c018005155282f2e91b46967e","observation_id":"d49d864b-9045-4421-b47a-3c91bc7afa87","resolution":{"observed_at":"2026-08-12T14:25:07.276494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.256951Z","title":"On distribution shift in learning-based bug detectors,","venue":null,"work_id":"267634f8-f460-4bfd-9b37-0b36db118dd0","year":2022},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.908047Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:a97ce02c9394c4ab6679976ef14b865119c994b618fdd286c90f66e77da18600","observation_id":"2e7df2c4-a21b-49f9-a0cc-3f6237e62c86","resolution":{"observed_at":"2026-08-12T14:25:07.261601Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.301115Z","title":"A survey of transformers,","venue":null,"work_id":"1b483619-4311-4f4f-bd0e-fb95a79b6d39","year":2022},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.897259Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:91d5e780791d5539f3397aabffeb011b35a9942dc2725f321853a5c05124c311","observation_id":"ed0bf294-98fb-42de-a586-1c7eb2e58b72","resolution":{"observed_at":"2026-08-12T14:25:07.305264Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.228424Z","title":"How well static type checkers work with gradual typing? a case study on python,","venue":null,"work_id":"b5e823e5-647b-4f88-a6ef-54722b4a7e47","year":2023},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.916029Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:a8f75c437b4818cd6f22b5994f0ca2a4c89b50260eac9603610bacae9ac4b802","observation_id":"1773a4a5-6b30-4803-bf83-50ffc09fc702","resolution":{"observed_at":"2026-08-12T14:25:07.232354Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.213810Z","title":"A probabilistic interpretation of precision, recall and F-score, with implication for evaluation,","venue":null,"work_id":"bf550f80-e0e7-4b39-aaaf-8e3632cd26ec","year":2005},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.920160Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:943f4b4f7283b75f2aa2ba0d6aec7cb55b02d2b99d632bfd267d40f68e3991dd","observation_id":"a5205d09-c7c6-4b7a-bd1e-b4a36741270a","resolution":{"observed_at":"2026-08-12T14:25:07.218622Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.199631Z","title":"Deep learning based identification of suspicious return statements,","venue":null,"work_id":"6131339d-aefc-4e32-861a-92332bf56e29","year":2020},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.924366Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:75cb20e69c2dbfea106fd2ee673d4e730dfd3343a16eead58f6775ae0a2ad200","observation_id":"1e394c11-6e7d-43a6-979a-68fa720dbbf6","resolution":{"observed_at":"2026-08-12T14:25:07.204548Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.242164Z","title":"Self-supervised bug detection and repair,","venue":null,"work_id":"b56a02ce-e315-4fda-ac9e-9ce0a8a9bce0","year":2021},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.911760Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:d2a674e88a0d945b1da56ede7003d9ade8f707e602d0968166e4e147943f231a","observation_id":"34a4548d-d07f-488f-977a-15bc3557c5f2","resolution":{"observed_at":"2026-08-12T14:25:07.246435Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.184136Z","title":"Learning realistic mutations: Bug creation for neural bug detectors,","venue":null,"work_id":"ae623932-859c-4b39-aa03-e51fa9d234f3","year":2022},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.933975Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:916cbe15ce5ef9ab5c2535052021e39c81a0f7352316e7498734f926eec1b24e","observation_id":"7e9550e5-f4b3-4751-9686-fa99bc2fac3c","resolution":{"observed_at":"2026-08-12T14:25:07.188797Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.151845Z","title":"Semantic bug seeding: A learning-based approach for creating realistic bugs,","venue":null,"work_id":"33b65095-ac87-4207-afa1-805ec953a31f","year":2021},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.941284Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:467ace3e52f28ba452ca6d72fb5dd197631fa39afa200c870d0db1359d69b6ff","observation_id":"cfdabf46-41f2-4998-87bb-4cc398f32a94","resolution":{"observed_at":"2026-08-12T14:25:07.156986Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.136511Z","title":"Graph-based, self-supervised program repair from diagnostic feedback,","venue":null,"work_id":"8ad69e17-3b47-4e39-94cf-7b59f32b1175","year":2020},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.945223Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:0d3fea79294e3169421468821f606f8f66a5caa60ff64ca6c238793b18c74245","observation_id":"99ccda45-4398-4909-8a45-76966710921d","resolution":{"observed_at":"2026-08-12T14:25:07.141576Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.00931","last_updated":"2024-01-20T17:05:40Z","snapshot_observed_at":"2026-08-13T05:34:33.947646Z","submitted_at":"2023-11-02T01:51:43Z","title":"Learning Defect Prediction from Unrealistic Data","version":2},"cited_work":{"arxiv_id":"2311.00931","doi":null,"metadata_source":"pith","pith_arxiv_id":"2311.00931","snapshot_observed_at":"2026-08-12T14:25:07.048031Z","title":"Learning Defect Prediction from Unrealistic Data","venue":"cs.LG","work_id":"b6e89902-e6ef-470f-ac09-30736c055a99","year":2023},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.929541Z"},"links":{"cited_paper":"/paper/2311.00931","citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:1bd75734697c4f7bf338d51eae22642116e6cbc4b7e14948037fbdd66e0908a4","observation_id":"d4c918d9-ba55-4cc4-9fca-d4826deb2789","resolution":{"observed_at":"2026-08-12T14:25:07.052882Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.17145","last_updated":"2023-05-25T21:16:09Z","snapshot_observed_at":"2026-08-13T15:57:13.950178Z","submitted_at":"2023-05-25T21:16:09Z","title":"Type Prediction With Program Decomposition and Fill-in-the-Type Training","version":1},"cited_work":{"arxiv_id":"2305.17145","doi":null,"metadata_source":"pith","pith_arxiv_id":"2305.17145","snapshot_observed_at":"2026-08-12T14:25:07.025934Z","title":"Type Prediction With Program Decomposition and Fill-in-the-Type Training","venue":"cs.SE","work_id":"f7ece826-9e10-4001-a0fb-47ec10debfdd","year":2023},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.953258Z"},"links":{"cited_paper":"/paper/2305.17145","citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:830f769c54d0da3763ae659ab5a24a3225ec13740ae0b585110a0c82c63528df","observation_id":"75eefdfc-079f-4830-8940-b51ada2f7555","resolution":{"observed_at":"2026-08-12T14:25:07.030783Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.108508Z","title":"Do machine learning models produce TypeScript types that type check?","venue":null,"work_id":"52ce99c7-716f-491d-9174-acbdbdd72392","year":2023},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.957395Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:a22fe57d422b78ce04b72e2a3baf9e7b3f9ca55add685e2c36f3b6e0b84cb676","observation_id":"931f8a37-5fc4-438d-9370-fb2b87903d60","resolution":{"observed_at":"2026-08-12T14:25:07.112631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.094049Z","title":"Typewriter: Neural type prediction with search-based validation,","venue":null,"work_id":"83f55ee6-2530-414e-88ea-e199c7119e4d","year":2020},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.961371Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:5db2017327d7a8a168a289f921de394dc914765e9aaabe1abba5614edd96783d","observation_id":"58714f0d-ea37-4357-9008-3796fc7c062d","resolution":{"observed_at":"2026-08-12T14:25:07.098807Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.079525Z","title":"TypeT5: Seq2seq type inference using static analysis,","venue":null,"work_id":"c0abe505-5bc9-4b4d-a715-a636e939259a","year":2023},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.965291Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:acc974618075e68087eb9b16f48a6c734aa192fe64794299bcca13f26a58ad1a","observation_id":"0cbca44b-032f-4064-93e3-9d7509ac9c77","resolution":{"observed_at":"2026-08-12T14:25:07.084054Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.122113Z","title":"SelfAPR: Self-supervised program repair with test execution diagnostics,","venue":null,"work_id":"b9323b99-63d1-48c1-98ff-856dd0a0ec26","year":2022},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.949279Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:33f568fdb212bd09943b716da6b2babca70c6e89b443b7e28af4a4a4d92c65ce","observation_id":"b82b8bcd-b3a7-407c-90b9-06c948e7123e","resolution":{"observed_at":"2026-08-12T14:25:07.126619Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2004.00348","last_updated":"2021-03-26T19:17:53Z","snapshot_observed_at":"2026-08-05T02:39:38.403027Z","submitted_at":"2020-04-01T11:32:28Z","title":"OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints","version":3},"cited_work":{"arxiv_id":"2004.00348","doi":null,"metadata_source":"pith","pith_arxiv_id":"2004.00348","snapshot_observed_at":"2026-08-12T14:25:07.003057Z","title":"OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints","venue":"cs.PL","work_id":"c14bb902-54de-468f-80f3-509efee52664","year":2020},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.969716Z"},"links":{"cited_paper":"/paper/2004.00348","citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:68dd8702a2893f73976d41ce3a95720f404ebf7f8b59e0922e25a1f7576763ca","observation_id":"28e9080a-47ef-4103-b88c-01484d21d7c8","resolution":{"observed_at":"2026-08-12T14:25:07.009564Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.738273Z","title":null,"venue":null,"work_id":"f8e20f0a-f7d2-4563-b5db-755e5cebaab6","year":2012},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.769217Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:71910cbc9609839195318274696d6fc9d7445a19fbe3521d80b48cb952658da6","observation_id":"361dcb4d-e575-44c6-8b4c-6e73f066f104","resolution":{"observed_at":"2026-08-12T14:25:07.742467Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.490654Z","title":null,"venue":null,"work_id":"6aeb1049-0d14-4c02-a247-a9840ca85d40","year":2020},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.841595Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:f5556400fcdc42a10b587a1643daec91fd9491198b18bed83f6795af65931b9c","observation_id":"ec649d33-7624-49c0-8ee1-f43a6b3f98cf","resolution":{"observed_at":"2026-08-12T14:25:07.495472Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.168707Z","title":null,"venue":null,"work_id":"5f76746d-31a5-460c-a587-f486ae0003ba","year":2022},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.937729Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:7105e75e5da13194935a874155f986acd7c6e43f359cb49d041df23f4c891f04","observation_id":"745da929-d8f0-433d-a06e-56d39a37cd37","resolution":{"observed_at":"2026-08-12T14:25:07.173735Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"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-12T14:25:07.705910Z","title":null,"venue":null,"work_id":"6206a6c7-ab06-45fe-b482-d118ed6f0bbc","year":2015},"citing_paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages","version":2},"reference_index":9058,"source":"pdf_text","source_observed_at":"2026-08-12T14:25:06.776850Z"},"links":{"citing_paper":"/paper/2411.15368"},"observation_digest":"sha256:ebcea3ad3c3114e9cf131a3ee37d716b4c7b2151b42437b1e6e2ac52e9fd9241","observation_id":"1cfde6b9-6785-4828-b881-6e2319fd5f3d","resolution":{"observed_at":"2026-08-12T14:25:07.710661Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.15368","last_updated":"2025-01-16T05:40:08Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-12T14:20:21.801746Z","submitted_at":"2024-11-22T22:29:37Z","title":"The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages"},"reference_resolution":{"displayed":60,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":4,"unresolved":3,"verified_exact":3,"verified_fuzzy":50},"total_outbound_references":60},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 60 of 60 outbound references and 0 inbound Pith citation observations for arXiv:2411.15368."}