I. INTRODUCTION

II. BACKGROUND

III. PRIOR WORK ON CERTIFICATE SYNTHESIS

IV. LEARNING NEURAL CERTIFICATES

V. IMPLEMENTATION CONSIDERATIONS

VI. CASE STUDIES

VII. LIMITATIONS AND FUTURE WORK

VIII. CONCLUSION