SHARK
From MaRDI portal
Software:25456
swMATH13542MaRDI QIDQ25456FDOQ25456
Author name not available (Why is that?)
Cited In (11)
- A comparative study on large scale kernelized support vector machines
- Efficient optimization of many objectives by approximation-guided evolution
- A unified view on multi-class support vector classification
- Speeding up many-objective optimization by Monte Carlo approximations
- The flip-the-state transition operator for restricted Boltzmann machines
- \textsc{NeVer}: a tool for artificial neural networks verification
- Algorithms for estimating the partition function of restricted Boltzmann machines
- Challenging SMT solvers to verify neural networks
- Training restricted Boltzmann machines: an introduction
- Efficient covariance matrix update for variable metric evolution strategies
- Neuroevolution strategies for episodic reinforcement learning
This page was built for software: SHARK
