Apprentissage multimodal modulaire pour l'extraction de théorèmes et de preuves dans des documents scientifiques longs

Shrey Mishra, Antoine Gauquier, Pierre Senellart