vehicle-lang/vehicle
A toolkit for enforcing logical specifications on neural networks
HaskellNOASSERTION
Stargazers
- AnderssorbySopra Steria
- anqurvanillapy@Shopee
- Avi-D-coderCasper Association R&D
- beike-zh
- BelegCuthalionTehran
- bobatkeyEdinburgh, UK
- brendanzab@yeslogic
- cyberglotGlasgow, UK
- dan-zhengGoogle
- dannypsnl@second-state
- guilhermehasChalmers
- ioanlucaLondon, UK and Bucharest, RO
- jktsukahara
- jmlowenthal
- joaogui1
- kayovoldk
- KleidukosMontreuil
- KraksINRIA/ENS; Tufts
- markmcd@google
- mattecapuGlasgow, UK
- mb64
- naminHarvard University
- newton-migosiMLabs
- nikitavoloboevMadrid
- nothingnessesGMT+0
- omelkonianUniversity of Edinburgh
- philzook58Draper
- raziehl
- s1dbUoofG
- sdemarchUniversitĂ degli Studi di Genova
- sirinathSakrio!
- smorimoto@ocaml @tc39
- the-dr-lazyMilky Way
- tkersey@thisisartium
- TristanCacquerayRed Hat
- YiergotEdinburgh