( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Property-driven Training: All You (N)Ever Wanted to Know About.

, , , , , и . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Bastian Kienitz

Werner Kienitz

Carsten Kienitz

Malte Kienitz

Anja Kienitz

 

Другие публикации лиц с тем же именем

Why Robust Natural Language Understanding is a Challenge., , , , , , и . CoRR, (2022)ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification., , , , , , , и . FoMLAS@CAV, том 16 из Kalpa Publications in Computing, стр. 59-70. EasyChair, (2023)Neural Network Verification for the Masses (of AI graduates)., , , , , и . CoRR, (2019)Continuous Verification of Machine Learning: a Declarative Programming Approach., , и . PPDP, стр. 1:1-1:3. ACM, (2020)The Effect of Manifold Entanglement and Intrinsic Dimensionality on Learning., , и . AAAI, стр. 7160-7167. AAAI Press, (2022)Neural Networks, Secure by Construction - An Exploration of Refinement Types., , , , и . APLAS, том 12470 из Lecture Notes in Computer Science, стр. 67-85. Springer, (2020)Property-driven Training: All You (N)Ever Wanted to Know About., , , , , и . CoRR, (2021)Comparing Complexities of Decision Boundaries for Robust Training: A Universal Approach., , и . ACCV (6), том 13846 из Lecture Notes in Computer Science, стр. 627-645. Springer, (2022)