Pinned Repositories
CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
coqproject
Bash script for simple generation of Coq project metadata files
deepclaude
A high-performance LLM inference API and Chat UI that integrates DeepSeek R1's CoT reasoning traces with Anthropic Claude models.
DeepClaude1
DeepSeek r1 and Claude 3.5 Sonnet achieve the best combination, fully unleashing the power of the strongest models. Supports OpenAI streaming output and can run on your favorite ChatBox!
Firmware
PX4 Autopilot Software
graph-generation
GraphRNN: Generating Realistic Graphs with Deep Auto-regressive Models
mavros_offboard_control
MAVROS offboard control
NAO
Neural Architecture Optimization
netgan
Implementation of the paper "NetGAN: Generating Graphs via Random Walks".
nmp_qc
Neural Message Passing for Computer Vision
HelingZhang's Repositories
HelingZhang/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
HelingZhang/coqproject
Bash script for simple generation of Coq project metadata files
HelingZhang/deepclaude
A high-performance LLM inference API and Chat UI that integrates DeepSeek R1's CoT reasoning traces with Anthropic Claude models.
HelingZhang/DeepClaude1
DeepSeek r1 and Claude 3.5 Sonnet achieve the best combination, fully unleashing the power of the strongest models. Supports OpenAI streaming output and can run on your favorite ChatBox!
HelingZhang/Firmware
PX4 Autopilot Software
HelingZhang/graph-generation
GraphRNN: Generating Realistic Graphs with Deep Auto-regressive Models
HelingZhang/mavros_offboard_control
MAVROS offboard control
HelingZhang/NAO
Neural Architecture Optimization
HelingZhang/netgan
Implementation of the paper "NetGAN: Generating Graphs via Random Walks".
HelingZhang/nmp_qc
Neural Message Passing for Computer Vision
HelingZhang/prednet
Code and models accompanying "Deep Predictive Coding Networks for Video Prediction and Unsupervised Learning"
HelingZhang/predrnn-pp
Code release for "PredRNN++: Towards A Resolution of the Deep-in-Time Dilemma in Spatiotemporal Predictive Learning" (ICML 2018)
HelingZhang/ros_dronemap
HelingZhang/Spiking-Neural-Network
Pure python implementation of SNN
HelingZhang/Spiking-Neural-Network-SNN-with-PyTorch-where-Backpropagation-engenders-STDP
What about coding a Spiking Neural Network using an automatic differentiation framework? In SNNs, there is a time axis and the neural network sees data throughout time, and activation functions are instead spikes that are raised past a certain pre-activation threshold. Pre-activation values constantly fades if neurons aren't excited enough.
HelingZhang/voidrice
My dotfiles (deployed by LARBS)