84 citations · 182 across the 37 of their papers we have counts for
3 papers · 1 filter
Advancing Mathematics Research with AI-Driven Formal Proof Search
George Tsoukalas, Anton Kovsharov, Sergey Shirobokov +18
Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability limits their utility in mathematics research. A mitigation is using LLMs to gener…
Neurosymbolic Programming for Science
Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal +4
Neurosymbolic Programming (NP) techniques have the potential to accelerate scientific discovery. These models combine neural and symbolic components to learn complex patterns and r…
Neural Attribute Machines for Program Generation
Matthew Amodio, Swarat Chaudhuri, Thomas W. Reps
Recurrent neural networks have achieved remarkable success at generating sequences with complex structures, thanks to advances that include richer embeddings of input and cures for…