2026-09-25T16:23:29.199Z
- publishedAt:
Not provided→ 2026-01-01T00:00:00.000Z
SOURCE-LINKED INTELLIGENCE
Benchmarking Testing in Automated Theorem Proving
Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 6: Industry Track)
Read original source ↗ Open in workspace
- recordType
- paper
- region
- Global
Evidence & attribution
- ACL Anthology
- OpenAlex research metadata · 2026-04-26T00:00:00.000Z
- OpenAlex research metadata · 2026-01-01T00:00:00.000Z
ACL Anthology and the credited paper authors. Bibliographic metadata only; abstracts and full papers are excluded. Third-party materials retain their respective rights.
License: ACL Anthology usage policy (metadata)
First collected: 2026-09-20T19:42:01.653Z. This is not the publication date.
Observed changes
AIIC observation times, not verified publisher revision times. Up to eight recent revisions.
Research metadata
OpenAlex record ↗ · Metadata licensed CC0; paper rights are separate.
- Citations reported by OpenAlex
- 0
- Authors
- Jongyoon Kim; Hojae Han; Seung-won Hwang
- Affiliations
- Artificial Intelligence in Medicine (Canada) (CA); Electronics and Telecommunications Research Institute (KR)
- Topic
- Software Testing and Debugging Techniques
- Publication type
- conference-paper
- Retraction flag reported by OpenAlex
- Not flagged
Citation count and retraction flag reported by OpenAlex. Citations are not a quality score; affiliation countries are not study locations.