5 citations · 5 across the 2 of their papers we have counts for
4 papers
Verification methods for international AI agreements
Akash R. Wasil, Tom Reed, Jack William Miller +1
What techniques can be used to verify compliance with international agreements about advanced AI development? In this paper, we examine 10 verification methods that could detect tw…
Measuring Sharpness in Grokking
Jack Miller, Patrick Gleeson, Charles O'Neill +2
Neural networks sometimes exhibit grokking, a phenomenon where perfect or near-perfect performance is achieved on a validation set well after the same performance has been obtained…
Grokking Beyond Neural Networks: An Empirical Exploration with Model Complexity
Jack Miller, Charles O'Neill, Thang Bui
In some settings neural networks exhibit a phenomenon known as \textit{grokking}, where they achieve perfect or near-perfect accuracy on the validation set long after the same perf…
AstroLLaMA: Towards Specialized Foundation Models in Astronomy
Tuan Dung Nguyen, Yuan-Sen Ting, Ioana Ciucă +21
Large language models excel in many human-language tasks but often falter in highly specialized domains like scholarly astronomy. To bridge this gap, we introduce AstroLLaMA, a 7-b…