izycheva

researcher

TU Wien

Pinned Repositories

stable-baselines3
PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.
Language:Python9k 64 1.5k1.7k
daisy
Language:Scala0 0 00
pine
Pine tool. Detailed description of the technique can be found in the paper "Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis" A.Izycheva, E.Darulova, H.Seidl, SAS'20
Language:Python2 1 03
women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
00
women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
163 9 267
FPTuner
Rigorous Floating-Point Mixed-Precision Tuner
Language:Python13 12 57
gelpia
Rigorous Global Branch-and-Bound Optimizer
Language:Python20 11 316

izycheva's Repositories

izycheva/pine
Pine tool. Detailed description of the technique can be found in the paper "Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis" A.Izycheva, E.Darulova, H.Seidl, SAS'20
Language:Python2 1 03
izycheva/daisy
Language:Scala0 0 00
izycheva/women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
00