diff --git a/_jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.md b/_jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.md index 3c24e10225159d0e4a80bbd945aa2d45d65b981c..545d31088dbf452204fb0d117dae3d5cbbbb701e 100644 --- a/_jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.md +++ b/_jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.md @@ -10,7 +10,7 @@ keywords: machine learning, graph neural networks, code representation learning, # {{ page.short }} -[Full description](2022-03-28-machine-learning-for-improving-formal-verification-of-code.pdf) +[Full description](/download/jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.pdf) #### Context: CEA LIST, Software Security and Reliability Lab diff --git a/_jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.pdf b/download/jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.pdf similarity index 100% rename from _jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.pdf rename to download/jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.pdf