Julien Lehmann

Orcid: 0009-0003-2872-3796

According to our database¹, Julien Lehmann authored at least 4 papers between 2022 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Verifying Neural Networks with PyRAT.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 32nd International Symposium, 2025

PyRAT: Verifying Neural Networks with Abstract Interpretation (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the AI Verification - Second International Symposium, 2025

2024

Neural Network Verification with PyRAT.

[BibT_eX]

[DOI]

Augustin Lemesle

Julien Lehmann

Tristan Le Gall

CoRR, 2024

2022

Analysis of a Target-Based Actor-Critic Algorithm with Linear Function Approximation.

[BibT_eX]

[DOI]

Anas Barakat

Pascal Bianchi

Julien Lehmann

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2022

Julien Lehmann

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...