Luoji-zju / Agents4PLC_releaseLinks
☆21Updated 7 months ago
Alternatives and similar repositories for Agents4PLC_release
Users that are interested in Agents4PLC_release are comparing it to the libraries listed below
Sorting:
- Model Context Protocol (MCP) server for constraint optimization and solving"☆103Updated 2 months ago
- LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems☆43Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 3 months ago
- Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents☆125Updated last year
- This is the official repository for all the code of TheoremLlama☆44Updated last week
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆49Updated last year
- nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models☆46Updated last year
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆21Updated 6 months ago
- MapCoder: Multi-Agent Code Generation for Competitive Problem Solving☆160Updated 6 months ago
- OSWorld: A unified, real computer environment for multimodal agents to evaluate open-ended computer tasks involving arbitrary apps and in…☆21Updated last year
- Enhancing AI Software Engineering with Repository-level Code Graph☆198Updated 4 months ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆66Updated 2 months ago
- The official Python SDK for Codellm-Devkit☆108Updated 3 weeks ago
- This repository contains popular code generation frameworks such as MapCoder, CodeSIM.☆56Updated last month
- ☆14Updated last year
- Source code for our paper: "SelfGoal: Your Language Agents Already Know How to Achieve High-level Goals".☆69Updated last year
- ☆24Updated last year
- ACPBench: Reasoning about Action, Change, and Planning☆26Updated last week
- Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions☆47Updated last year
- ☆44Updated 10 months ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆68Updated 2 months ago
- Official code for the paper "CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules"☆45Updated 6 months ago
- A Hierarchical Task Network planner utilizing LLMs like OpenAI's GPT-4 to create complex plans from natural language that can be converte…☆78Updated last year
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆69Updated 6 months ago
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆18Updated 2 months ago
- ☆67Updated 7 months ago
- An extensible benchmark for evaluating large language models on planning☆393Updated last month
- Unquestionable PDDL 3.1 parser☆141Updated last month
- A library for benchmarking the Long Term Memory and Continual learning capabilities of LLM based agents. With all the tests and code you…☆76Updated 7 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆22Updated last year