Journal article Active sequential hypothesis testing The Annals of Statistics 2013 Read Paper Active sequential hypothesis testing Mohammad Naghshvar, Tara Javidi The Annals of Statistics 2013 Open access Advanced Statistical Process Monitoring cs.IT Distributed Sensor Networks and Detection Algorithms Machine Learning and Algorithms
Preprint A Theory of Formal Synthesis via Inductive Learning arXiv (Cornell University) 2015 Read Paper A Theory of Formal Synthesis via Inductive Learning Susmit Jha, Sanjit A. Seshia arXiv (Cornell University) 2015 Open access Machine Learning and Algorithms Software Engineering Research Software Testing and Debugging Techniques
Journal article Diagnosing multiple faults Artificial Intelligence 1987 Read Paper Diagnosing multiple faults Johan de Kleer, Brian C. Williams Artificial Intelligence 1987 AI-based Problem Solving and Planning Machine Learning and Algorithms Software Engineering Research
Preprint Requential Coding: Pushing the Limits of Model Compression with Self-Generated Training Data arXiv (Cornell University) 2026 Read Paper Requential Coding: Pushing the Limits of Model Compression with Self-Generated Training Data Shikai Qiu, Marc Finzi, Yujia Zheng, Kun Zhang, Andrew Gordon Wilson arXiv (Cornell University) 2026 Open access Advanced Data Compression Techniques AI Algorithms Computability Computability, Logic, AI Algorithms