40 citations · 89 across the 11 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LG2026
Novel Aspects of IEEE SA P3109 Arithmetic Formats for Machine Learning
Andrew Fitzgibbon, Christoph M. Wintersteiger, Jeffrey Sarnoff
The IEEE P3109 draft standard defines a parameterized family of binary floating-point formats and associated operations, with a focus on facilitating machine learning. These format…
cs.AI2026
Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
Hongyu Lin, Samer Abdallah, Makar Valentinov +5
Large Language Models (LLMs) have shown strong performance on code understanding tasks, yet they fundamentally lack the ability to perform precise, exhaustive mathematical reasonin…