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
• LOGO-CUHKSZ / W2SAT
  ☆16Updated 2 years ago
• sun-wendy / DafnyBench
  DafnyBench: A Benchmark for Formal Software Verification
  ☆48Updated 10 months ago
• Thinklab-SJTU / ML4TSPBench
  Official implementation of ICLR 2025 paper: "Unify ML4TSP: Drawing Methodological Principles for TSP and Beyond from Streamlined Design S…
  ☆39Updated 4 months ago
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆19Updated 2 years ago
• Thinklab-SJTU / Bench2Drive-VL
  Adapting VLMs to Bench2Drive.
  ☆162Updated last week
• YihongDong / Self-collaboration-Code-Generation
  ☆21Updated 2 months ago
• Thinklab-SJTU / PredictiveCO-Benchmark
  [NeurIPS 2024 Datasets and Benchmarks Track] Benchmarking PtO and PnO Methods in the Predictive Combinatorial Optimization Regime
  ☆23Updated 6 months ago
• iSEngLab / AwesomeLLM4APR
  A Systematic Literature Review on Large Language Models for Automated Program Repair
  ☆208Updated this week
• microsoft / nl-2-postcond
  Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages
  ☆17Updated 8 months ago
• DLFrameworkBug / DLFrameworkBugsData
  a data collection of related work: Toward Understanding Deep Learning Framework Bugs
  ☆16Updated last year
• juyongjiang / CodeLLMSurvey
  [TOSEM'25] The official GitHub page for the survey paper "A Survey on Large Language Models for Code Generation".
  ☆160Updated 3 months ago
• NeuroDong / Bibtex_for_NeurIPS2025
  Provide .bst files for NeurIPS latex template
  ☆48Updated 6 months ago
• Veri-Code / ReForm
  ☆34Updated 2 months ago
• Thinklab-SJTU / ML4CO-Kit
  A Python toolkit for Machine Learning (ML) practices for Combinatorial Optimization (CO).
  ☆60Updated last week
• ganler / code-r1
  Reproducing R1 for Code with Reliable Rewards
  ☆259Updated 5 months ago
• MASWorks / MASLab
  ☆188Updated 2 months ago
• Lodour / wisc-thesis-template
  A Minimum Working Example of the Dissertation Template for UW-Madison.
  ☆11Updated last year
• yingweima2022 / SWE-Reasoner
  ☆23Updated 2 months ago
• sen-ye / PKU-CSSummerCamp-OJ
  classification and solutions for PKU-CSSummerCamp-OnlineJudge
  ☆21Updated 2 years ago
• NoakLiu / GraphSnapShot
  GraphSnapShot: Caching Local Structure for Fast Graph Learning [Efficient ML System]
  ☆40Updated 3 weeks ago
• iSEngLab / LLM4UT_Empirical
  [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing
  ☆13Updated 8 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
• Thinklab-SJTU / ACM-MILP
  Code for our paper: ACM-MILP: Adaptive Constraint Modification via Grouping and Selection for Hardness-Preserving MILP Instance Generatio…
  ☆13Updated 9 months ago
• ise-uiuc / neuri-artifact
  Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"
  ☆31Updated last year
• wyt2000 / InverseCoder
  [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(http…
  ☆13Updated last year
• thunlp / DebugBench
  The repository for paper "DebugBench: "Evaluating Debugging Capability of Large Language Models".
  ☆83Updated last year
• sii-research / siiRL
  siiRL: Shanghai Innovation Institute RL Framework for Advanced LLMs and Multi-Agent Systems
  ☆219Updated this week
• allanj / repo-level-codegen-papers
  Repo-Level Code generation papers
  ☆214Updated 3 months ago
• CUHK-Shenzhen-SE / UTBoost
  [ACL'25] UTBoost: Rigorous Evaluation of Coding Agents on SWE-Bench
  ☆33Updated 2 months ago