Mathematics of program construction : 14th international conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022 : proceedings

Veröffentlicht 2022

Accuracy, Training Time and Hardware Efficiency Trade-Offs for Quantized Neural Networks on FPGAs

von Bacchus, Pascal
Veröffentlicht in ARC (16. : 2020 : Online) Applied reconfigurable computing (2020)

Differentiable Logics for Neural Network Training and Verification

von Ślusarz, Natalia
Veröffentlicht in Software verification and formal methods for ML-enabled autonomous systems (2022)

Neural Networks, Secure by Construction: An Exploration of Refinement Types

von Kokke, Wen
Veröffentlicht in APLAS (18. : 2020 : Online) Programming languages and systems (2020)

Practical aspects of declarative languages : 22nd international symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020 : proceedings

Veröffentlicht 2020

Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges

von Belle, Vaishak
Veröffentlicht in International Conference on Autonomous Agents and Multiagent Systems (22. : 2023 : London) Autonomous agents and multiagent systems (2024)

Neural Network Robustness as a Verification Property: A Principled Case Study

von Casadio, Marco
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)