1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2022
Extending Logical Neural Networks using First-Order Theories
Aidan Evans, Jorge Blanco
Logical Neural Networks (LNNs) are a type of architecture which combine a neural network's abilities to learn and systems of formal logic's abilities to perform symbolic reasoning.…
cs.PL2022★ 1 cited
MCBeth: A Measurement Based Quantum Programming Language
Aidan Evans, Seun Omonije, Robert Soulé +1
Gate-based quantum programming languages are ubiquitous but measurement-based languages currently exist only on paper. This work introduces MCBeth, a quantum programming language w…