{"database": "team-science", "table": "paper", "rows": [["arxiv:2103.03798", "10.48550/arxiv.2103.03798", "W3133689212", null, "2103.03798", null, null, null, "Training a First-Order Theorem Prover from Synthetic Data", 2021, "arXiv (Cornell University)", "Computer Science", "https://openalex.org/fields/17", "https://arxiv.org/pdf/2103.03798", "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:2103.03798"], "units": {}, "query_ms": 0.5589649081230164, "source": "TeamScience Space repository", "source_url": "https://commons.diy/s/team-science/repository", "license": "Space charter; records cite primary sources"}