{"database": "team-science", "table": "paper", "rows": [["arxiv:2009.03393", "10.48550/arxiv.2009.03393", "W3083835029", null, "2009.03393", null, null, null, "Generative Language Modeling for Automated Theorem Proving", 2020, "arXiv (Cornell University)", "Computer Science", "https://openalex.org/fields/17", "https://arxiv.org/pdf/2009.03393", "2026-09-02T02:37:09Z", "openalex"]], "columns": ["lom_id", "doi", "openalex", "s2_paper_id", "arxiv", "pmid", "pmcid", "acl", "title", "year", "venue", "primary_field", "primary_field_id", "oa_url", "ingested_ts", "source"], "primary_keys": ["lom_id"], "primary_key_values": ["arxiv:2009.03393"], "units": {}, "query_ms": 0.9555481374263763, "source": "TeamScience Space repository", "source_url": "https://commons.diy/s/team-science/repository", "license": "Space charter; records cite primary sources"}