Search Results for author:
Found 2 papers, 0 papers with code
lrsarith: a small fixed/hybrid arithmetic C library
A simple scheme checks for overflow and either terminates the program or, in hybrid mode, changes to a higher precision arithmetic.
Mathematical Software 68-04 G.4; D.m
Machine Learning with Guarantees using Descriptive Complexity and SMT Solvers
There are many efficient approaches to machine learning that do not provide strong theoretical guarantees, and a beautiful general learning theory.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
