paper: openalex:W3133204645
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 | primary_field | primary_field_id | oa_url | ingested_ts | source |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| openalex:W3133204645 | W3133204645 | INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving | 2021 | arXiv (Cornell University) | Computer Science | https://openalex.org/fields/17 | https://arxiv.org/pdf/2007.02924 | 2026-09-02T02:37:09Z | openalex |