Operator learning library for scientific computing.
https://github.com/neuraloperator
AI-driven protein design and optimization.
https://github.com/AI-ProteinDesign
Theorem proving and mathematical reasoning with Lean.
https://github.com/lean-dojo
Research projects from the Anima Lab.
https://github.com/Anima-Lab
A fast and simple Python library for tensor learning.
https://github.com/tensorly