9th International Conference on Learning Representations, ICLR 2021, Virtual Event, Austria, May 3-7, 2021

2021

130 citations recorded by the source corpus.

Subfields: Evaluation & Benchmarks

Citations in the corpus

• Proof Artifact Co-training for Theorem Proving with Language Models (2021, background): “LLMs have achieved spectacular success in data-rich regimes such as plain text (Brown et al., 2020), images (Dosovitskiy et al., 2021), and joint text-image modeling (Radford et al., 2021), and the performance of decoder-only Transformers has been empirically shown to obey scaling power laws in…”