| Evaluating large language models trained on code M Chen, J Tworek, H Jun, Q Yuan, HPO Pinto, J Kaplan, H Edwards, ... arXiv preprint arXiv:2107.03374, 2021 | 2019 | 2021 |
| Toward trustworthy AI development: mechanisms for supporting verifiable claims M Brundage, S Avin, J Wang, H Belfield, G Krueger, G Hadfield, H Khlaaf, ... arXiv preprint arXiv:2004.07213, 2020 | 328 | 2020 |
| T2: Temporal Property Verification M Brockschmidt, B Cook, S Ishtiaq, H Khlaaf, N Piterman Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 82 | 2016 |
| On automation of CTL* verification for infinite-state systems B Cook, H Khlaaf, N Piterman International Conference on Computer Aided Verification, 13-29, 2015 | 49 | 2015 |
| Evaluating large language models trained on code. arXiv 2021 M Chen, J Tworek, H Jun, Q Yuan, HPO Pinto, J Kaplan, H Edwards, ... arXiv preprint arXiv:2107.03374 10, 2021 | 43 | 2021 |
| Alethea Power, Lukasz Kaiser, Mohammad Bavarian, Clemens Winter, Philippe Tillet, Felipe Petroski Such, David W M Chen, J Tworek, H Jun, Q Yuan, H Ponde, J Kaplan, H Edwards, ... | 35 | 2021 |
| Disruptive innovations and disruptive assurance: Assuring machine learning and autonomy R Bloomfield, H Khlaaf, PR Conmy, G Fletcher Computer 52 (9), 82-89, 2019 | 27 | 2019 |
| Verifying increasingly expressive temporal logics for infinite-state systems B Cook, H Khlaaf, N Piterman Journal of the ACM (JACM) 64 (2), 1-39, 2017 | 22 | 2017 |
| Toward trustworthy AI development: Mechanisms for supporting verifiable claims. ArXiv M Brundage, S Avin, J Wang, H Belfield, G Krueger, G Hadfield, H Khlaaf, ... arXiv preprint arXiv:2004.07213, 2020 | 21 | 2020 |
| Fairness for infinite-state systems B Cook, H Khlaaf, N Piterman Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 18 | 2015 |
| Toward comprehensive risk assessments and assurance of ai-based systems H Khlaaf Trail of Bits, 2023 | 17 | 2023 |
| Toward trustworthy AI development: mechanisms for supporting verifiable claims (2020) M Brundage, S Avin, J Wang, H Belfield, G Krueger, G Hadfield, H Khlaaf, ... arXiv preprint arXiv:2004.07213, 2020 | 17 | 2020 |
| A hazard analysis framework for code synthesis large language models H Khlaaf, P Mishkin, J Achiam, G Krueger, M Brundage arXiv preprint arXiv:2207.14157, 2022 | 16 | 2022 |
| Faster temporal reasoning for infinite-state programs B Cook, H Khlaaf, N Piterman 2014 Formal Methods in Computer-Aided Design (FMCAD), 75-82, 2014 | 14 | 2014 |
| Safety case templates for autonomous systems R Bloomfield, G Fletcher, H Khlaaf, L Hinde, P Ryan arXiv preprint arXiv:2102.02625, 2021 | 13 | 2021 |
| Toward trustworthy AI development: Mechanisms for supporting verifiable claims. arXiv 2020 M Brundage, S Avin, J Wang, H Belfield, G Krueger, G Hadfield, H Khlaaf, ... arXiv preprint arXiv:2004.07213, 2004 | 13 | 2004 |
| Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS--a collection of Technical Notes Part 1 R Bloomfield, G Fletcher, H Khlaaf, P Ryan, S Kinoshita, Y Kinoshit, ... arXiv preprint arXiv:2003.00789, 2020 | 9 | 2020 |
| Emphasis Class 1 and Class 2 Assessment of Rosemount Pressure and Temperature Transmitters E Saopraseuth, N Wienhold, E Butler, S Guerra, H Khlaaf 11th Nuclear Plant Instrumentation, Control and Human-Machine Interface …, 2019 | 1 | 2019 |
| Fairness for infinite-state systems B Cook, H Khlaaf, N Piterman RN 14, 11, 2014 | 1 | 2014 |
| Applicable and Achievable Formal Verification H Khlaaf | | 2019 |
