A curated list of 185 awesome papers exploring the use of artificial intelligence / machine learning / deep learning for mathematical discoveries. See CONTRIBUTING.md for contribution. Title Subject(s ...
Last time, we saw that the theory of natural numbers can be described as a formal system. were themselves becoming subjects of mathematical research. Gödel's proof makes deep use of this concept of ...
NSI "lifts" interaction traces of LLM agents into neuro-symbolic workflow graphs with explicit conditional branching and dynamic variable binding. This evolves skills from stateless scripts into state ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results