Integration of the Glis global optimizer

BerkeleyLearnVerify / VerifAI

VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.

BSD 3-Clause "New" or "Revised" License

170 stars 47 forks source link

Integration of the Glis global optimizer #44

Open nickovic opened 1 year ago

nickovic commented 1 year ago

This pull request includes the integration of the Glis global optimizer to VerifAI (https://pypi.org/project/glis/):

The implementation of the GLISSampler as a BoxSampler
The addition of the 'glis' option in the choose_sampler() function
Tests