Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Paul Lezeau

1PUBLICATIONS

12CO-AUTHORS

Knowledge representation and reasoning

Featured researcher

Get your video featured.

Publish with JoVE

Featured researcher

Get your video featured.

Publish with JoVE

Publications (1)

Sort by Publication Date:

|Nov 12, 2025

Olympiad-level formal mathematical reasoning with reinforcement learning.

Thomas Hubert, Rishi Mehta, Laurent Sartran

Pageof 1

Frequent Collaborators

1 joint publications

Thomas Hubert

1 joint publications

Laurent Sartran

1 joint publications

Miklós Z Horváth

1 joint publications

Eric Wieser

1 joint publications

Ottavia Bertolli

1 joint publications

Oliver Nash

1 joint publications

Salvatore Mercuri

1 joint publications

Calle Sönne

1 joint publications

Alex Davies

1 joint publications

Edward Hughes

Frequent Collaborators

1 joint publications

Thomas Hubert

1 joint publications

Laurent Sartran

1 joint publications

Miklós Z Horváth

1 joint publications

Eric Wieser

Top Related Videos

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task

Published on : Jul 22, 2025

See more related videos

Top Related Videos

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task

Published on : Jul 22, 2025

See more related videos