Extending Logical Neural Networks using First-Order Theories. - Aidan Evans; Jorge Blanco (CoRR, 2022)

MCBeth: A Measurement-based Quantum Programming Language. - Aidan Evans; Seun Omonije; Robert Soulé; Robert Rand 001 (Q-SE@ICSE, 2023)