paper: arxiv:2502.12466

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:2502.12466	10.48550/arxiv.2502.12466	W4407759429		2502.12466				Equibench: Benchmarking large language models’ reasoning about program semantics via equivalence checking	2025	arXiv (Cornell University)	https://arxiv.org/pdf/2502.12466	2026-09-02T02:34:27Z	openalex

Links from other tables