Litex: The First Formal Language Learnable in 1-2 Hours
-
Updated
Oct 4, 2025 - Go
Litex: The First Formal Language Learnable in 1-2 Hours
Generative Flow Networks - GFlowNet
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.
Derivative-Free Guidance in Diffusion Models with Soft Value-Based Decoding. For controlled generation in DNA, RNA, proteins, molecules (+ images)
FourierFlow: Frequency-aware Flow Matching for Generative Turbulence Modeling
A comprehensive system for evaluating AI research papers using advanced language models with asynchronous processing and concurrent evaluation capabilities.
AI for Materials Science Training and Development
Add a description, image, and links to the aiforscience topic page so that developers can more easily learn about it.
To associate your repository with the aiforscience topic, visit your repo's landing page and select "manage topics."