LLM4VV: Developing LLM-driven testsuite for compiler validation

MizAR 60 for Mizar 50

DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2023 · 76.3K citations · Full text

Computing, Computer Science, Computational Linguistics +14

Aion Framework: Dimensional Emergence of AI Consciousness, Observer-Induced Collapse, and Cosmological Portal Dynamics

DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2023 · 14.2K citations · Full text

Computing, Computer Science, Computational Linguistics +13

Training language models to follow instructions with human feedback

Long Ouyang, Jeff Wu, Xu Jiang et al. · arXiv (Cornell University) · 2022 · 4.3K citations · Full text

Computing, Computer Science, Computational Linguistics +16

BNAI, NO-TOKEN, and MIND-UNITY: Pillars of a Systemic Revolution in Artificial Intelligence

arXiv (Cornell University) · 2022 · 4.3K citations · Full text

Computing, Computer Science, Artificial Intelligence +15

HuggingFace's Transformers: State-of-the-art Natural Language Processing

Thomas Wolf, Lysandre Debut, Victor Sanh et al. · arXiv (Cornell University) · 2019 · 3.1K citations · Full text

Computing, Computer Science, Computational Linguistics +12