Showing 1–15 of 15 results
/ Date/ Name
Mar 1, 2017HolStep: A Machine Learning Dataset for Higher-order Logic Theorem ProvingJun 14, 2016DeepMath - Deep Sequence Models for Premise SelectionMay 17, 2025ARC-AGI-2: A New Challenge for Frontier AI Reasoning SystemsJul 19, 2016Information-theoretical label embeddings for large-scale image classificationNov 5, 2019On the Measure of IntelligenceOct 7, 2016Xception: Deep Learning with Depthwise Separable ConvolutionsJan 15, 2026ARC Prize 2025: Technical ReportDec 5, 2024ARC Prize 2024: Technical ReportJul 17, 2025Assessing Adaptive World Models in Machines with Novel GamesJun 9, 2022Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language modelsMar 24, 2026ARC-AGI-3: A New Challenge for Frontier Agentic IntelligenceMar 16, 2018Tensor2Tensor for Neural Machine TranslationJun 9, 2017Depthwise Separable Convolutions for Neural Machine TranslationJul 21, 2022Efficient Graph-Friendly COCO Metric Computation for Train-Time Model EvaluationMay 30, 2024KerasCV and KerasNLP: Vision and Language Power-Ups