Efficient compilation of expressive problem space specifications to neural network solvers

24 January 2024

Papers citing "Efficient compilation of expressive problem space specifications to neural network solvers"

3 / 3 papers shown

Title
A Generalised Framework for Property-Driven Machine Learning Thomas Flinkow Marco Casadio Colin Kessler Rosemary Monahan Ekaterina Komendantskaya AAML 62 1 0 01 May 2025
Proof-Carrying Neuro-Symbolic Code Ekaterina Komendantskaya NAI 22 0 0 16 Apr 2025
Learning Student-Friendly Teacher Networks for Knowledge Distillation D. Park Moonsu Cha C. Jeong Daesin Kim Bohyung Han 115 100 0 12 Feb 2021