( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks.

, , , и . ICML, том 119 из Proceedings of Machine Learning Research, стр. 9701-9711. PMLR, (2020)

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.

Sarfraz Khurshid

Safiya Khurshid

Adnan Sarfraz

Sarfraz Nawaz

Nawal Khurshid Said

 

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

Integrating Model Checking and Theorem Proving for Relational Reasoning, , , и . (2004)Learning to Optimize the Alloy Analyzer., , , и . ICST, стр. 228-239. IEEE, (2019)A Study of Learning Data Structure Invariants Using Off-the-shelf Tools., , , , , и . SPIN, том 11636 из Lecture Notes in Computer Science, стр. 226-243. Springer, (2019)A Study of Symmetry Breaking Predicates and Model Counting., , , , , и . TACAS (1), том 12078 из Lecture Notes in Computer Science, стр. 115-134. Springer, (2020)Quantifying the Exploration of the Korat Solver for Imperative Constraints., , , , и . ACM SIGSOFT Softw. Eng. Notes, 44 (4): 15 (2019)Distributed Symbolic Execution using Test-Depth Partitioning., и . CoRR, (2021)Extension-Aware Automated Testing Based on Imperative Predicates., , , и . ICST, стр. 25-36. IEEE, (2019)SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions., , , , , , , , и . ICSE, стр. 1932-1944. ACM, (2022)Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks., , , , и . ASE, стр. 104-115. IEEE, (2023)AlloyMC: Alloy meets model counting., , , и . ESEC/SIGSOFT FSE, стр. 1541-1545. ACM, (2020)