Showing 1–20 of 46 results
/ Date/ Name
Jun 11, 2025Pareto Optimal Code GenerationOct 19, 2016Fairness as a Program PropertyAug 29, 2022Qubit Mapping and Routing via MaxSATFeb 15, 2021Certified Robustness to Programmable Transformations in LSTMsJan 16, 2015Spatial InterpolantsAug 14, 2025Generating Compilers for Qubit Mapping and RoutingJul 12, 2020Interval Universal Approximation for Neural NetworksSep 21, 2021Introduction to Neural Network VerificationFeb 17, 2017Quantifying Program BiasFeb 7, 2020Semantic Robustness of Models of Source CodeJun 5, 2025Beyond Accuracy: Dissecting Mathematical Reasoning for LLMs Under Reinforcement LearningDec 2, 2019Proving Data-Poisoning Robustness in Decision TreesApr 20, 2023The Dataset Multiplicity Problem: How Unreliable Data Impacts PredictionsFeb 23, 2026SkillOrchestra: Learning to Route Agents via Skill TransferMar 20, 2026Analyzing Decoders for Quantum Error CorrectionMay 26, 2022BagFlip: A Certified Defense against Data PoisoningDec 10, 2018Scaling-Up In-Memory Datalog Processing: Observations and TechniquesSep 15, 2017Synthesizing Coupling Proofs of Differential PrivacyMay 27, 2024A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified RobustnessOct 29, 2018Trace Abstraction Modulo Probability