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

upstream/ai-boost-awesome-ai-for-science/catalogue/README.md

@@ -2,9 +2,9 @@
 title: "Readme"
 task: ""
 lineage_type: import
-upstream_source: https://github.com/ai-boost/awesome-ai-for-science/blob/d18ecc3a/README.md
-upstream_sha: d18ecc3a
-imported_at: 2026-08-18
+upstream_source: https://github.com/ai-boost/awesome-ai-for-science/blob/e52565a5/README.md
+upstream_sha: e52565a5
+imported_at: 2026-08-11
 prompt_class: catalogue
 upstream_changes: accepted
 author: upstream
@@ -63,7 +63,6 @@ validated: false
   - [🌍 Earth & Climate Science](#-earth--climate-science)
   - [🌾 Agriculture & Ecology](#-agriculture--ecology)
   - [🧠 Social Sciences](#-social-sciences)
-  - [🏗 Engineering & Built Environment](#-engineering--built-environment)
 - [🤖 Foundation Models for Science](#-foundation-models-for-science)
 - [📈 Datasets & Benchmarks](#-datasets--benchmarks)
 - [💻 Computing Frameworks](#-computing-frameworks)
@@ -329,14 +328,12 @@ validated: false
 ### Domain-Specific Research Agents
 - [Aletheia](https://arxiv.org/abs/2602.10177) - Google DeepMind's autonomous mathematics research agent powered by Gemini Deep Think, autonomously solving 4 open problems from 700 Erdős conjectures and generating complete research papers without human intervention (February 2026)
 - [AlphaProof Nexus (Google DeepMind, arXiv 2026)](https://github.com/google-deepmind/alphaproof-nexus-results) - LLM-driven formal proof search system that pairs large language models with Lean verification to solve open mathematics problems; autonomously resolved 9 of 353 Erdős problems and 44 of 492 OEIS conjectures, with proofs and natural-language prose released for combinatorics, optimization, graph theory, algebraic geometry, and quantum optics collaborations (282+ stars, Apache 2.0)
-- [Ten Proofs (OpenAI, 2026)](https://github.com/openai/ten-proofs) - Lean 4 formalizations of ten major advances in mathematics and theoretical computer science, including improved sphere-packing bounds, non-sofic groups, a counterexample to Connes's rigidity conjecture, and quantum parallel repetition; released with the OpenAI paper and reasoning walkthroughs (57+ stars, Apache 2.0)
 - [AlphaGeometry](https://github.com/google-deepmind/alphageometry) - DeepMind's Olympiad-level geometry theorem prover combining neural language model with symbolic deduction engine, AlphaGeometry2 solves 84% of IMO geometry problems (42/50) at gold-medalist level (Nature 2024)
 - [Goedel-Prover-V2](https://github.com/Goedel-LM/Goedel-Prover-V2) - Strongest open-source automated theorem prover in Lean 4, 8B model matches DeepSeek-Prover-V2-671B at 84.6% MiniF2F, 32B model achieves 90.4% with self-correction, using scaffolded data synthesis and verifier-guided proof refinement (Princeton, 2025)
 - [DeepSeek-Prover-V2](https://github.com/deepseek-ai/DeepSeek-Prover-V2) - DeepSeek's open-source large language model for formal theorem proving in Lean 4, integrating informal and formal mathematical reasoning through recursive subgoal decomposition and reinforcement learning powered by DeepSeek-V3, with open weights and ProverBench evaluation (2025)
 - [LeanDojo](https://github.com/lean-dojo/LeanDojo) - Open-source toolkit and benchmark for learning-based theorem proving in Lean, providing programmatic Lean interaction, a 98K+ theorem dataset extracted from 217 Lean projects, and ReProver—the first retrieval-augmented LLM-based theorem prover for Lean—with reproducible training pipelines underpinning much subsequent Lean prover research (Caltech & NVIDIA, NeurIPS 2023 Outstanding Paper, Datasets & Benchmarks)
 - [Lean Copilot](https://github.com/lean-dojo/LeanCopilot) - LLMs as copilots for theorem proving in Lean 4, exposing native tactics (`suggest_tactics`, `search_proof`, `select_premises`) that embed language model inference and premise retrieval directly inside the Lean proof environment, supporting local CTranslate2/CUDA inference as well as remote model APIs for interactive and automated proof search (Caltech & NVIDIA, NeurIPS 2024, 1.2K+ stars)
 - [MathCode](https://github.com/math-ai-org/mathcode) - Terminal AI coding assistant with a built-in math formalization engine that converts plain-language math problems into Lean 4 theorems and attempts formal proofs; bundles a local Lean toolchain and WebUI for interactive mathematical reasoning (math-ai-org, 582+ stars, 2026)
-- [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)
 - [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)
@@ -730,7 +727,6 @@ validated: false
 
 #### Lab Automation & Robotics
 - [PyLabRobot](https://github.com/PyLabRobot/pylabrobot) - Interactive and hardware-agnostic SDK for laboratory automation, enabling programmatic control of liquid handlers, plate readers, and other lab instruments across multiple vendors; foundational infrastructure for self-driving laboratories and AI-driven experimental execution (447+ stars)
-- [RoboChem-Flex](https://github.com/Noel-Research-Group/Robochem_Flex) - Low-cost, modular self-driving laboratory platform democratizing autonomous chemical experimentation with open control software, device CAD/PCB files, and example optimization campaigns (Noël Research Group, University of Amsterdam, Apache 2.0, 2026)
 
 ### 🌌 Physics & Astronomy
 
@@ -746,7 +742,6 @@ validated: false
 - [TORAX](https://github.com/google-deepmind/torax) - Differentiable tokamak core transport simulator for fusion energy research, coupling PDE solvers with JAX auto-differentiation and neural-network surrogates for fast forward modelling, pulse-design, and trajectory optimization (Google DeepMind, Apache 2.0)
 - [DiffPhysDrone (Nature Machine Intelligence 2025)](https://github.com/HenryHuYu/DiffPhysDrone) - First real quadrotor robot trained end-to-end with differentiable physics for vision-based agile flight, bridging simulation-based learning and real-world deployment with physics-informed neural network controllers (558+ stars)
 - [Walrus (arXiv 2025)](https://github.com/PolymathicAI/walrus) - Cross-domain foundation model for continuum dynamics trained on 19 physical scenarios spanning 63 variables, featuring adaptive compute via stride modulation and patch jittering for long-run stability (Polymathic AI, 293+ stars, MIT License)
-- [GeoPT (ICML 2026)](https://github.com/Physics-Scaling/GeoPT) - Unified pre-trained model for general physics simulation via lifted geometric pre-training, augmenting static geometry with synthetic dynamics to enable dynamics-aware self-supervision without physics labels; improves industrial-fidelity benchmarks spanning fluid mechanics and solid mechanics while reducing labeled data requirements by 20–60% (Physics-Scaling, 224+ stars)
 
 #### Astronomy & Astrophysics
 - [AstroCLIP](https://github.com/PolymathicAI/AstroCLIP) - Cross-modal self-supervised foundation model for galaxies by Polymathic AI, jointly embedding multi-band galaxy imaging and optical spectra into a shared latent space to enable zero/few-shot redshift estimation, galaxy property prediction, morphology classification, and cross-modal similarity search (MNRAS Letters 2024)
@@ -820,19 +815,6 @@ validated: false
 
 ---
 
-## 🏗 Engineering & Built Environment
-
-### Structural & Civil Engineering
-- [StructureClaw](https://github.com/structureclaw/structureclaw) - AI-assisted structural engineering workspace for AEC workflows: natural language to structural model, analysis, code-check, and report (171+ stars, MIT License, 2026)
-
-### Architectural Design & BIM
-- [Aedifex](https://github.com/TangSY/aedifex) - Open-source 3D architectural editor with an AI design assistant; build floor plans with walls, doors, windows, and furniture using natural language, with real-time WebGPU-powered previews (TangSY, 59+ stars, MIT License, 2026)
-
-### Electrical & Electronics Engineering
-- [kicad-happy](https://github.com/aklofas/kicad-happy) - AI coding agent skills for KiCad electronics design that turn Claude Code, Codex, Gemini CLI, and other coding agents into full electronics design assistants; parses schematics and PCB layouts, builds power trees, audits connectors/ESD protection, validates passive networks, runs SPICE simulation, sources components from major distributors, and prepares boards for fabrication (aklofas, 974+ stars, MIT License, 2026)
-
----
-
 ## 🤖 Foundation Models for Science
 
 ### General Science Models
@@ -1003,7 +985,6 @@ This project builds upon and complements several excellent resources:
 
 ### 📊 Paper & Research Collections
 - [Scientific LLM Papers](https://github.com/yuzhimanhua/Awesome-Scientific-Language-Models) - 260+ scientific language models
-- [Awesome Scientific LLM Benchmarks](https://github.com/subinium/Awesome-Scientific-LLM-Benchmarks) - Curated, accuracy-first collection of benchmarks for evaluating LLMs on scientific reasoning and discovery across mathematics, physics, chemistry, materials science, biology, and agentic science (subinium, 29+ stars, MIT License, 2026)
 - [LLM4SR Repository](https://github.com/du-nlp-lab/LLM4SR) - LLM for scientific research survey materials
 - [PINNs Paper Collection](https://github.com/idrl-lab/PINNpapers) - Physics-informed neural networks research
 - [SciML Papers](https://sciml.ai/papers/) - Scientific computing and machine learning papers