Robert J. Stewart

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 8

Top Topics

Sound And Complete Axiomatization

Valued Semantics

Neural Network Training

Top Venues

GECCO Companion

Publications

Laura Schauer, Robert J. Stewart, Manuel Maarek
Integrating Canvas and GitLab to Enrich Learning Processes. SEET@ICSE (2024)
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
Logic of Differentiable Logics: Towards a Uniform Semantics of DL. LPAR (2023)
Ryan Shah, Manuel Maarek, Shenando Stals, Lynne Baillie, Sheung Chi Chan, Robert J. Stewart, Hans-Wolfgang Loidl, Olga Chatzifoti
Introducing and Interfacing with Cybersecurity - A Cards Approach. CoRR (2023)
Cristian Sestito, Stefania Perri, Robert J. Stewart
FPGA Design of Transposed Convolutions for Deep Learning Using High-Level Synthesis. J. Signal Process. Syst. 95 (10) (2023)
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
Logic of Differentiable Logics: Towards a Uniform Semantics of DL. CoRR (2023)
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
Differentiable Logics for Neural Network Training and Verification. CoRR (2022)
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
Differentiable Logics for Neural Network Training and Verification. NSV/FoMLAS@CAV (2022)
Fraser Garrow, Michael A. Lones, Robert J. Stewart
Why functional program synthesis matters (in the realm of genetic programming). GECCO Companion (2022)