@@ -106,13 +106,13 @@ <h4 class="card-title">
106106 </ h4 >
107107 < p class ="card-text ">
108108 < span class ="badge badge-primary "> API</ span >
109- < span class ="badge badge-info "> Beta </ span >
109+ < span class ="badge badge-info "> 1.0.0 </ span >
110110 </ br > </ br > A Python library for learning and verification of neural networks and other machine learning models.
111111 </ p >
112112 </ div >
113113 </ div >
114114 </ div >
115- < div class ="col-lg-4 col-sm-6 mb-4 ">
115+ <!-- < div class="col-lg-4 col-sm-6 mb-4">
116116 <div class="card h-100">
117117 <img class="card-img-top" src="./assets/img/logos/CoCoNet_480_270.png" alt="CoCoNet">
118118 <div class="card-body">
@@ -130,7 +130,7 @@ <h6 class="card-title" style="color: #1abc9c">Examples</h6>
130130 </p>
131131 </div>
132132 </div>
133- </ div >
133+ </div> -->
134134 < div class ="col-lg-4 col-sm-6 mb-4 ">
135135 < div class ="card h-100 ">
136136 < img class ="card-img-top " src ="./assets/img/logos/never2_480_270.png " alt ="NeVer 2 ">
@@ -140,7 +140,7 @@ <h4 class="card-title">
140140 </ h4 >
141141 < p class ="card-text ">
142142 < span class ="badge badge-primary "> Tool</ span >
143- < span class ="badge badge-info "> Alpha </ span >
143+ < span class ="badge badge-info "> Beta </ span >
144144 </ br > </ br > A tool for learning and verification of neural networks.</ br >
145145 < h6 class ="card-title " style ="color: #1abc9c "> Examples</ h6 >
146146 < span class ="badge badge-light ">
@@ -155,29 +155,29 @@ <h6 class="card-title" style="color: #1abc9c">Examples</h6>
155155 </ div >
156156 < div class ="col-lg-4 col-sm-6 mb-4 ">
157157 < div class ="card h-100 ">
158- < img class ="card-img-top " src ="./assets/img/logos/Scan_480_270 .png " alt ="sCan ">
158+ < img class ="card-img-top " src ="./assets/img/logos/VNNLIB_480_270 .png " alt ="VNN-LIB ">
159159 < div class ="card-body ">
160160 < h4 class ="card-title ">
161- < a target ="_blank " href ="https ://github.com/NeVerTools/scan " > SCAn </ a >
161+ < a target ="_blank " href ="http ://www.vnnlib.org/ " > VNN-LIB </ a >
162162 </ h4 >
163163 < p class ="card-text ">
164- < span class ="badge badge-primary "> Tool</ span >
165- < span class ="badge badge-warning "> In development</ span >
166- </ br > </ br > A statistical code analyzer.
164+ < span class ="badge badge-primary "> Initiative</ span >
165+ </ br > </ br > An international initiative whose aim is to encourage collaboration and facilitate research and development in Verification of Neural Networks (VNN).
167166 </ p >
168167 </ div >
169168 </ div >
170169 </ div >
171- < div class ="col-lg-4 col-sm-6 mb-4 ">
170+ < div class ="col-lg-4 col-sm-6 mb-4 ">
172171 < div class ="card h-100 ">
173- < img class ="card-img-top " src ="./assets/img/logos/VNNLIB_480_270 .png " alt ="VNN-LIB ">
172+ < img class ="card-img-top " src ="./assets/img/logos/Scan_480_270 .png " alt ="sCan ">
174173 < div class ="card-body ">
175174 < h4 class ="card-title ">
176- < a target ="_blank " href ="http ://www.vnnlib.org/ " > VNN-LIB </ a >
175+ < a target ="_blank " href ="https ://github.com/NeVerTools/scan " > SCAn </ a >
177176 </ h4 >
178177 < p class ="card-text ">
179- < span class ="badge badge-primary "> Initiative</ span >
180- </ br > </ br > An international initiative whose aim is to encourage collaboration and facilitate research and development in Verification of Neural Networks (VNN).
178+ < span class ="badge badge-primary "> Tool</ span >
179+ < span class ="badge badge-warning "> CONVINCE EU project</ span >
180+ </ br > </ br > A statistical code analyzer developed for the EU project < a target ="_blank " href ="https://convince-project.eu/ "> CONVINCE</ a > .
181181 </ p >
182182 </ div >
183183 </ div >
@@ -261,7 +261,7 @@ <h2 class="page-section-heading d-inline-block text-white">Publications</h2>
261261 < li >
262262 < p class ="pre-wrap lead "> S. Demarchi, D. Guidotti, L. Pulina and A. Tacchella</ p >
263263 < h5 > NeVer2: Learning and Verification of Neural Networks < span class ="badge badge-warning "> Article</ span > </ h5 >
264- < p class ="pre-wrap authors "> Soft Computing - accepted for publication </ p >
264+ < p class ="pre-wrap authors "> Soft Computing</ p >
265265 </ li >
266266 < li >
267267 < p class ="pre-wrap lead "> S. Demarchi, A. Gimelli and A. Tacchella</ p >
@@ -446,7 +446,7 @@ <h4>Elena Botoeva</h4>
446446 < div class ="team-member ">
447447 < img class ="mx-auto rounded-circle " src ="assets/img/team/ag.jpg " alt ="... " />
448448 < h4 > Andrea Gimelli</ h4 >
449- < p class ="text-muted "> Graduate Fellow | UniGE</ p >
449+ < p class ="text-muted "> PhD student | UniGE</ p >
450450 </ div >
451451 </ div >
452452 < div class ="col-lg-4 ">
0 commit comments