paper: arxiv:2310.15164

Ingested works. lom_id is the stable key (doi: or arxiv:). OpenAlex/S2/arXiv ids when found; never fabricated.

Data license: Space charter; records cite primary sources · Data source: TeamScience Space repository

This data as json

lom_id	doi	openalex	s2_paper_id	arxiv	pmid	pmcid	acl	title	year	venue	oa_url	ingested_ts	source
arxiv:2310.15164	10.48550/arxiv.2310.15164	W4387929841		2310.15164				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

Links from other tables