Pinned Repositories
2022-cog-cim2real
2022cog比赛模拟机器人对抗
academic
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
AI-Computing-System-Lab
智能计算系统 实验部分
AI-homework
智能计算系统作业
AICS-Course
《智能计算系统 AI Computing Systems》习题答案、课程笔记
AndrewNgMachineLearning
boo-vscode
cbmc
C Bounded Model Checker
DiffAbs
Differentiable abstract domain implementations for neural network reasoning on PyTorch
eran
ETH Robustness Analyzer for Deep Neural Networks
CRhapsody's Repositories
CRhapsody/2022-cog-cim2real
2022cog比赛模拟机器人对抗
CRhapsody/academic
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
CRhapsody/AI-Computing-System-Lab
智能计算系统 实验部分
CRhapsody/AI-homework
智能计算系统作业
CRhapsody/AICS-Course
《智能计算系统 AI Computing Systems》习题答案、课程笔记
CRhapsody/AndrewNgMachineLearning
CRhapsody/boo-vscode
CRhapsody/cbmc
C Bounded Model Checker
CRhapsody/DiffAbs
Differentiable abstract domain implementations for neural network reasoning on PyTorch
CRhapsody/eran
ETH Robustness Analyzer for Deep Neural Networks
CRhapsody/eran-docker
(copy from t-lozen) Docker image for ERAN ETH Robustness Analyzer
CRhapsody/fullerene
CRhapsody/IVAN-experiment
CRhapsody/lane-changing
RL assignment 2
CRhapsody/langchain
⚡ Building applications with LLMs through composability ⚡
CRhapsody/llm-security
New ways of breaking app-integrated LLMs
CRhapsody/movie_recommend_knowleagegraph
Python操作Neo4j数据库，知识图谱，根据相似度计算的一个电影推荐的Demo
CRhapsody/mpi
并行计算学习笔记
CRhapsody/My-problem-of-ERAN
CRhapsody/nnrepair
CRhapsody/paradox-for-test
CRhapsody/PatchART
incremental ART with patch
CRhapsody/Presentation_Slides
CRhapsody/Prompt-Engineering-Guide
🐙 Guides, papers, lecture, notebooks and resources for prompt engineering
CRhapsody/ReAct
[ICLR 2023] ReAct: Synergizing Reasoning and Acting in Language Models
CRhapsody/ReluplexCav2017
reluplex
CRhapsody/tf_tutorial
CRhapsody/vnncomp2021
VNN Neural Network Verification Competition 2021
CRhapsody/vscode