Matthew Mirman

According to our database1, Matthew Mirman authored at least 14 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Ten simple rules for using large language models in science, version 1.0.
PLoS Comput. Biol., January, 2024

2023
LLM Guided Inductive Inference for Solving Compositional Problems.
CoRR, 2023

2022
Certified Deep Learning: Verification and Training.
PhD thesis, 2022

The Fundamental Limits of Neural Networks for Interval Certified Robustness.
Trans. Mach. Learn. Res., 2022

2021
The Fundamental Limits of Interval Arithmetic for Neural Networks.
CoRR, 2021

Robustness certification with generative models.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020
Robustness Certification of Generative Models.
CoRR, 2020

Universal Approximation with Certified Networks.
Proceedings of the 8th International Conference on Learning Representations, 2020

2019
Online Robustness Training for Deep Reinforcement Learning.
CoRR, 2019

A Provable Defense for Deep Residual Networks.
CoRR, 2019

2018
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation.
Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Fast and Effective Robustness Certification.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Differentiable Abstract Interpretation for Provably Robust Neural Networks.
Proceedings of the 35th International Conference on Machine Learning, 2018

Training Neural Machines with Trace-Based Supervision.
Proceedings of the 35th International Conference on Machine Learning, 2018


  Loading...