Some thoughts on Floating Point

Jean-Michel Muller, CNRS

APyTypes: Flexible Data Types for Finite Word Length Simulations in Python

Theodor Lindberg, Linköping University

• Paper
• Repo

Vector-friendly floats with 64n-bit precision

Fredrik Johansson, Inria Bordeaux

• FLINT nfloat

Software-Defined Floating-Point Number Formats

Amir Sabbagh Molahosseini, Queen's University Belfast

• Paper

Floating point for AI

Andrew Fitzgibbon, Graphcore

A Datapath Dialect for Representing Operations with Carry-Save Results

Sam Coward, University College London

• Repo

Upstreaming Arm-Optimized Vector Math Routines

Pierre Blanchard, ARM

• Repo

Scaling Arithmetic via Bitblasting in Probabilistic Programs

Poorva Garg, UCLA

• Paper
• Paper

Detecting Numerical Instability in ML Code via Soft Assertions

Wei Le, Iowa State

• Paper
• Repo

Correctly Rounded Randomness

Nima Badizadegan, Anthropic

• Repo

Accurate and Efficient Formats for LLMs

Jordan Dotzel, Cornell University

• Paper

Experiments in Double-Double

Pavel Panchekha, University of Utah

• Paper