5-day longest streak
-
Life-Harness
Offical implementation of "Life-Harness"
Python ★ 184 17d agoExplain → -
Open-CLEANER
Offical implementation of "CLEANER: Self-Purified Trajectories Boost Agentic Reinforcement Learning"
Python ★ 34 28d agoExplain → -
PrivCirNet
[NeurIPS'24] Official implement of "PrivCirNet: Efficient Private Inference via Block Circulant Transformation"
Python ★ 15 3mo agoExplain → -
SEC-PPDL
No description.
C++ ★ 5 3mo agoExplain → -
tainverify_lean
No description.
Lean ★ 2 7h agoExplain → -
22_Fall_sp_labs
No description.
★ 2 3y agoExplain → -
Tianshi-Xu.github.io
No description.
HTML ★ 0 17d agoExplain → -
verl ⑂
verl/HybridFlow: A Flexible and Efficient RL Post-Training Framework
Python ★ 0 1mo agoExplain → -
my_agent_bench
No description.
Python ★ 0 29d agoExplain → -
CryptoMOE
No description.
Python ★ 0 1y agoExplain → -
nanoCSE ⑂
No description.
Python ★ 0 4mo agoExplain → -
mathlib4 ⑂
The math library of Lean 4
Lean ★ 0 5mo agoExplain → -
Open-AgentRL ⑂
Demystifying Reinforcement Learning in Agentic Reasoning
Python ★ 0 6mo agoExplain → -
trainverify_lean
No description.
Lean ★ 0 7mo agoExplain → -
SandboxFusion ⑂
No description.
Python ★ 0 7mo agoExplain → -
rStar ⑂
No description.
★ 0 9mo agoExplain → -
assignment5-alignment ⑂
No description.
Python ★ 0 7mo agoExplain → -
agents
No description.
Python ★ 0 7mo agoExplain → -
assignment2-systems ⑂
Student version of Assignment 2 for Stanford CS336 - Language Modeling From Scratch
Python ★ 0 7mo agoExplain → -
DSP-Plus ⑂
Implementation and subsequent optimization for "Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models"
★ 0 1y agoExplain → -
HEQuant
Official repo for HEQuant
Python ★ 0 11mo agoExplain → -
brevitas ⑂
Brevitas: neural network quantization in PyTorch
★ 0 1y agoExplain → -
QSD-Transformer ⑂
Offical implementation of "Quantized Spike-driven Transformer" (ICLR2025)
Python ★ 0 1y agoExplain → -
PrefixQuant ⑂
An algorithm for weight-activation quantization (W4A4, W4A8) of LLMs, supporting both static and dynamic quantization
Python ★ 0 5mo agoExplain → -
Tianshi-Xu2.github.io ⑂
My homepage
TeX ★ 0 1y agoExplain → -
compiler
a compiler based on java
Java ★ 0 1y agoExplain → -
SEC-LAB
No description.
TeX ★ 0 1y agoExplain → -
SmallQuant
Quantization for resnet32/resnet18/mbv2
Python ★ 0 2y agoExplain → -
SEC-ChatGPT ⑂
A cross-platform ChatGPT/Gemini UI (Web / PWA / Linux / Win / MacOS). 一键拥有你自己的跨平台 ChatGPT/Gemini 应用。
TypeScript ★ 0 2y agoExplain → -
MySparsity
No description.
Python ★ 0 2y agoExplain → -
NAS
No description.
★ 0 3y agoExplain → -
EzPC ⑂
No description.
★ 0 3y agoExplain → -
myCode
No description.
Python ★ 0 3y agoExplain → -
canteen
No description.
Java ★ 0 3y agoExplain → -
SGX-hardware ⑂
This is a list of hardware which is supports Intel SGX - Software Guard Extensions.
★ 0 4y agoExplain → -
Data-Science-Notes ⑂
数据科学的笔记以及资料搜集
★ 0 4y agoExplain → -
DeepLearning ⑂
Some practices about deep learning
★ 0 5y agoExplain →
No repos match these filters.