Phd Position F - M Discovering New Mathematics With Autotelic Generative ai Agents H/F INRIA

PhD Position F/M Discovering new mathematics with autotelic generative AI agents
Le descriptif de l'offre ci-dessous est en Anglais
Type de contrat : CDD

Niveau de diplôme exigé : Bac +5 ou équivalent

Fonction : Doctorant

Mission confiée

This PhD thesis will happen in the context of the defi Inria LLM4Code aiming to advance research at the crossroads of generative AI, software engineering and automated math proofs. This PhD will be co-supervised by PY Oudeyer (Flowers AI & CogSci Lab) and Guillaume Baudart (PiCube).

Specifically, this PhD will aim at leveraging and extending methods for building autotelic generative AI agents, developed so far in the Flowers AI & CogSci lab, with the objective to use them as tools for making new discoveries in the domain of mathematics, and in particular for curiosity-driven generation of novel, diverse and interesting theorems as well as their proofs, in interaction with external automatic proof checking systems such as LEAN, which is a speciality of the PiCube team.

The PhD will aim to make a state-of-the-art review of projects using genAI for generating theorems and building math proofs at the start of the PhD, and design experimental and strategic steps aiming at transposing existing work on autotelic genAI models for coding (e.g. ACES, SOAR, etc), and leveraging existing genAI math proof systems (e.g. STP).

Principales activités

- Reviewing state-of-the-art
- Designing, implementing and evaluating new methods of autotelic genAI for maths
- Developing and disseminating open source tools associated with these methods
- Writing scientific articles and blog posts and presenting them in international conferences

Compétences

- Expertise in machine learning, especially generative AI models
- Skills for running machine learning experiments on computer clusters
- Familiarity with LEAN or COQ
- Capacity to write scientific texts in english

Avantages

- Subsidized meals
- Possibility of teleworking and flexible organization of working hours Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
- Social security coverage

Rémunération

2200€ /month (before taxs)