Thinklab-SJTU / LIG-MMLinks
☆17Updated last year
Alternatives and similar repositories for LIG-MM
Users that are interested in LIG-MM are comparing it to the libraries listed below
Sorting:
- ☆11Updated last year
- ☆17Updated 2 years ago
- DafnyBench: A Benchmark for Formal Software Verification☆55Updated last year
- Official implementation of ICLR 2025 paper: "Unify ML4TSP: Drawing Methodological Principles for TSP and Beyond from Streamlined Design S…☆45Updated 8 months ago
- classification and solutions for PKU-CSSummerCamp-OnlineJudge☆22Updated 2 years ago
- Adapting VLMs to Bench2Drive.☆179Updated 3 months ago
- A Code Efficiency Benchmark for Code Generation☆13Updated 8 months ago
- [TOSEM'25] The official GitHub page for the survey paper "A Survey on Large Language Models for Code Generation".☆181Updated 6 months ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Updated 2 years ago
- ☆39Updated 5 months ago
- A Python toolkit for Machine Learning (ML) practices for Combinatorial Optimization (CO).☆74Updated last month
- ☆102Updated last week
- [NeurIPS 2024 Datasets and Benchmarks Track] Benchmarking PtO and PnO Methods in the Predictive Combinatorial Optimization Regime☆23Updated 10 months ago
- Chinese Translation for Philip Guo's The PhD Grind☆92Updated 2 years ago
- A Systematic Literature Review on Large Language Models for Automated Program Repair☆228Updated last week
- Code for our paper: ACM-MILP: Adaptive Constraint Modification via Grouping and Selection for Hardness-Preserving MILP Instance Generatio…☆13Updated last year
- Official code repo for the paper "LearnAct: Few-Shot Mobile GUI Agent with a Unified Demonstration Benchmark"☆45Updated 8 months ago
- GraphSnapShot: Caching Local Structure for Fast Graph Learning [Efficient ML System]☆40Updated 3 weeks ago
- Repo-Level Code generation papers☆231Updated last month
- This is a repository dedicated to high quality figures from EMNLP 2025 long papers.☆50Updated last month
- ☆12Updated 2 years ago
- Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks☆13Updated 2 years ago
- ☆19Updated 10 months ago
- A lightweight and highly extensible Agent framework☆20Updated last week
- [ACL'25] UTBoost: Rigorous Evaluation of Coding Agents on SWE-Bench☆33Updated 5 months ago
- A curated list of awesome papers on dataset reduction, including dataset distillation (dataset condensation) and dataset pruning (coreset…☆59Updated last year
- Monitor Google Scholar author citation counts and track changes automatically without opening tabs.☆68Updated 5 months ago
- SPA-Bench: A Comprehensive Benchmark for SmartPhone Agent Evaluation☆56Updated 6 months ago
- [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(http…☆14Updated last year
- Provide .bst files for NeurIPS latex template☆49Updated 9 months ago