Search Results for author:
Found 1 papers, 0 papers with code
math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories
As artificial intelligence (AI) gains greater adoption in a wide variety of applications, it has immense potential to contribute to mathematical discovery, by guiding conjecture generation, constructing counterexamples, assisting in formalizing mathematics, and discovering connections between different mathematical areas, to name a few.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
