5 papers
Can Machines Read Coding Manuals Yet? -- A Benchmark for Building Better Language Models for Code Understanding
Ibrahim Abdelaziz, Julian Dolby, Jamie McCusker +1
Code understanding is an increasingly important application of Artificial Intelligence. A fundamental aspect of understanding code is understanding text about code, e.g., documenta…
Euclidean algorithm in Galois Quartic Fields
K Srinivas, M Subramani, Usha K Sangale
We prove that all imaginary biquadratic fields and cyclic quartic fields of class number are Euclidean.
Learning to Guide a Saturation-Based Theorem Prover
Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni +8
Traditional automated theorem provers have relied on manually tuned heuristics to guide how they perform proof search. Recently, however, there has been a surge of interest in the…
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni +7
Automated theorem provers have traditionally relied on manually tuned heuristics to guide how they perform proof search. Deep reinforcement learning has been proposed as a way to o…
Merging datasets through deep learning
Kavitha Srinivas, Abraham Gale, Julian Dolby
Merging datasets is a key operation for data analytics. A frequent requirement for merging is joining across columns that have different surface forms for the same entity (e.g., th…