PreprintDROPS (Schloss Dagstuhl – Leibniz Center for Informatics)2023Featured
Inline Hardware KV-Cache Compression for Long-Context Transformer Inference: An Architectural Case for a Memory-Path Compression Engine
Jakubův, Jan, Chvalovský, Karel, Goertzel, Zarathustra, et al.
This paper presents an AI/TP system that automatically proves about 60% of Mizar theorems in hammer setting and 75% with human-written premise hints.
77kJan 1, 2023Transformers