[upstream-sync] README.md from ai-boost/awesome-ai-for-science@d18ecc3a [catalogue]

2026-08-18 04:25:00 +00:00
1 changed files with 2 additions and 3 deletions
@@ -2,8 +2,8 @@
 title: "Readme"
 task: ""
 lineage_type: import
-upstream_source: https://github.com/ai-boost/awesome-ai-for-science/blob/7f00e2f0/README.md
-upstream_sha: 7f00e2f0
+upstream_source: https://github.com/ai-boost/awesome-ai-for-science/blob/d18ecc3a/README.md
+upstream_sha: d18ecc3a
 imported_at: 2026-08-18
 prompt_class: catalogue
 upstream_changes: accepted
@@ -339,7 +339,6 @@ validated: false
 - [TorchLean (lean-dojo, 2026)](https://github.com/lean-dojo/TorchLean) - First unified Lean 4 framework for neural-network specification, execution, and verification; tensor shapes are part of the types, models are executable Lean programs, and the same definitions can be used by training code, graph transformations, certificate checkers, and proofs with CPU/CUDA backends (123+ stars, MIT License)
 - [Get Physics Done (PSI)](https://github.com/psi-oss/get-physics-done) - First open-source agentic AI physicist turning research questions into structured workflows with rigorous verification and multi-step analytical work for long-horizon physics projects; integrates with Claude Code, Codex, Gemini CLI, and OpenCode (804+ stars, Apache 2.0, 2026)
 - [Foam-Agent (NeurIPS 2025)](https://github.com/csml-rpi/Foam-Agent) - End-to-end composable multi-agent framework for automating OpenFOAM-based CFD simulations from natural language prompts, managing meshing, case setup, execution, error correction, and post-processing; achieves 100% success rate on 110 FoamBench tasks with Claude Opus 4.6 through Architect-Input Writer-Runner-Reviewer agent collaboration with RAG-enhanced generation and MCP tool integration (RPI CSML, 242+ stars, MIT License)
- [AI CFD Scientist (RPI CSML, arXiv 2026)](https://github.com/csml-rpi/AI-CFD-Scientist) - Open-ended AI scientist for computational fluid dynamics that spans literature-grounded ideation, OpenFOAM execution via Foam-Agent, vision-language physics verification of rendered flow fields, source-code modification for new physical models, and figure-grounded LaTeX manuscript writing within a single inspectable workflow (43+ stars, Python)
 - [Zephyrus (ICLR 2026)](https://github.com/Rose-STL-Lab/Zephyrus) - First agentic framework for weather science, pairing an LLM with ZephyrusWorld (a code-execution environment exposing WeatherBench 2 data, geolocation, forecasting, simulation, and climatology tools) and ZephyrusBench (2,230 Q&A pairs across 49 weather-science tasks); outperforms text-only baselines by up to 44.2 percentage points (UC San Diego Rose-STL-Lab, 99+ stars, MIT License, 2026)
 - [BioDiscoveryAgent](https://github.com/snap-stanford/BioDiscoveryAgent) - AI agent for biological discovery and research automation
 - [Biomni](https://github.com/snap-stanford/Biomni) - General-purpose biomedical AI agent integrating LLM reasoning with retrieval-augmented planning and code-based execution to autonomously execute diverse biomedical research tasks and generate testable hypotheses (Stanford SNAP, bioRxiv 2025)