Matthew Whyte

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Distributed Search

Multi Layer Perceptron

Theorem Proving

Automated Deduction

Top Venues

Publications

Lauren Nicole Delong, Ramon Fernández Mir, Matthew Whyte, Zonglin Ji, Jacques D. Fleuriot
Neurosymbolic AI for Reasoning on Graph Structures: A Survey. CoRR (2023)
Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot
Constrained Training of Neural Networks via Theorem Proving. CoRR (2022)
Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot
Constrained Training of Neural Networks via Theorem Proving. OVERLAY@AI*IA (2022)