Immediate Impact
23 standout
Citing Papers
Software Testing With Large Language Models: Survey, Landscape, and Vision
2024 Standout
Generalized Out-of-Distribution Detection: A Survey
2024 Standout
Works of Matthew Mirman being referenced
Differentiable Abstract Interpretation for Provably Robust Neural Networks
2018
Author Peers
| Author | Last Decade | Papers | Cites | |||||
|---|---|---|---|---|---|---|---|---|
| Matthew Mirman | 132 | 17 | 1 | 36 | 22 | 4 | 145 | |
| Kai Xiao | 84 | 11 | 26 | 20 | 5 | 100 | ||
| David Vandevoorde | 31 | 3 | 16 | 14 | 3 | 103 | ||
| Robert Ragno | 80 | 22 | 18 | 3 | 4 | 122 | ||
| Naveen Sastry | 123 | 4 | 13 | 15 | 5 | 226 | ||
| Duane Merrill | 52 | 2 | 56 | 9 | 6 | 151 | ||
| Jung-Yi Jiang | 120 | 6 | 50 | 6 | 5 | 170 | ||
| Dennis K. Branstad | 92 | 4 | 83 | 12 | 6 | 174 | ||
| Yutaro Yamada | 101 | 4 | 5 | 37 | 18 | 5 | 127 | |
| Meena S.M. | 99 | 7 | 105 | 13 | 3 | 197 | ||
| Kamer Vishi | 106 | 5 | 27 | 24 | 7 | 143 |
All Works
Loading papers...