Michel, Julien

1. OpenMM 8: Molecular Dynamics Simulation with Machine Learning Potentials
   2023/10/04 by Peter Eastman, Raimondas Galvelis, Eastman, Peter +44 · 25 citations
   Materials Science · Biochemistry, Genetics and Molecular Biology · Decision Sciences · #Machine Learning in Materials Science #Protein Structure and Dynamics #Scientific Computing and Data Management
2. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
   2025/04/15 by Wang, Haiming, Unsal, Mert, Lin, Xiaohan +37 · 75 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences