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:
- ☆17Updated 2 years ago
- ☆41Updated 6 months ago
- [SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline☆22Updated 2 years ago
- classification and solutions for PKU-CSSummerCamp-OnlineJudge☆22Updated 2 years ago
- DafnyBench: A Benchmark for Formal Software Verification☆58Updated last year
- Adapting VLMs to Bench2Drive.☆180Updated 4 months ago
- [TOSEM'25] The official GitHub page for the survey paper "A Survey on Large Language Models for Code Generation".☆186Updated 6 months ago
- ☆114Updated 3 weeks 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
- [ACL'25] UTBoost: Rigorous Evaluation of Coding Agents on SWE-Bench☆33Updated 6 months ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆38Updated last year
- Provide .bst files for NeurIPS latex template☆48Updated 9 months ago
- Official implementation of Our NeurIPS 2024 Paper "Boundary Matters: A Bi-Level Active Finetuning Method"☆14Updated last year
- ☆12Updated 2 years ago
- [EMNLP 2024 Industry Track & KDD UrbComp 2024 Best Paper Award] ITINERA: Integrating Spatial Optimization with Large Language Models for …☆63Updated 8 months ago
- This is a repository dedicated to high quality figures from EMNLP 2025 long papers.☆50Updated last month
- Easily download anonymous Github repositories from https://anonymous.4open.science/ with a GUI interface☆97Updated last year
- [TMLR 2025] Efficient Reasoning Models: A Survey☆298Updated last week
- This repository hosts the source code for the paper "ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Mo…☆16Updated last month
- Survey on LLM Inference via Search (TMLR 2025)☆14Updated 9 months ago
- ☆23Updated 6 months ago
- ☆32Updated 4 months ago
- Official implementation of MASS: Multi-Agent Simulation Scaling for Portfolio Construction☆164Updated this week
- Code repo for "Harnessing Negative Signals: Reinforcement Distillation from Teacher Data for LLM Reasoning"☆32Updated 6 months ago
- ☆34Updated 9 months ago
- Chinese Translation for Philip Guo's The PhD Grind☆93Updated 3 years ago
- Repo-Level Code generation papers☆233Updated last month
- ✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models☆262Updated 7 months ago
- Official code repo for the paper "LearnAct: Few-Shot Mobile GUI Agent with a Unified Demonstration Benchmark"☆46Updated 8 months ago
- ☆219Updated 6 months ago