{"database": "team-science", "table": "paper", "rows": [["arxiv:2310.15164", "10.48550/arxiv.2310.15164", "W4387929841", null, "2310.15164", null, null, null, "LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers", 2023, "arXiv (Cornell University)", "https://arxiv.org/pdf/2310.15164", "2026-09-02T02:37:09Z", "openalex"]], "columns": ["lom_id", "doi", "openalex", "s2_paper_id", "arxiv", "pmid", "pmcid", "acl", "title", "year", "venue", "oa_url", "ingested_ts", "source"], "primary_keys": ["lom_id"], "primary_key_values": ["arxiv:2310.15164"], "units": {}, "query_ms": 0.5885493010282516, "source": "TeamScience Space repository", "source_url": "https://commons.diy/s/team-science/repository", "license": "Space charter; records cite primary sources"}