Javier Burroni
  • about
  • publications
  • blog
  • cv
  • IWAE

    • •

  • VI

    • •

  • low-level

    • •

  • research

    • •

  • lean

  • Induction and rfl

    A subtle detail in the use of induction and rfl

    10 min read   ·   May 20, 2025

    2025   ·   Lean,   Lean-snippets,   formalization,   induction     ·   lean  

  • Lean snippets

    Beginning a collection of Lean snippets

    1 min read   ·   May 18, 2025

    2025   ·   Lean,   Lean-snippets,   formalization     ·   lean  

  • Subnormal Floats and IWAE

    close encounters with floats of the other kind

    4 min read   ·   March 15, 2024

    2024   ·   VAE,   IWAE,   floating-points,   VI,   low-level     ·   research  

  • Newer
  • 1
  • 2
  • Older
© Copyright 2025 Javier Burroni. Powered by Jekyll with al-folio theme. Hosted by GitHub Pages. Last updated: July 14, 2025.