Showing 2025Show all
2 papers · 1 filter
cs.AI2025
The Need for Verification in AI-Driven Scientific Discovery
Cristina Cornelio, Takuya Ito, Ryan Cory-Wright +2
Artificial intelligence (AI) is transforming the practice of science. Machine learning and large language models (LLMs) can generate hypotheses at a scale and speed far exceeding t…
cs.LG2025
Transformer Circuits Can Realize Clustering Algorithms
Kenneth L. Clarkson, Lior Horesh, Takuya Ito +2
Although transformers are most commonly optimized as statistical sequence models, it is unclear to what extent they can implement and learn exact algorithmic computations. Here, we…