معرفی
Marie Kerjean is a CNRS Researcher at the Love team within the Laboratoire d'Informatique de Paris-Nord (LIPN), Université Sorbonne Paris Nord. Her work bridges Logic, Formal Proofs, and Functional Analysis, with a focus on differentiable programming and the semantics of linear logic.
۰مقاله منتشرشده
