Tag: Transformer

by Synced 2020-09-10 2

OpenAI ‘GPT-f’ Delivers SOTA Performance in Automated Mathematical Theorem Proving

OpenAI researchers introduce GPT-f, an automated prover and proof assistant for the Metamath formalization language.

by Synced 2020-03-09 16

AI Machine Learning & Data Science Research

‘Train Large, Then Compress’ – UC Berkeley BAIR Improves Large Transformer Model Training and Inference

Researchers from the Berkeley Artificial Intelligence Research (BAIR) Lab at UC Berkeley explored the effect of Transformer model size on training and inference efficiency.