Collection by 
Aug 14
Collections
Discover the best community collections!
Collections trending this week
Collection by 
Aug 14
-
A Formally Verified Library of Mathematical Finance in Lean 4
Paper • 2606.01356 • Published • 1 -
A Machine-Checked Itô Calculus for Brownian Motion
Paper • 2606.15089 • Published -
The Fundamental Theorem of Asset Pricing, Formalized in Lean 4
Paper • 2606.28990 • Published -
formal-applied-math/formal-mathfin-theorems
Viewer • Updated • 849 • 934
Collection by 
Aug 14
Collection by 
Aug 26
-
Aero Realtime 4B
📺4Proactive real-time commentary on audio-video streams
-
kcz358/aero-realtime-4B
Video-Text-to-Text • 5B • Updated • 403 • 10 -
kcz358/aero-realtime-data
Preview • Updated • 833 -
Aero Realtime: Fully Aligned Input-Output Streams for Low-Latency Streaming Multimodal Generation
Paper • 2608.08469 • Published • 2
Collection by 
Aug 14
Collection by Aug 14
Collection by 
Aug 14
Collection by Aug 14
-
A Formally Verified Library of Mathematical Finance in Lean 4
Paper • 2606.01356 • Published • 1 -
A Machine-Checked Itô Calculus for Brownian Motion
Paper • 2606.15089 • Published -
The Fundamental Theorem of Asset Pricing, Formalized in Lean 4
Paper • 2606.28990 • Published -
formal-applied-math/formal-mathfin-theorems
Viewer • Updated • 849 • 934
Collection by 
Aug 14
Collection by Aug 14
Collection by 
Aug 14
Collection by Aug 26
-
Aero Realtime 4B
📺4Proactive real-time commentary on audio-video streams
-
kcz358/aero-realtime-4B
Video-Text-to-Text • 5B • Updated • 403 • 10 -
kcz358/aero-realtime-data
Preview • Updated • 833 -
Aero Realtime: Fully Aligned Input-Output Streams for Low-Latency Streaming Multimodal Generation
Paper • 2608.08469 • Published • 2
Collection by Aug 14
Collection by Aug 14
Collection by 
Aug 14