Thinklab-SJTU / LIG-MMLinks
☆15Updated 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
- ☆16Updated 2 years ago
- Official implementation of ICLR 2025 paper: "Unify ML4TSP: Drawing Methodological Principles for TSP and Beyond from Streamlined Design S…☆39Updated 4 months ago
- [SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline☆22Updated 2 years ago
- A Python toolkit for Machine Learning (ML) practices for Combinatorial Optimization (CO).☆60Updated this week
- DafnyBench: A Benchmark for Formal Software Verification☆46Updated 9 months ago
- [NeurIPS 2024 Datasets and Benchmarks Track] Benchmarking PtO and PnO Methods in the Predictive Combinatorial Optimization Regime☆23Updated 6 months ago
- [TOSEM'25] The official GitHub page for the survey paper "A Survey on Large Language Models for Code Generation".☆153Updated 2 months ago
- [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(http…☆13Updated last year
- classification and solutions for PKU-CSSummerCamp-OnlineJudge☆21Updated 2 years ago
- ☆21Updated last month
- Code for our paper: ACM-MILP: Adaptive Constraint Modification via Grouping and Selection for Hardness-Preserving MILP Instance Generatio…☆13Updated 8 months ago
- A Systematic Literature Review on Large Language Models for Automated Program Repair☆201Updated 10 months ago
- [NeurIPS 2023] T2T: From Distribution Learning in Training to Gradient Search in Testing for Combinatorial Optimization☆67Updated 2 months ago
- Official implementation of MASS: Multi-Agent Simulation Scaling for Portfolio Construction☆148Updated this week
- [NeurIPS2024] Fast T2T: Optimization Consistency Speeds Up Diffusion-Based Training-to-Testing Solving for Combinatorial Optimization; [N…☆15Updated 2 months ago
- Repo-Level Code generation papers☆211Updated 2 months ago
- The repository for paper "DebugBench: "Evaluating Debugging Capability of Large Language Models".☆81Updated last year
- A Python Graph Matching Toolkit.☆342Updated 2 weeks ago
- ☆37Updated 3 months ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆35Updated last year
- ☆183Updated 2 months ago
- ☆49Updated last year
- Reproducing R1 for Code with Reliable Rewards☆258Updated 4 months ago
- Neural Code Intelligence Survey 2024; Reading lists and resources☆268Updated 2 months ago
- Official implementation of Our NeurIPS 2024 Paper "Boundary Matters: A Bi-Level Active Finetuning Method"☆13Updated 7 months ago
- Monitor Google Scholar author citation counts and track changes automatically without opening tabs.☆66Updated last month
- [ACL'25] UTBoost: Rigorous Evaluation of Coding Agents on SWE-Bench☆32Updated last month
- Chinese Translation for Philip Guo's The PhD Grind☆85Updated 2 years ago
- Official Implementation of Our ICLR 2023 paper "ROCO: A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers…☆20Updated 11 months ago