search result

Cover von Efficient Certified Reasoning for Binarized Neural Networks

Efficient Certified Reasoning for Binarized Neural Networks

Year: 2025
Media group: LIPIcs
Cover von Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
Search for this author
Year: 2025
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
Cover von Verified Compilation and Optimization of Floating-Point Programs in CakeML

Verified Compilation and Optimization of Floating-Point Programs in CakeML

Author: Kumar, Ramana; Tan, Yong Kiam; Fox, Anthony
Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0