Using a Deep Learning Algorithm and Integrated Gradients Explanation to Assist Grading for Diabetic Retinopathy
Sayres, Rory, Taly, Ankur, Rahimy, Ehsan, Blumer, Katy, Coz, David, Hammel, Naama, Krause, Jonathan, Narayanaswamy, Arunachalam, Rastegar, Zahra, Wu, Derek, Xu, Shawn, Barb, Scott, Joseph, Anthony, Shumski, Michael, Smith, Jesse, Sood, Arjun B., Corrado, Greg S., Peng, Lily, Webster, Dale R.
Published in Ophthalmology (Rochester, Minn.) (01.04.2019)
Published in Ophthalmology (Rochester, Minn.) (01.04.2019)
Get full text
Journal Article
Local Explanations via Necessity and Sufficiency: Unifying Theory and Practice
Watson, David S., Gultchin, Limor, Taly, Ankur, Floridi, Luciano
Published in Minds and machines (Dordrecht) (01.03.2022)
Published in Minds and machines (Dordrecht) (01.03.2022)
Get full text
Journal Article
Synthesizing switching logic using constraint solving
Taly, Ankur, Gulwani, Sumit, Tiwari, Ashish
Published in International journal on software tools for technology transfer (01.11.2011)
Published in International journal on software tools for technology transfer (01.11.2011)
Get full text
Journal Article
Language-Based Isolation of Untrusted JavaScript
Maffeis, S., Taly, A.
Published in 2009 22nd IEEE Computer Security Foundations Symposium (01.07.2009)
Published in 2009 22nd IEEE Computer Security Foundations Symposium (01.07.2009)
Get full text
Conference Proceeding
Property Inference for Deep Neural Networks
Gopinath, Divya, Converse, Hayes, Pasareanu, Corina, Taly, Ankur
Published in 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2019)
Published in 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2019)
Get full text
Conference Proceeding
Object Capabilities and Isolation of Untrusted Web Applications
Maffeis, Sergio, Mitchell, John C, Taly, Ankur
Published in 2010 IEEE Symposium on Security and Privacy (01.05.2010)
Published in 2010 IEEE Symposium on Security and Privacy (01.05.2010)
Get full text
Conference Proceeding
Automated Analysis of Security-Critical JavaScript APIs
Taly, A., Erlingsson, Mitchell, J. C., Miller, M. S., Nagra, J.
Published in 2011 IEEE Symposium on Security and Privacy (01.05.2011)
Published in 2011 IEEE Symposium on Security and Privacy (01.05.2011)
Get full text
Conference Proceeding
Speculative RAG: Enhancing Retrieval Augmented Generation through Drafting
Wang, Zilong, Wang, Zifeng, Le, Long, Zheng, Huaixiu Steven, Mishra, Swaroop, Perot, Vincent, Zhang, Yuwei, Mattapalli, Anush, Taly, Ankur, Shang, Jingbo, Lee, Chen-Yu, Pfister, Tomas
Year of Publication 11.07.2024
Year of Publication 11.07.2024
Get full text
Journal Article
Interpretable Mixture of Experts
Ismail, Aya Abdelsalam, Arik, Sercan Ö, Yoon, Jinsung, Taly, Ankur, Feizi, Soheil, Pfister, Tomas
Year of Publication 05.06.2022
Year of Publication 05.06.2022
Get full text
Journal Article