Litex is a simple formal language Learnable in 2 hours, not 1 year. It scales formal reasoning in AI era.
-
Updated
Nov 1, 2025 - Go
#
aiforscience
Here are 7 public repositories matching this topic...
Generative Flow Networks - GFlowNet
-
Updated
Oct 31, 2025 - Python
PaddleMaterials is a data-mechanism dual-driven, foundation model development and deployment, end to end toolkit based on PaddlePaddle deep learning framework for materials science and engineering.
deep-learning nmr-spectroscopy structure-generator property-prediction ai-for-science machine-learning-interatomic-potential material-discovery aiforscience ai-for-materials
-
Updated
Oct 31, 2025 - Python
Derivative-Free Guidance in Diffusion Models with Soft Value-Based Decoding. For controlled generation in DNA, RNA, proteins, molecules (+ images)
-
Updated
Oct 3, 2024 - Python
FourierFlow: Frequency-aware Flow Matching for Generative Turbulence Modeling
-
Updated
Jun 1, 2025 - Python
A comprehensive system for evaluating AI research papers using advanced language models with asynchronous processing and concurrent evaluation capabilities.
-
Updated
Aug 15, 2025 - Python
AI for Materials Science Training and Development
-
Updated
Oct 11, 2025 - Jupyter Notebook
Improve this page
Add a description, image, and links to the aiforscience topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the aiforscience topic, visit your repo's landing page and select "manage topics."