fuqi-jia

fuqi-jia's Stars

• ZJU-Automated-Reasoning-Group/pyomt

  A library for Optimization Modulo Theory (OMT) solving

  Language:Python5

• giuspek/tabularAllSMT

  Disjoint SMT enumeration without introducing blocking clauses

  Language:SMT2

• giuspek/tabularAllSAT

  Language:SMT51

• ZZy979/pytorch-tutorial

  PyTorch示例代码；复现GNN模型

  Language:Python11819

• dreamhomes/PyTorch-GNNs

  The implement of GNN based on Pytorch

  Language:Python19649

• fuqi-jia/Splitwise-MILP

  The Splitwise-like algorithm using MILP encoding.

  Language:Python2

• stanford-centaur/smt-switch

  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

  Language:C++11945

• limpa105/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1

• meta-llama/llama-recipes

  Scripts for fine-tuning Meta Llama with composable FSDP & PEFT methods to cover single/multi-node GPUs. Supports default & custom datasets for applications such as summarization and Q&A. Supporting a number of candid inference solutions such as HF TGI, VLLM for local or cloud deployment. Demo apps to showcase Meta Llama for WhatsApp & Messenger.

  Language:Jupyter Notebook15.8k2.3k

• meta-llama/llama

  Inference code for Llama models

  Language:Python57k9.6k

• zalandoresearch/fashion-mnist

  A MNIST-like fashion product database. Benchmark :point_down:

  Language:Python12k3k

• DDiekmann/Applied-Verification-Lab-Neural-Networks

  Some tutorials for different approaches to verify neural networks.

  Language:Jupyter Notebook104

• minghao-liu/NRAgo

  Solving SMT(NRA) formulas with gradient-based optimization.

  Language:Python42

• fuqi-jia/GRL-SVO

  This project proposes two Reinforcement Learning (RL) approaches combined with Graph Neural Networks (GNN) for Suggesting Variable Order (SVO).

  3

• fuqi-jia/BLAN

  Bit-bLAsting solving Non-linear integer constraints.

  Language:C++20

• Ailuras/prob-smt

  Language:C++62

• klee/klee

  KLEE Symbolic Execution Engine

  Language:C++2.7k683

• shaowei-cai-group/z3pp

  Language:C++478

• maximaximal/Paracooba

  Distributed and ressource elastic cube-and-conquer SAT & QBF solver

  Language:C++163

• marijnheule/CnC

  Cube-and-Conquer SAT solver

  Language:C3112

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1.1k236

• samwgoldman/graph

  adjacency list implementation in C

  Language:C96

• rxi/map

  A type-safe hash map implementation for C

  Language:C586120

• ccfddl/ccf-deadlines

  ⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

  Language:Vue6.6k454

• JHUAPL/lantern-smt

  "Safer than a torch." Lantern provides utility functions to encode (certain) PyTorch modules as Z3 constraints.

  Language:Python51

• JeffersonQin/concrete-math

  📐 具体数学读书笔记

  Language:C++172

• sweetice/Deep-reinforcement-learning-with-pytorch

  PyTorch implementation of DQN, AC, ACER, A2C, A3C, PG, DDPG, TRPO, PPO, SAC, TD3 and ....

  Language:Python4k859

• dair-ai/ml-visuals

  🎨 ML Visuals contains figures and templates which you can reuse and customize to improve your scientific writing.

  14k1.4k

• ryanzhangfan/NeuroSAT

  PyTorch implementation of NeuroSAT

  Language:Python278

• shennguyenrs/multivariate_poly_cal

  Multivariate Polynomials Calculator + - *

  Language:C++1