Thinklab-SJTU / LIG-MMLinks
☆16Updated 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
- DafnyBench: A Benchmark for Formal Software Verification☆50Updated 11 months ago
- [NeurIPS 2024 Datasets and Benchmarks Track] Benchmarking PtO and PnO Methods in the Predictive Combinatorial Optimization Regime☆23Updated 8 months ago
- ☆16Updated 2 years ago
- ☆38Updated 3 months ago
- Adapting VLMs to Bench2Drive.☆166Updated last month
- [SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline☆22Updated 2 years ago
- [TOSEM'25] The official GitHub page for the survey paper "A Survey on Large Language Models for Code Generation".☆173Updated 4 months ago
- Code for our paper: ACM-MILP: Adaptive Constraint Modification via Grouping and Selection for Hardness-Preserving MILP Instance Generatio…☆13Updated 10 months ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Updated 2 years ago
- classification and solutions for PKU-CSSummerCamp-OnlineJudge☆21Updated 2 years ago
- A Code Efficiency Benchmark for Code Generation☆12Updated 6 months ago
- A Systematic Literature Review on Large Language Models for Automated Program Repair☆217Updated this week
- [ACL'25] UTBoost: Rigorous Evaluation of Coding Agents on SWE-Bench☆33Updated 3 months ago
- This repository hosts the source code for the paper "ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Mo…☆16Updated last year
- ☆22Updated 3 months ago
- Repo-Level Code generation papers☆223Updated 4 months ago
- Monitor Google Scholar author citation counts and track changes automatically without opening tabs.☆68Updated 3 months ago
- Code, benchmark and environment for "ScienceBoard: Evaluating Multimodal Autonomous Agents in Realistic Scientific Workflows"☆118Updated last week
- ☆11Updated 10 months ago
- [ICML'25] Our study systematically investigates massive values in LLMs' attention mechanisms. First, we observe massive values are concen…☆82Updated 5 months ago
- Provide .bst files for NeurIPS latex template☆49Updated 7 months ago
- Official implementation of Our NeurIPS 2024 Paper "Boundary Matters: A Bi-Level Active Finetuning Method"☆13Updated 9 months ago
- Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages☆17Updated 9 months ago
- Reproducing R1 for Code with Reliable Rewards☆272Updated 6 months ago
- [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing☆13Updated 9 months ago
- [ICSE'25] Aligning the Objective of LLM-based Program Repair☆22Updated 8 months ago
- Neural Code Intelligence Survey 2024; Reading lists and resources☆278Updated 4 months ago
- A Python Graph Matching Toolkit.☆343Updated 2 months ago
- This is the tool released in the ASE'23 paper "Generative Type Inference for Python".☆28Updated 2 years ago