Alternatives and similar repositories for LIG-MM

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

• LOGO-CUHKSZ / W2SAT
  ☆17Updated 2 years ago
• Veri-Code / ReForm
  ☆41Updated 6 months ago
• sun-wendy / DafnyBench
  DafnyBench: A Benchmark for Formal Software Verification
  ☆58Updated last year
• juyongjiang / CodeLLMSurvey
  [TOSEM'25] The official GitHub page for the survey paper "A Survey on Large Language Models for Code Generation".
  ☆186Updated 7 months ago
• wyt2000 / InverseCoder
  [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(http…
  ☆14Updated last year
• sen-ye / PKU-CSSummerCamp-OJ
  classification and solutions for PKU-CSSummerCamp-OnlineJudge
  ☆22Updated 2 years ago
• Thinklab-SJTU / Bench2Drive-VL
  Adapting VLMs to Bench2Drive.
  ☆180Updated 4 months ago
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆19Updated 2 years ago
• Thinklab-SJTU / BiLAF
  Official implementation of Our NeurIPS 2024 Paper "Boundary Matters: A Bi-Level Active Finetuning Method"
  ☆14Updated last year
• YihongDong / Self-collaboration-Code-Generation
  ☆23Updated 6 months ago
• microsoft / nl-2-postcond
  Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages
  ☆18Updated last year
• iSEngLab / AwesomeLLM4APR
  [TOSEM 2026]A Systematic Literature Review on Large Language Models for Automated Program Repair
  ☆230Updated 3 weeks ago
• JohnnyPeng18 / Coffe
  A Code Efficiency Benchmark for Code Generation
  ☆13Updated 8 months ago
• CUHK-Shenzhen-SE / UTBoost
  [ACL'25] UTBoost: Rigorous Evaluation of Coding Agents on SWE-Bench
  ☆33Updated 6 months ago
• MingyuJ666 / Rope_with_LLM
  [ICML'25] Our study systematically investigates massive values in LLMs' attention mechanisms. First, we observe massive values are concen…
  ☆85Updated 7 months ago
• january-blue / OpenNovelty
  ☆114Updated 3 weeks ago
• DLFrameworkBug / DLFrameworkBugsData
  a data collection of related work: Toward Understanding Deep Learning Framework Bugs
  ☆16Updated 2 years ago
• iSEngLab / AwesomeLLM4SE
  [SCIS 2025] A Survey on Large Language Models for Software Engineering
  ☆309Updated last year
• allanj / repo-level-codegen-papers
  Repo-Level Code generation papers
  ☆233Updated last month
• tracholar / phd-grind-chn
  Chinese Translation for Philip Guo's The PhD Grind
  ☆93Updated 3 years ago
• TheRoadQaQ / ReLIFT
  Official Repository of "Learning what reinforcement learning can't"
  ☆79Updated last month
• EricZhu-42 / ChargingStationMonitor
  南哪充电 —— 南京大学 (Nanjing Univerisity) 校内充电站监测系统
  ☆34Updated 4 months ago
• cornell-zhang / heurigym
  Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimization (ICLR'26)
  ☆63Updated this week
• InternScience / GeoX
  [ICLR'25] Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
  ☆47Updated last year
• iSEngLab / LLM4UT_Empirical
  [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing
  ☆13Updated last year
• lgy0404 / LearnAct
  Official code repo for the paper "LearnAct: Few-Shot Mobile GUI Agent with a Unified Demonstration Benchmark"
  ☆46Updated 8 months ago
• DreamH1gh / Scholar-Citation-Monitor
  Monitor Google Scholar author citation counts and track changes automatically without opening tabs.
  ☆68Updated 6 months ago
• QiushiSun / Awesome-Code-Intelligence
  Neural Code Intelligence Survey 2024-25; Reading lists and resources
  ☆280Updated 6 months ago
• OpenDFM / MULTI-Benchmark
  [SCIS] MULTI-Benchmark: Multimodal Understanding Leaderboard with Text and Images
  ☆44Updated 2 months ago
• CUHK-Shenzhen-SE / RetromorphicTesting
  ☆11Updated last year