{"entities":[{"id":"self-critique-paper","name":"Self-critiquing models for assisting human evaluators","type":"document"},{"id":"llama-paper","name":"LLaMA (2023 paper)","type":"document"},{"id":"deepseek-v3-report","name":"DeepSeek-V3 Technical Report","type":"document"},{"id":"qwen-report","name":"Qwen Technical Report","type":"document"},{"id":"quoc-le","name":"Quoc Le","type":"person"},{"id":"ernie-5-report","name":"ERNIE 5.0 Technical Report","type":"document"},{"id":"kimi-k2-report","name":"Kimi K2: Open Agentic Intelligence","type":"document"},{"id":"seed-coder-report","name":"Seed-Coder: Let the Code Model Curate Data for Itself","type":"document"},{"id":"kp-program-synthesis-large-language-models-2021","name":"Program Synthesis with Large Language Models","type":"document","subtype":"Research paper","description":"Work-level record. Its arXiv versions and any conference or journal version are listed as sources, each with its own date. A citation to the work does not identify which version the citing author read.","sourceIds":["source-kp-program-synthesis-large-language-models-2021-v1"]},{"id":"maarten-bosma","name":"Maarten Bosma","type":"person"}],"claims":[{"id":"kp-states-program-synthesis-large-language-models-2021-1","subject":"kp-program-synthesis-large-language-models-2021","predicate":"states_contribution","object":{"kind":"literal","value":"The paper evaluates large language models of 244M to 137B parameters on program synthesis in Python using two benchmarks it introduces, MBPP and MathQA-Python, in few-shot and fine-tuning settings."},"topic":"ideas","statement":"The paper evaluates large language models of 244M to 137B parameters on program synthesis in Python using two benchmarks it introduces, MBPP and MathQA-Python, in few-shot and fine-tuning settings.","time":{"kind":"event","date":"2021-08-16","basis":"publication","note":"Date of the arXiv version quoted, submitted 16 August 2021 (UTC); later versions may word it differently."},"derivation":"explicit","resolution":"supported","editorialState":"seed","evidenceIds":["evidence-kp-states-program-synthesis-large-language-models-2021-1-1"]},{"id":"kp-cites-self-critique-paper-program-synthesis-large-language-models-2021","subject":"self-critique-paper","predicate":"cites","object":{"kind":"entity","entityId":"kp-program-synthesis-large-language-models-2021"},"topic":"ideas","statement":"Self-critiquing models for assisting human evaluators cites Program Synthesis with Large Language Models.","time":{"kind":"event","date":"2022-06-12","basis":"publication","note":"Date of the citing source as recorded in the dataset; unknown where the dataset has none."},"derivation":"explicit","resolution":"supported","editorialState":"seed","evidenceIds":["evidence-kp-cites-self-critique-paper-program-synthesis-large-language-models-2021-1"]},{"id":"kp-cites-llama-paper-program-synthesis-large-language-models-2021","subject":"llama-paper","predicate":"cites","object":{"kind":"entity","entityId":"kp-program-synthesis-large-language-models-2021"},"topic":"ideas","statement":"LLaMA (2023 paper) cites Program Synthesis with Large Language Models.","time":{"kind":"event","date":"2023-02-27","basis":"publication","note":"Date of the citing source as recorded in the dataset; unknown where the dataset has none."},"derivation":"explicit","resolution":"supported","editorialState":"seed","evidenceIds":["evidence-kp-cites-llama-paper-program-synthesis-large-language-models-2021-1"]},{"id":"kp-cites-deepseek-v3-report-program-synthesis-large-language-models-2021","subject":"deepseek-v3-report","predicate":"cites","object":{"kind":"entity","entityId":"kp-program-synthesis-large-language-models-2021"},"topic":"ideas","statement":"DeepSeek-V3 Technical Report cites Program Synthesis with Large Language Models.","time":{"kind":"event","date":"2024-12-27","basis":"publication","note":"Date of the citing source as recorded in the dataset; unknown where the dataset has none."},"derivation":"explicit","resolution":"supported","editorialState":"seed","evidenceIds":["evidence-kp-cites-deepseek-v3-report-program-synthesis-large-language-models-2021-1"]},{"id":"kp-cites-qwen-report-program-synthesis-large-language-models-2021","subject":"qwen-report","predicate":"cites","object":{"kind":"entity","entityId":"kp-program-synthesis-large-language-models-2021"},"topic":"ideas","statement":"Qwen Technical Report cites Program Synthesis with Large Language Models.","time":{"kind":"event","date":"2023-09-28","basis":"publication","note":"Date of the citing source as recorded in the dataset; unknown where the dataset has none."},"derivation":"explicit","resolution":"supported","editorialState":"seed","evidenceIds":["evidence-kp-cites-qwen-report-program-synthesis-large-language-models-2021-1"]},{"id":"kp-cites-ernie-5-report-program-synthesis-large-language-models-2021","subject":"ernie-5-report","predicate":"cites","object":{"kind":"entity","entityId":"kp-program-synthesis-large-language-models-2021"},"topic":"ideas","statement":"ERNIE 5.0 Technical Report cites Program Synthesis with Large Language Models.","time":{"kind":"event","date":"2026-02-04","basis":"publication","note":"Date of the citing source as recorded in the dataset; unknown where the dataset has none."},"derivation":"explicit","resolution":"supported","editorialState":"seed","evidenceIds":["evidence-kp-cites-ernie-5-report-program-synthesis-large-language-models-2021-1"]},{"id":"kp-cites-kimi-k2-report-program-synthesis-large-language-models-2021","subject":"kimi-k2-report","predicate":"cites","object":{"kind":"entity","entityId":"kp-program-synthesis-large-language-models-2021"},"topic":"ideas","statement":"Kimi K2: Open Agentic Intelligence cites Program Synthesis with Large Language Models.","time":{"kind":"event","date":"2025-07-28","basis":"publication","note":"Date of the citing source as recorded in the dataset; unknown where the dataset has none."},"derivation":"explicit","resolution":"supported","editorialState":"seed","evidenceIds":["evidence-kp-cites-kimi-k2-report-program-synthesis-large-language-models-2021-1"]},{"id":"kp-cites-seed-coder-report-program-synthesis-large-language-models-2021","subject":"seed-coder-report","predicate":"cites","object":{"kind":"entity","entityId":"kp-program-synthesis-large-language-models-2021"},"topic":"ideas","statement":"Seed-Coder: Let the Code Model Curate Data for Itself cites Program Synthesis with Large Language Models.","time":{"kind":"event","date":"2025-06-04","basis":"publication","note":"Date of the citing source as recorded in the dataset; unknown where the dataset has none."},"derivation":"explicit","resolution":"supported","editorialState":"seed","evidenceIds":["evidence-kp-cites-seed-coder-report-program-synthesis-large-language-models-2021-1"]},{"id":"kp-authored-maarten-bosma-program-synthesis-large-language-models-2021","subject":"maarten-bosma","predicate":"authored","object":{"kind":"entity","entityId":"kp-program-synthesis-large-language-models-2021"},"topic":"ideas","statement":"Maarten Bosma is a credited author of Program Synthesis with Large Language Models.","time":{"kind":"event","date":"2021-08-16","basis":"publication","note":"Date of the work’s earliest recorded version, arXiv version 1, submitted 16 August 2021 (UTC)."},"derivation":"explicit","resolution":"supported","editorialState":"seed","evidenceIds":["evidence-kp-authored-maarten-bosma-program-synthesis-large-language-models-2021-1"]},{"id":"kp-authored-quoc-le-program-synthesis-large-language-models-2021","subject":"quoc-le","predicate":"authored","object":{"kind":"entity","entityId":"kp-program-synthesis-large-language-models-2021"},"topic":"ideas","statement":"Quoc Le is a credited author of Program Synthesis with Large Language Models.","time":{"kind":"event","date":"2021-08-16","basis":"publication","note":"Date of the work’s earliest recorded version, arXiv version 1, submitted 16 August 2021 (UTC)."},"derivation":"explicit","resolution":"supported","editorialState":"seed","evidenceIds":["evidence-kp-authored-quoc-le-program-synthesis-large-language-models-2021-1"]}],"sources":[{"id":"source-kp-program-synthesis-large-language-models-2021-abs","documentId":"kp-program-synthesis-large-language-models-2021","title":"Program Synthesis with Large Language Models","authors":["arXiv"],"publisher":"arXiv","publicationDate":"2021-08-16","version":"arXiv abstract page, retrieved for the candidate pack on 2026-10-28 (SHA-256 aa3a7b819906a3ad482970f70b54a486ad8292aec7a95ef0bab72609320ca200). Submission history as arXiv records it (UTC): v1 16 August 2021. The page serves the latest version; each version is a separate expression, and only the one a record names was read.","evidenceUrl":"https://arxiv.org/abs/2108.07732","language":"en"},{"id":"source-kp-program-synthesis-large-language-models-2021-v1","documentId":"kp-program-synthesis-large-language-models-2021","title":"Program Synthesis with Large Language Models","authors":["Jacob Austin","Augustus Odena","Maxwell Nye","Maarten Bosma","Henryk Michalewski","David Dohan","Ellen Jiang","Carrie Cai","Michael Terry","Quoc Le","Charles Sutton"],"publisher":"arXiv","publicationDate":"2021-08-16","version":"arXiv:2108.07732v1, submitted 16 August 2021 (UTC). Retrieved for the candidate pack on 2026-10-28 (SHA-256 820a8de4a9fe8aef947a40d5da13db0d660baf3658b4a9cebf6d30ac5ba351ab). The author list is the byline as printed on the first page.","evidenceUrl":"https://arxiv.org/pdf/2108.07732v1","language":"en"}],"evidence":[{"id":"evidence-kp-states-program-synthesis-large-language-models-2021-1-1","claimId":"kp-states-program-synthesis-large-language-models-2021-1","sourceId":"source-kp-program-synthesis-large-language-models-2021-v1","sourceRole":"primary","support":"supports","locator":"arXiv v1, PDF p. 1, abstract","passage":"We evaluate a collection of such models (with between 244M and 137B parameters) on two new benchmarks, MBPP and MathQA-Python, in both the few-shot and fine-tuning regimes.","verification":"machine_checked"},{"id":"evidence-kp-cites-self-critique-paper-program-synthesis-large-language-models-2021-1","claimId":"kp-cites-self-critique-paper-program-synthesis-large-language-models-2021","sourceId":"source-self-critique-paper-v1","sourceRole":"primary","support":"supports","verification":"machine_checked"},{"id":"evidence-kp-cites-llama-paper-program-synthesis-large-language-models-2021-1","claimId":"kp-cites-llama-paper-program-synthesis-large-language-models-2021","sourceId":"source-xm-llama-paper","sourceRole":"primary","support":"supports","verification":"machine_checked"},{"id":"evidence-kp-cites-deepseek-v3-report-program-synthesis-large-language-models-2021-1","claimId":"kp-cites-deepseek-v3-report-program-synthesis-large-language-models-2021","sourceId":"source-cn-v3","sourceRole":"primary","support":"supports","verification":"machine_checked"},{"id":"evidence-kp-cites-qwen-report-program-synthesis-large-language-models-2021-1","claimId":"kp-cites-qwen-report-program-synthesis-large-language-models-2021","sourceId":"source-cn-qwen","sourceRole":"primary","support":"supports","verification":"machine_checked"},{"id":"evidence-kp-cites-ernie-5-report-program-synthesis-large-language-models-2021-1","claimId":"kp-cites-ernie-5-report-program-synthesis-large-language-models-2021","sourceId":"c2-src-ernie5-arxiv-v1","sourceRole":"primary","support":"supports","verification":"machine_checked"},{"id":"evidence-kp-cites-kimi-k2-report-program-synthesis-large-language-models-2021-1","claimId":"kp-cites-kimi-k2-report-program-synthesis-large-language-models-2021","sourceId":"c2-src-kimi-k2-pdf-v1","sourceRole":"primary","support":"supports","verification":"machine_checked"},{"id":"evidence-kp-cites-seed-coder-report-program-synthesis-large-language-models-2021-1","claimId":"kp-cites-seed-coder-report-program-synthesis-large-language-models-2021","sourceId":"c2-src-seed-coder-arxiv-v1-pdf","sourceRole":"primary","support":"supports","verification":"machine_checked"},{"id":"evidence-kp-authored-maarten-bosma-program-synthesis-large-language-models-2021-1","claimId":"kp-authored-maarten-bosma-program-synthesis-large-language-models-2021","sourceId":"source-kp-program-synthesis-large-language-models-2021-v1","sourceRole":"primary","support":"supports","verification":"machine_checked"},{"id":"evidence-kp-authored-quoc-le-program-synthesis-large-language-models-2021-1","claimId":"kp-authored-quoc-le-program-synthesis-large-language-models-2021","sourceId":"source-kp-program-synthesis-large-language-models-2021-v1","sourceRole":"primary","support":"supports","verification":"machine_checked"}],"at":{"entities":[102,165,175,183,771,952,964,995,1461,1550],"claims":[3779,4144,4145,4146,4147,4148,4149,4150,4542,4543],"sources":[1283,1284],"evidence":[5237,5602,5603,5604,5605,5606,5607,5608,6000,6001]},"index":{"byClaim":[],"marks":[],"chronicle":{"years":[{"year":1863,"topics":{"ideas":5},"stated":0},{"year":1865,"topics":{"ideas":1},"stated":0},{"year":1872,"topics":{"ideas":7},"stated":0},{"year":1943,"topics":{"ideas":1},"stated":0},{"year":1947,"topics":{"ideas":2},"stated":0},{"year":1950,"topics":{"ideas":7},"stated":0},{"year":1951,"topics":{"ideas":5},"stated":0},{"year":1952,"topics":{"ideas":2},"stated":0},{"year":1955,"topics":{"ideas":31},"stated":0},{"year":1956,"topics":{"ideas":1},"stated":0},{"year":1957,"topics":{"ideas":1},"stated":0},{"year":1958,"topics":{"ideas":3},"stated":0},{"year":1959,"topics":{"ideas":6},"stated":0},{"year":1960,"topics":{"ideas":11},"stated":0},{"year":1961,"topics":{"ideas":10},"stated":0},{"year":1965,"topics":{"ideas":8},"stated":0},{"year":1966,"topics":{"ideas":20},"stated":0},{"year":1968,"topics":{"ideas":5},"stated":0},{"year":1969,"topics":{"ideas":2},"stated":0},{"year":1971,"topics":{"ideas":4},"stated":0},{"year":1972,"topics":{"ideas":1},"stated":0},{"year":1973,"topics":{"ideas":2},"stated":0},{"year":1974,"topics":{"ideas":2},"stated":0},{"year":1975,"topics":{"ideas":1},"stated":0},{"year":1976,"topics":{"ideas":1},"stated":0},{"year":1977,"topics":{"people":2,"ideas":8},"stated":0},{"year":1979,"topics":{"ideas":4},"stated":0},{"year":1980,"topics":{"ideas":2},"stated":0},{"year":1981,"topics":{"people":2},"stated":0},{"year":1982,"topics":{"ideas":4},"stated":0},{"year":1983,"topics":{"ideas":4},"stated":0},{"year":1984,"topics":{"ideas":21},"stated":0},{"year":1985,"topics":{"ideas":9},"stated":0},{"year":1986,"topics":{"ideas":18},"stated":0},{"year":1987,"topics":{"ideas":1},"stated":0},{"year":1988,"topics":{"ideas":6},"stated":0},{"year":1989,"topics":{"ideas":8},"stated":0},{"year":1990,"topics":{"ideas":5},"stated":0},{"year":1991,"topics":{"ideas":11},"stated":0},{"year":1992,"topics":{"ideas":9},"stated":0},{"year":1993,"topics":{"ideas":14,"people":3},"stated":0},{"year":1994,"topics":{"ideas":14},"stated":0},{"year":1995,"topics":{"ideas":10,"people":1},"stated":0},{"year":1996,"topics":{"ideas":71},"stated":0},{"year":1997,"topics":{"ideas":12},"stated":0},{"year":1998,"topics":{"ideas":49},"stated":0},{"year":1999,"topics":{"ideas":27,"people":1,"institutions":1},"stated":0},{"year":2000,"topics":{"ideas":62},"stated":0},{"year":2001,"topics":{"ideas":39},"stated":0},{"year":2002,"topics":{"ideas":30},"stated":0},{"year":2003,"topics":{"ideas":8},"stated":0},{"year":2004,"topics":{"ideas":12,"people":3},"stated":0},{"year":2005,"topics":{"ideas":10,"people":1},"stated":0},{"year":2006,"topics":{"ideas":26,"people":1},"stated":0},{"year":2007,"topics":{"ideas":20},"stated":0},{"year":2008,"topics":{"ideas":57,"people":3,"institutions":1},"stated":0},{"year":2009,"topics":{"ideas":10,"people":1},"stated":0},{"year":2010,"topics":{"people":3,"ideas":11,"institutions":1,"governance":4},"stated":0},{"year":2011,"topics":{"people":3,"ideas":7,"institutions":2},"stated":0},{"year":2012,"topics":{"people":4,"ideas":17,"institutions":2},"stated":0},{"year":2013,"topics":{"ideas":46,"people":4,"institutions":2,"capital":1},"stated":0},{"year":2014,"topics":{"institutions":2,"ideas":54,"people":5},"stated":0},{"year":2015,"topics":{"people":22,"ideas":122,"institutions":3,"capital":1},"stated":0},{"year":2016,"topics":{"ideas":88,"people":2},"stated":0},{"year":2017,"topics":{"people":16,"institutions":2,"ideas":128,"governance":2},"stated":0},{"year":2018,"topics":{"people":8,"ideas":158,"institutions":8,"governance":1},"stated":0},{"year":2019,"topics":{"capital":1,"compute":1,"people":10,"governance":19,"ideas":175,"institutions":4},"stated":0},{"year":2020,"topics":{"people":6,"ideas":98,"institutions":1,"governance":2},"stated":0},{"year":2021,"topics":{"people":27,"ideas":177,"compute":1,"institutions":23,"governance":4,"capital":6},"stated":0},{"year":2022,"topics":{"people":15,"ideas":217,"institutions":6,"governance":3,"compute":2,"capital":1},"stated":0},{"year":2023,"topics":{"capital":5,"compute":7,"institutions":23,"people":51,"governance":179,"ideas":389},"stated":0},{"year":2024,"topics":{"capital":12,"compute":19,"governance":282,"people":80,"ideas":178,"institutions":28},"stated":1},{"year":2025,"topics":{"governance":547,"compute":69,"capital":34,"people":90,"institutions":18,"ideas":178},"stated":7},{"year":2026,"topics":{"governance":442,"capital":8,"compute":32,"institutions":21,"ideas":91,"people":107},"stated":19},{"year":2027,"topics":{},"stated":9},{"year":2028,"topics":{},"stated":6},{"year":2029,"topics":{},"stated":3},{"year":2030,"topics":{},"stated":3},{"year":2032,"topics":{},"stated":2},{"year":2035,"topics":{},"stated":2},{"year":2039,"topics":{},"stated":1},{"year":2042,"topics":{},"stated":1},{"year":2050,"topics":{},"stated":1}],"scheduled":[],"statedBy":[]},"collections":[{"target":{"kind":"propositions","id":"superintelligence"},"title":"Propositions about superintelligence, 1863–2022","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"risk-debate"},"title":"Arguments about catastrophic risk from advanced AI","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"yudkowsky-arguments"},"title":"Eliezer Yudkowsky’s arguments on common claims about AI, 1996–2026","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"economics-of-machine-intelligence"},"title":"Economics of machine intelligence","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"orbital-compute-arguments"},"title":"Arguments about compute in orbit","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"ai-bio-arguments"},"title":"Arguments about AI and biological risk","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"ai-in-science"},"title":"AI in science","claimIds":[],"records":[]},{"target":{"kind":"documents"},"title":"Frontier safety frameworks","claimIds":[]},{"target":{"kind":"compare","id":"frontier-safety-frameworks"},"title":"Compare frameworks","claimIds":[]},{"target":{"kind":"control","id":"openai"},"title":"OpenAI’s control structure, 2015–2026","claimIds":[]},{"target":{"kind":"control","id":"anthropic"},"title":"Anthropic’s control structure, 2021–2026","claimIds":[]},{"target":{"kind":"commitments"},"title":"External commitments and obligations","claimIds":[]},{"target":{"kind":"question","id":"frameworks-to-obligations"},"title":"Frameworks, commitments and legal obligations, 2023–2026","claimIds":[]},{"target":{"kind":"reading"},"title":"Founding and early leadership","claimIds":[]}]},"version":"131evrz"}