Thinklab-SJTU / LIG-MMLinks
☆13Updated 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
- Adapting VLMs to Bench2Drive.☆150Updated last month
- ☆16Updated 2 years ago
- [SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline☆22Updated 2 years ago
- Official implementation of ICLR 2025 paper: "Unify ML4TSP: Drawing Methodological Principles for TSP and Beyond from Streamlined Design S…☆39Updated 3 months ago
- DafnyBench: A Benchmark for Formal Software Verification☆46Updated 8 months ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Updated 2 years ago
- [NeurIPS 2024 Datasets and Benchmarks Track] Benchmarking PtO and PnO Methods in the Predictive Combinatorial Optimization Regime☆23Updated 5 months ago
- A Python toolkit for Machine Learning (ML) practices for Combinatorial Optimization (CO).☆58Updated 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☆198Updated 9 months ago
- This is the tool released in the ASE'23 paper "Generative Type Inference for Python".☆27Updated last year
- Official Implementation of Our ICLR 2023 paper "ROCO: A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers…☆20Updated 10 months ago
- [TOSEM'25] The official GitHub page for the survey paper "A Survey on Large Language Models for Code Generation".☆143Updated last month
- [EMNLP 2024 Industry Track & KDD UrbComp 2024 Best Paper Award] ITINERA: Integrating Spatial Optimization with Large Language Models for …☆52Updated 3 months ago
- A Python Graph Matching Toolkit.☆339Updated this week
- A Survey on Large Language Models for Software Engineering☆282Updated 6 months ago
- [NeurIPS2024] Fast T2T: Optimization Consistency Speeds Up Diffusion-Based Training-to-Testing Solving for Combinatorial Optimization; [N…☆13Updated 2 months ago
- classification and solutions for PKU-CSSummerCamp-OnlineJudge☆21Updated 2 years ago
- Official implementation of Our NeurIPS 2024 Paper "Boundary Matters: A Bi-Level Active Finetuning Method"☆13Updated 6 months ago
- Chinese Translation for Philip Guo's The PhD Grind☆83Updated 2 years ago
- [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing☆12Updated 6 months ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆35Updated last year
- [ACL'25] UTBoost: Rigorous Evaluation of Coding Agents on SWE-Bench☆32Updated 3 weeks ago
- ☆21Updated 3 weeks ago
- Awesome machine learning for temporal point processes papers.☆20Updated 3 years ago
- ☆22Updated last month
- Improving Math reasoning through Direct Preference Optimization with Verifiable Pairs☆15Updated 5 months ago
- [NeurIPS 2023] T2T: From Distribution Learning in Training to Gradient Search in Testing for Combinatorial Optimization☆64Updated 2 months ago
- [ACL'24 Oral] Code for 'Rewriting the Code: A Simple Method for Large Language Model Augmented Code Search'☆16Updated 11 months ago