Author of the publication

Towards Reliable Neural Specifications.

, , , , , and . ICML, volume 202 of Proceedings of Machine Learning Research, page 11196-11212. PMLR, (2023)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

ADME Evaluation in Drug Discovery. 3. Modeling Blood-Brain Barrier Partitioning Using Simple Molecular Descriptors., and . Journal of Chemical Information and Computer Sciences, 43 (6): 2137-2152 (2003)Stationary distribution and extinction of the DS-I-A model disease with periodic parameter function and Markovian switching., , , , and . Appl. Math. Comput., (2017)Optimizing an AltaRica simulator., , , , and . Concurr. Comput. Pract. Exp., (2022)Modeling Compound-Target Interaction Network of Traditional Chinese Medicines for Type II Diabetes Mellitus: Insight for Polypharmacology and Drug Design., , , , , , and . J. Chem. Inf. Model., 53 (7): 1787-1803 (2013)A generalized homogeneous and self-dual algorithm for linear programming., and . Oper. Res. Lett., 17 (4): 181-190 (1995)HPFF: Hierarchical Locally Supervised Learning with Patch Feature Fusion., , , , , and . CoRR, (2024)Fast QR code detection based on BING and AdaBoost-SVM., , , , , , , , and . HPSR, page 1-6. IEEE, (2019)Task assignments based on shared memory multi-core communication., and . ICSAI, page 324-328. IEEE, (2014)Machine Learning Steel Ms Temperature., and . Simul., (2021)From Bird's-Eye to Street View: Crafting Diverse and Condition-Aligned Images with Latent Diffusion Model., , , and . ICRA, page 16795-16802. IEEE, (2024)