40 citations · 74 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CV2023
FLORA: Fine-grained Low-Rank Architecture Search for Vision Transformer
Chi-Chih Chang, Yuan-Yao Sung, Shixing Yu +3
Vision Transformers (ViT) have recently demonstrated success across a myriad of computer vision tasks. However, their elevated computational demands pose significant challenges for…
cs.LG2023★ 40 cited
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang, Aidan M. Swope, Alex Gu +6
Large language models (LLMs) have shown promise in proving formal theorems using proof assistants such as Lean. However, existing methods are difficult to reproduce or build on, du…