Millstein, Todd
- What do LLMs need to Synthesize Correct Router Configurations?
2023/07/11 by Rajdeep Mondal, Mondal, Rajdeep, Alan Tang +7 · 16 citations
Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Networking and Internet Architecture (cs.NI) #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- Counterexample-Guided Learning of Monotonic Neural Networks
2020/06/16 by Aishwarya Sivaraman, Golnoosh Farnadi, Sivaraman, Aishwarya +5 · 5 citations
Computer Science · #Adversarial Robustness in Machine Learning #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Data Classification
- LoopInvGen: A Loop Invariant Generator based on Precondition Inference
2017/07/07 by Saswat Padhi, Rahul Sharma, Padhi, Saswat +3 · 4 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- Logical Abstractions for Noisy Variational Quantum Algorithm Simulation
2021/03/31 by Huang, Yipeng, Holtzen, Steven, Millstein, Todd +2 · 3 citations
#Emerging Technologies (cs.ET) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Physics (quant-ph)
- Probabilistic Program Abstractions
2017/05/28 by Holtzen, Steven, Millstein, Todd, Broeck, Guy Van den · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- Generating and Sampling Orbits for Lifted Probabilistic Inference
2019/03/12 by Holtzen, Steven, Millstein, Todd, Broeck, Guy Van den · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- Overfitting in Synthesis: Theory and Practice (Extended Version)
2019/05/17 by Saswat Padhi, Todd Millstein, Padhi, Saswat +5 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- Data-Driven Inference of Representation Invariants
2020/03/26 by Miltner, Anders, Padhi, Saswat, Millstein, Todd +1 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference
2021/05/26 by Holtzen, Steven, Junges, Sebastian, Vazquez-Chanlatte, Marcell +3 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Tuning Random Generators: Property-Based Testing as Probabilistic Programming
2025/08/20 by Tjoa, Ryan, Garg, Poorva, Goldstein, Harrison +3 · 1 citation
#D.2.5 #D.3 #FOS: Computer and information sciences #G.3 #Programming Languages (cs.PL) #Software Engineering (cs.SE)