Ledger: arXiv AI recent: Formal Ver... | 121 Collaborative