Zhiming Chi's 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》习题答案、课程笔记
cbmc
C Bounded Model Checker
DiffAbs
Differentiable abstract domain implementations for neural network reasoning on PyTorch
eran
ETH Robustness Analyzer for Deep Neural Networks
eran-docker
(copy from t-lozen) Docker image for ERAN ETH Robustness Analyzer
lane-changing
RL assignment 2
langchain
⚡ Building applications with LLMs through composability ⚡
llm-security
New ways of breaking app-integrated LLMs
movie_recommend_knowleagegraph
Python操作Neo4j数据库,知识图谱,根据相似度计算的一个电影推荐的Demo
mpi
并行计算学习笔记
PatchART
incremental ART with patch
Prompt-Engineering-Guide
🐙 Guides, papers, lecture, notebooks and resources for prompt engineering
ReAct
[ICLR 2023] ReAct: Synergizing Reasoning and Acting in Language Models
ReluplexCav2017
reluplex
vnncomp2021
VNN Neural Network Verification Competition 2021