Intelligence Artificielle.

Raisonnement auto-raffiné dans les LLMs : Du test-time compute à la vérification formelle

Comment faire monter en charge l'inférence via la recherche arborescente Monte Carlo et le retour itératif pour les problèmes d'ingénierie complexes.

Allier réseaux de neurones et solveurs SMT pour prouver formellement la conformité des actions de l'agent.