h1: A Taste of the Bitter Lesson in Automated Theorem Proving Paper β’ 2610.35962 β’ Published 7 days ago β’ 19
view article Article NeoMME: an efficient Multimodal-native and Multilingual Encoder Hcompany β’ Sep 3 β’ 122
Holo4 Collection State-of-the-art Visual Language Model (VLM) for computer/mobile use, tool calls, and code. β’ 11 items β’ Updated Sep 28 β’ 46
Sleeping Agents Text Adventure Agent - Expert-Based Architecture πΊ Show Text Adventure Agent submission template