The Mathematical Game

Monte Carlo Tree Search can be used for automated theorem proving. Holophrasm is a neural theorem prover using MCTS combined with neural networks for the policy and the evaluation. In this paper we propose to improve the performance of the Holophrasm theorem prover using other game tree search algorithms

Politiques et pratiques culturelles en France et aux États-Unis

Annie Cohen-Solal, professeur certifiée Médiateurs culturels et capteurs de modernité dans le monde des arts plastiques entre Paris et New York Dans le cadre de notre analyse comparée de la scène des arts plastiques en France et aux États-Unis, nous avons d’abord considéré la première moitié du XXe siècle, à partir des différents acteurs qui interviennent dans le champ. L’action de certains d’entre eux, que nous qualifieront d’« acteurs dynamiques » – les collectionneurs, mécènes, galéristes,..

Politiques et pratiques culturelles en France et aux États-Unis

Annie Cohen-Solal, professeur Le monde des arts plastiques de l’ère du modernisme à celle de la globalisation : déplacements géographiques et transformations des acteurs Dans le cadre de notre analyse comparée de la scène des arts plastiques en France et aux États-Unis, nous avons d’abord considéré la première moitié du XXe siècle, à partir des différents acteurs qui interviennent dans le champ. L’action de certains d’entre eux, que nous qualifieront d’« acteurs dynamiques » – les collectionn..