Anima Anandkumar

NVIDIA Research

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Eval Frameworks & Benchmarks (1)Open-Source Models & Weights (1)Recommendation & Information Retrieval (1)

Frequent co-authors

Robert Joseph George (1)W. Adkisson (1)

Papers (1)

Sep 16, 2026

Note:4d ago·also NVIDIA

FloatLib: Verified Floating-Point Arithmetic in Lean

FloatLib is the first Lean library to unify IEEE binary and decimal arithmetic, arbitrary-width posits, P3109, and user-defined formats and rounding rules behind interchangeable certified software backends.

Robert Joseph George, W. Adkisson, Anima Anandkumar

Eval Frameworks & Benchmarks Open-Source Models & Weights Recommendation & Information Retrieval

Search

Anima Anandkumar

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)