OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Jacques D. Fleuriot
Full Professor, University of Edinburgh, University of Edinburgh
Joined
September 2024
Names
Jacques D. Fleuriot
(Preferred)
,
Jacques Fleuriot
Emails
****@ed.ac.uk
(Confirmed)
,
****@ed.ac.uk
(Confirmed)
Personal Links
Homepage
Career & Education History
Full Professor
University of Edinburgh, University of Edinburgh
(ed.ac.uk)
Present
Advisors, Relations & Conflicts
No relations added
Expertise
No areas of expertise listed
Publications
APE-Bench: Evaluating Automated Proof Engineering for Formal Math Libraries
Huajian Xin
,
Zheng Yuan
,
Jacques D. Fleuriot
,
Wenda Li
ICML 2026 regular
Readers:
Everyone
MARS: A neurosymbolic approach for interpretable drug discovery
Lauren Nicole DeLong
,
Yojana Gadiya
,
Paola Galdi
,
Jacques D. Fleuriot
,
Daniel Domingo-Fernández
Submitted to ICLR 2025
Readers:
Everyone
Co-Authors
Daniel Domingo-Fernández
Huajian Xin
Lauren Nicole DeLong
Paola Galdi
Wenda Li
Yojana Gadiya
Zheng Yuan