( en | de | ru )

 

Disambiguation of "Taly, Ankur"

Author of the publication

copydeleteadd this publication to your clipboard
Automated synthesis of symbolic instruction encodings from I/O samples.

, and . PLDI, page 441-452. ACM, (2012)

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.

Antoine Taly

Ankur Ajmera

Ankur Patel

Ankur Agarwal

Ankur Kamthe

 

Other publications of authors with the same name

Identifying and Mitigating the Security Risks of Generative AI., , , , , , , , , and 13 other author(s). CoRR, (2023)A Multistakeholder Approach Towards Evaluating AI Transparency Mechanisms., , , , , , and . CoRR, (2021)Local explanations via necessity and sufficiency: unifying theory and practice., , , and . UAI, volume 161 of Proceedings of Machine Learning Research, page 1382-1392. AUAI Press, (2021)Gradients of Counterfactuals., , and . CoRR, (2016)Synthesizing switching logic using constraint solving., , and . Int. J. Softw. Tools Technol. Transf., 13 (6): 519-535 (2011)Interpretable Mixture of Experts for Structured Data., , , , , and . CoRR, (2022)A Note about: Local Explanation Methods for Deep Neural Networks lack Sensitivity to Parameter Values., and . CoRR, (2018)Finding Invariants in Deep Neural Networks., , , and . CoRR, (2019)Static Analysis by Policy Iteration on Relational Domains., , , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 237-252. Springer, (2007)Counterfactual Fairness in Text Classification through Robustness., , , , , and . AIES, page 219-226. ACM, (2019)