Today

  • Prove2Me: Formalizing Fermat Last Theorem and Beyond

    Virtual

    New Technologies in Mathematics Seminar Speaker: Tianyi Peng, Decision, Risk, and Operations Division, Columbia Business School Title: Prove2Me: Formalizing Fermat Last Theorem and Beyond Abstract: Proof assistants such as Lean 4 promise the paradigm of formally verified mathematics, but large-scale formalization projects have faced major barriers to entry, including the need for expertise in formal verification […]

  • Local learning needs dendrites

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    New Technologies in Mathematics Seminar Speaker: Riccardo Zecchina (Bocconi University) Title: Local learning needs dendrites Abstract: I will present a learning scheme for recurrent networks in which nonlinear dendrites enable learning by generating and stabilizing task-relevant attractors within a representation manifold. The scheme is local in space and time and matches the performance of backpropagation […]