GaoMath
Popular repositories Loading
-
matlab2fortran
matlab2fortran PublicForked from zaikunzhang/matlab2fortran
Performs some simple conversions from matlab code to fortran
MATLAB 1
-
UCAS_StochasticProcess
UCAS_StochasticProcess PublicForked from Salensoft/UCAS_StochasticProcess
中国科学院大学_随机过程讲义及习题解答
-
UCAS_Operational_Research
UCAS_Operational_Research PublicForked from houseleo/UCAS_Operational_Research
中国科学院大学 运筹学通论课程相关资料
-
UCAS_Matrix
UCAS_Matrix PublicForked from ucas-deep-learning/UCAS_Matrix
中国科学院大学矩阵分析与应用课程相关资料
Python
-
IPA-discuss
IPA-discuss PublicForked from UCAS-IPA/IPA-discuss
中国科学院大学2019年图像处理与分析课程相关资源及问答。
MATLAB
-
interpretable-ml-book
interpretable-ml-book PublicForked from christophM/interpretable-ml-book
Book about interpretable machine learning
Jupyter Notebook
Repositories
- EvoLoRA-MOEAD Public
GaoMath/EvoLoRA-MOEAD’s past year of commit activity - Julia-Lean Public
一款基于 Lean 4 与 Julia 混合开发的智能定理证明辅助系统。前端深度集成于 Lean 4 编辑器,能实时调用大模型生成证明战术并在后台进行沙箱静默验证;后端依托 Julia 构建了轻量级通信网关与 Web 可视化启动器,支持一键无缝切换 DeepSeek、Ollama 等云端或本地模型,实现了形式化验证与底层 AI 算力的高效解耦。
GaoMath/Julia-Lean’s past year of commit activity - geppy Public Forked from ShuhuaGao/geppy
A framework for gene expression programming (an evolutionary algorithm) in Python
GaoMath/geppy’s past year of commit activity - DRL_algorithm_library Public Forked from ZYunfeii/DRL_algorithm_library
This is a reinforcement learning algorithm library. The code takes into account both performance and simplicity, with little dependence.
GaoMath/DRL_algorithm_library’s past year of commit activity - UAV_Obstacle_Avoiding_DRL Public Forked from ZYunfeii/UAV_Obstacle_Avoiding_DRL
This is a project about deep reinforcement learning autonomous obstacle avoidance algorithm for UAV.
GaoMath/UAV_Obstacle_Avoiding_DRL’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading...
Most used topics
Loading...