Synthesizing certificate functions using machine learning techniques remains a challenge because of the difficulty in managing their geometrical properties.

Authors

• Person: Samuel Tesfazgi, Leonhard Sprandl, Sandra Hirche Organization: AISTATS
  Track: Poster Session 3 - aistats 2026

Sources

• Track: Poster Session 3 - aistats 2026 virtual.aistats.org Samuel Tesfazgi, Leonhard Sprandl, Sandra Hirche · AISTATS via serper

Referenced by nodes (1)

• machine learning concept