학술논문
BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
Document Type
Conference Paper
Author
Source
In: Proceedings of the AAAI Conference on Artificial Intelligence . (Proceedings of the AAAI Conference on Artificial Intelligence, 25 March 2024, 38(9):10607-10615)
Subject
Language
English
ISSN
23743468
21595399
21595399