ChangyuanYU

ChangyuanYU's Stars

• tlaplus/DrTLAPlus

  Dr. TLA+ series - learn an algorithm and protocol, study a specification

  Language:TLA82498

• hwayne/learntla-v2

  Learn TLA+ for free! No prior experience necessary!

  Language:TLA20141

• wangxuqi/Prompt-Engineering-Guide-Chinese

  Prompt工程师指南，源自英文版，但增加了AIGC的prompt部分，为了降低同学们的学习门槛，翻译更新

  Language:MDX1.1k115

• Xnhyacinth/Awesome-LLM-Long-Context-Modeling

  📰 Must-read papers and blogs on LLM based Long Context Modeling 🔥

  1.1k41

• Tongji-KGLLM/RAG-Survey

  1.9k125

• cosmos/ibc

  Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.

  Language:TeX944397

• Yu-An-Shih/PartRet

  Language:Verilog6

• wu-haoze/sdsl

  A Bounded Model Checker equipped with Self-Driven Strategy-Learning

  Language:Python5

• libp2p/libp2p

  A modular and extensible networking stack which solves many challenges of peer-to-peer applications.

  2.7k261

• WTFAcademy/WTF-zk

  零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

  Language:Jupyter Notebook1.7k211

• Bitcoin-ABC/bitcoin-abc

  Bitcoin ABC develops node software and infrastructure for the eCash project. This a mirror of the official Bitcoin-ABC repository. Please see README.md

  Language:C++1.2k770

• lightning/bolts

  BOLT: Basis of Lightning Technology (Lightning Network Specifications)

  Language:Markdown2.1k491

• mvcisback/py-aiger-gridworld

  Language:Python11

• lsils/mockturtle

  C++ logic network library

  Language:C++215141

• cure-lab/EDA4SAT

  4

• michwqy/IBC-TLA

  Public code of our formal analysis of IBC protocol

  Language:TLA7

• yunshengb/graph-matching-toolkit

  Language:Java135

• ChengzhiPiao/GEDGNN

  The code repository of paper "Computing Graph Edit Distance via Neural Graph Matching" for PVLDB 2023.

  Language:Python183

• Amrita-TIFAC-Cyber-Blockchain/Formal-Methods-Blockchain

  Formal Methods for Blockchain & Smart Contracts

  32

• WilfredTA/formal-methods-curriculum

  Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry

  Language:Jupyter Notebook16513

• dzambon/graph-matching-toolkit

  Language:Java2415

• upscale-project/generic-sqed-demo

  Language:Verilog123

• upscale-project/sqed-generator

  Python-based workflow to generate QED modules from ISA/architecture specifications

  Language:Verilog33

• makaimann/ride-core-demo

  A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core

  Language:Verilog10

• upscale-project/aqed-decomp-FMCAD2021

  Experiments related to our FMCAD 2021 paper "Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition"

  Language:C5

• he-y/Awesome-Pruning

  A curated list of neural network pruning resources.

  2.4k328

• NYU-MLDA/OpenABC

  OpenABC-D is a large-scale labeled dataset generated by synthesizing open source hardware IPs. This dataset can be used for various graph level prediction problems in chip design.

  Language:Verilog11820

• llm-misinformation/llm-misinformation-survey

  Paper list for the survey "Combating Misinformation in the Age of LLMs: Opportunities and Challenges" and the initiative "LLMs Meet Misinformation", accepted by AI Magazine 2024

  907

• EdinburghNLP/awesome-hallucination-detection

  List of papers on hallucination detection in LLMs.

  70759

• jxzhangjhu/Awesome-LLM-Uncertainty-Reliability-Robustness

  Awesome-LLM-Robustness: a curated list of Uncertainty, Reliability and Robustness in Large Language Models

  68647