AESAT: An optimization framework for SAT solvers based on LLM
☆20May 8, 2026Updated 3 months ago
Alternatives and similar repositories for AESAT
Users that are interested in AESAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a mvirp solver☆15Mar 2, 2023Updated 3 years ago
- 线性规划中文教程，侧重于算法实现。☆16Jun 8, 2026Updated 2 months ago
- Claude Skill：Data Engineering 简历改写、JD 匹配、面试押题☆16May 19, 2026Updated 2 months ago
- [ICLR 2025] Learning-Guided Rolling Horizon Optimization for Long-Horizon Flexible Job-Shop Scheduling☆26Oct 20, 2025Updated 9 months ago
- 南京大学nemu，基于riscv32架构，目前进度PA3☆20Jan 30, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆89May 24, 2026Updated 2 months ago
- ☆25May 24, 2022Updated 4 years ago
- Learning Benders Decomposition by Coding☆36Jan 30, 2022Updated 4 years ago
- This is the unofficial LaTeX class for Master/Ph.D. Thesis Template of Huazhong University of Science and Technology☆33Oct 19, 2023Updated 2 years ago
- An Implementation of Fatigue Driving Detect, Huawei Cloud Track, 18th Challenge Cup☆39Jun 23, 2026Updated last month
- Official implementation of "G-LNS: Generative Large Neighborhood Search for LLM-Based Automatic Heuristic Design"(arXiv:2602.08253).☆29Feb 10, 2026Updated 6 months ago
- 🚀【Kaggle】Digit Recognizer代码和数据集 (Score 99.5%/99.91%/100%) ⛳☆27Dec 18, 2019Updated 6 years ago
- 用 Markdown 写论文，自动生成格式合规的 Word 文档。NEU thesis compiler: Markdown DSL → AST → .docx☆29May 29, 2026Updated 2 months ago
- ☆42Dec 1, 2025Updated 8 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- [ICML 25] "Preference Optimization for Combinatorial Optimization Problems"☆29Jun 6, 2025Updated last year
- LLM-powered Chrome extension for automatic web form filling. All data stays local.☆33Jun 4, 2026Updated 2 months ago
- Evolution of Heuristic Set using LLMs for Automated Heuristic Design☆29May 20, 2026Updated 2 months ago
- This is my implementation of a branch and price algorithm to solve the humanitarian aid distribution problem. This problem is a VRP with …☆60May 9, 2026Updated 3 months ago
- Adaptive Large Neighborhood Search heuristic (ALNS) algorithm for PDPTW.☆80Jun 19, 2024Updated 2 years ago
- Application of Benders decomposition in power systems☆90Mar 29, 2020Updated 6 years ago
- Evolution of Heuristics☆353Updated this week
- The LLMOPT project offers a comprehensive set of resources, including the model, dataset, training framework, and inference code, enablin…☆152Nov 19, 2025Updated 8 months ago
- Two stage robust optimization using a column-and-constraint generation (C&CG) method☆108May 25, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- EurekAgent: an autonomous research system for metric-driven tasks, built with Claude Code. Define the problem and metric. Get breakthroug…☆80Updated this week
- Code for ICLR2022 Paper: Pareto Set Learning for Neural Multi-objective Combinatorial Optimization☆69Apr 21, 2022Updated 4 years ago
- [ICML2025 Oral] ReferSplat: Referring Segmentation in 3D Gaussian Splatting☆146May 26, 2026Updated 2 months ago
- WBench: A Comprehensive Multi-turn Benchmark for Interactive Video World Model Evaluation☆180Jul 31, 2026Updated last week
- code for paper "Large Language Models as End-to-end Combinatorial Optimization Solvers"☆89Oct 24, 2025Updated 9 months ago
- [NeurIPS 2024] ReEvo: Large Language Models as Hyper-Heuristics with Reflective Evolution☆290Jan 24, 2026Updated 6 months ago
- [ICML2025 Oral] LLM-SRBench: A New Benchmark for Scientific Equation Discovery with Large Language Models☆117Jul 31, 2025Updated last year
- AI mock interview coach for FAANG, Big Tech, and startup job seekers. Generate personalized interview questions from JD + resume.☆263Jul 10, 2026Updated last month
- 2025计算机考研专业课程408相关的复习经验，笔记，资源，真题☆164Dec 21, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- [ICML 2026] Meta Context Engineering via Agentic Skill Evolution☆153May 4, 2026Updated 3 months ago
- ☆177May 4, 2026Updated 3 months ago
- NaturePanelForge is a code-first workflow for turning scientific figure images and open-access Nature-family papers into panel-level, exe…☆208Jul 16, 2026Updated 3 weeks ago
- [TMLR 2025 → ICML 2026] RouteFinder: Towards Foundation Models for Vehicle Routing Problems☆121Dec 3, 2025Updated 8 months ago
- Benchmark instances for job-shop scheduling problem☆125Nov 21, 2014Updated 11 years ago
- Neural Combinatorial Optimization☆120Updated this week
- A benchmark for evaluating AI agents on frontier ultra long-horizon auto research tasks.☆159Jun 17, 2026Updated last month