This project explores a unique intersection of number theory and machine learning: representing integers as tuples of prime exponents (what we call prime exponent vectors) and investigating whether a ...

1. Introduction to exponents: Understand that the exponent is a mathematical notation used to express that a number or variable is being multiplied by itself a specified number of times. 2. Base and ...

The bounds inference rules for integer-typed binary operations require that the subexpression that has bounds also be non-zero. This is probably too burdensome for programmers to use in practice. We ...