Statistics

Authors and titles for recent submissions, skipping first 180

[ total of 184 entries: 1-10 | ... | 151-160 | 161-170 | 171-180 | 181-184 ]
[ showing 10 entries per page: fewer | more | all ]

[181] arXiv:2404.12534 (cross-list from cs.AI) [pdf, other]: Title: Towards Large Language Models as Copilots for Theorem Proving in Lean

Authors: Peiyang Song, Kaiyu Yang, Anima Anandkumar

Comments: All code open-sourced at this https URL

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Machine Learning (stat.ML)
[182] arXiv:2404.12418 (cross-list from cs.DS) [pdf, other]: Title: The graph alignment problem: fundamental limits and efficient algorithms

Authors: Luca Ganassali

Comments: Phd manuscript, defended in September 2022

Subjects: Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Probability (math.PR); Machine Learning (stat.ML)
[183] arXiv:2404.12408 (cross-list from cs.LG) [pdf, ps, other]: Title: Benchmarking changepoint detection algorithms on cardiac time series

Authors: Ayse Cakmak, Erik Reinertsen, Shamim Nemati, Gari D. Clifford

Comments: 24 pages, 2 figures

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[184] arXiv:2404.12396 (cross-list from cs.LG) [pdf, other]: Title: Optimized Dynamic Mode Decomposition for Reconstruction and Forecasting of Atmospheric Chemistry Data

Authors: Meghana Velegar, Christoph Keller, J. Nathan Kutz

Comments: 13 pages, 16 figures

Subjects: Machine Learning (cs.LG); Dynamical Systems (math.DS); Atmospheric and Oceanic Physics (physics.ao-ph); Applications (stat.AP); Machine Learning (stat.ML)

[ total of 184 entries: 1-10 | ... | 151-160 | 161-170 | 171-180 | 181-184 ]
[ showing 10 entries per page: fewer | more | all ]