Huanranwang

Huanranwang's Stars

• robotics-survey/Awesome-Robotics-Foundation-Models

  93888

• SFU-MARS/optimized_dp

  Optimizing Dynamic Programming-Based Algorithms

  Language:Python10434

• wilsonrljr/sysidentpy

  A Python Package For System Identification Using NARMAX Models

  Language:Jupyter Notebook40379

• WooooDyy/LLM-Agent-Paper-List

  The paper list of the 86-page paper "The Rise and Potential of Large Language Model Based Agents: A Survey" by Zhiheng Xi et al.

  6.9k412

• AGI-Edgerunners/LLM-Agents-Papers

  A repo lists papers related to LLM based agent

  Language:Python1.1k76

• flecue/xai-aaai2022

  Language:Jupyter Notebook3012

• Verified-Intelligence/alpha-beta-CROWN

  alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)

  Language:Python25060

• nasa/ogma

  Generator of runtime monitors for flight and robotics applications.

  Language:Haskell33926

• ApolloAuto/apollo

  An open autonomous driving platform

  Language:C++25.3k9.7k

• verivital/nnv

  Neural Network Verification Software Tool

  Language:MATLAB11449

• SatyendraBanjare/plt-formal-methods-resources

  Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.

  521

• sisl/AutomotiveSafeRL

  Training and evaluation scripts for applying formal methods and reinforcement learning to autonomous driving problems.

  Language:Jupyter Notebook254

• awesomo4000/awesome-provable

  A curated set of links to formal methods involving provable code.

  1988

• BerkeleyLearnVerify/VerifAI

  VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.

  Language:Python17547

• BerkeleyLearnVerify/Scenic

  A compiler and scenario generator for the Scenic scenario description language.

  Language:Python290101

• AndreaCeccarelli/metrics_model

  Repository of the paper submitted at

  Language:Jupyter Notebook5

• fmrico/book_ros2

  Language:C++560112

• sics-sse/moped

  Mobile Open Platform for Experimental Development

  Language:Java165120

• CyC2018/CS-Notes

  :books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计

  178k51.1k

• labuladong/fucking-algorithm

  刷算法全靠套路，认准 labuladong 就够了！English version supported! Crack LeetCode, not only how, but also why.

  Language:Markdown126k23.2k

• MisterBooo/LeetCodeAnimation

  Demonstrate all the questions on LeetCode in the form of animation.（用动画的形式呈现解LeetCode题目的思路）

  Language:Java75.5k14k