A Formally Verified Library of Mathematical Finance in Lean 4 Paper • 2606.01356 • Published 4 days ago • 1
An Efficient Heterogeneous Co-Design for Fine-Tuning on a Single GPU Paper • 2603.16428 • Published Mar 17 • 51