Alternatives and similar repositories for LIG-MM

Users that are interested in LIG-MM are comparing it to the libraries listed below

• Thinklab-SJTU / L2P-MIP
  ☆11Updated last year
• Thinklab-SJTU / HardSATGEN
  [SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
  ☆22Updated 2 years ago
• LOGO-CUHKSZ / W2SAT
  ☆16Updated 2 years ago
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆19Updated 2 years ago
• Thinklab-SJTU / PredictiveCO-Benchmark
  [NeurIPS 2024 Datasets and Benchmarks Track] Benchmarking PtO and PnO Methods in the Predictive Combinatorial Optimization Regime
  ☆23Updated 7 months ago
• Thinklab-SJTU / ACM-MILP
  Code for our paper: ACM-MILP: Adaptive Constraint Modification via Grouping and Selection for Hardness-Preserving MILP Instance Generatio…
  ☆13Updated 10 months ago
• Thinklab-SJTU / Bench2Drive-VL
  Adapting VLMs to Bench2Drive.
  ☆164Updated 3 weeks ago
• sun-wendy / DafnyBench
  DafnyBench: A Benchmark for Formal Software Verification
  ☆49Updated 10 months ago
• juyongjiang / CodeLLMSurvey
  [TOSEM'25] The official GitHub page for the survey paper "A Survey on Large Language Models for Code Generation".
  ☆171Updated 3 months ago
• Veri-Code / ReForm
  ☆37Updated 3 months ago
• CUHK-Shenzhen-SE / UTBoost
  [ACL'25] UTBoost: Rigorous Evaluation of Coding Agents on SWE-Bench
  ☆33Updated 2 months ago
• sen-ye / PKU-CSSummerCamp-OJ
  classification and solutions for PKU-CSSummerCamp-OnlineJudge
  ☆20Updated 2 years ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆37Updated last year
• iSEngLab / AwesomeLLM4APR
  A Systematic Literature Review on Large Language Models for Automated Program Repair
  ☆214Updated this week
• WEIYanbin1999 / GITA
  [NeurIPS 2024] GITA: Graph to Image-Text Integration for Vision-Language Graph Reasoning
  ☆52Updated 11 months ago
• Thinklab-SJTU / pygmtools
  A Python Graph Matching Toolkit.
  ☆344Updated 2 months ago
• iSEngLab / AwesomeLLM4SE
  A Survey on Large Language Models for Software Engineering
  ☆290Updated 9 months ago
• lgy0404 / LearnAct
  Official code repo for the paper "LearnAct: Few-Shot Mobile GUI Agent with a Unified Demonstration Benchmark"
  ☆44Updated 5 months ago
• OliverLeeXZ / OPT-BENCH
  OPT-BENCH: Evaluating LLM Agent on Large-Scale Search Spaces Optimization Problems
  ☆120Updated 3 months ago
• DLFrameworkBug / DLFrameworkBugsData
  a data collection of related work: Toward Understanding Deep Learning Framework Bugs
  ☆16Updated 2 years ago
• DSA-MLOPS / DSAA6000I
  ☆28Updated last year
• NoakLiu / GraphSnapShot
  GraphSnapShot: Caching Local Structure for Fast Graph Learning [Efficient ML System]
  ☆40Updated last month
• NeuroDong / Bibtex_for_NeurIPS2025
  Provide .bst files for NeurIPS latex template
  ☆49Updated 6 months ago
• Alex-HaochenLi / ReCo
  [ACL'24 Oral] Code for 'Rewriting the Code: A Simple Method for Large Language Model Augmented Code Search'
  ☆16Updated last year
• allanj / repo-level-codegen-papers
  Repo-Level Code generation papers
  ☆219Updated 3 months ago
• iSEngLab / LLM4UT_Empirical
  [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing
  ☆13Updated 9 months ago
• YihongDong / Self-collaboration-Code-Generation
  ☆21Updated 2 months ago
• JohnnyPeng18 / TypeGen
  This is the tool released in the ASE'23 paper "Generative Type Inference for Python".
  ☆28Updated 2 years ago
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 5 years ago
• SoftWiser-group / LaM4Inv
  Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024
  ☆21Updated last year