LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
☆57Oct 9, 2023Updated 2 years ago
Alternatives and similar repositories for LLM_4_PLC
Users that are interested in LLM_4_PLC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LLM-based and retrieval-augmented Control Code Generation☆23Oct 22, 2024Updated last year
- A collection of prompts for large language models to support control logic engineering.☆55Apr 6, 2023Updated 2 years ago
- LLM-based Test Case Generation for PLC Control Logic☆33Oct 31, 2024Updated last year
- The official implementation of the paper: H-Neurons: On the Existence, Impact, and Origin of Hallucination-Associated Neurons in LLMs☆51Jan 14, 2026Updated 2 months ago
- ☆17Jul 12, 2025Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆13May 19, 2024Updated last year
- A fork of HumanEval-Java from the paper "Impact of Code Language Models on Automated Program Repair"☆13Dec 11, 2024Updated last year
- ☆14Aug 18, 2025Updated 7 months ago
- Official repository for the paper "COAST: Enhancing the Code Debugging Ability of LLMs through Communicative Agent Based Data Synthesis".☆18Feb 19, 2025Updated last year
- Empowering Scientific Research with AI Assistance! Open Source Code for Data-Driven Dimensional Analysis.☆14Aug 7, 2025Updated 7 months ago
- White-box Fairness Testing through Adversarial Sampling☆14Apr 16, 2021Updated 4 years ago
- Semi-automated modelling and Model-Based Testing for CosmWasm contracts☆17Jun 28, 2024Updated last year
- ☆13May 29, 2024Updated last year
- Scripts that import/exports ST LANG files in 3S Codesys V3.5☆22May 30, 2024Updated last year
- 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.
- ☆11Jan 2, 2020Updated 6 years ago
- SWE-Debate: Competitive Multi-Agent Debate for Software Issue Resolution☆25Nov 11, 2025Updated 4 months ago
- [ICSE 2025] The Seeds of the FUTURE Sprout from History: Fuzzing for Unveiling Vulnerabilities in Prospective Deep-Learning Libraries (AC…☆21Dec 22, 2025Updated 3 months ago
- ☆13Dec 31, 2025Updated 2 months ago
- ☆16Feb 28, 2024Updated 2 years ago
- A pytorch implementation of answer verifier for un-answerable question answering.☆10Jul 26, 2019Updated 6 years ago
- ☆19Mar 5, 2025Updated last year
- Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts☆22May 11, 2024Updated last year
- The runtime monitoring tool for smart contracts business logic.☆18Dec 15, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- CasRelPytorch项目的改写版本，根据源码增添了模型预测功能以及预测结果导入neo4j图数据库的功能。☆13Jul 25, 2024Updated last year
- For our ACL25 Paper: Can Language Models Replace Programmers? RepoCod Says ‘Not Yet’ - by Shanchao Liang and Yiran Hu and Nan Jiang and L…☆26Aug 27, 2025Updated 7 months ago
- Streamlit Multi AI Platform Chat App☆10Nov 5, 2024Updated last year
- ☆49Feb 14, 2025Updated last year
- Language models for Coq based on data collected from the coq lsp.☆29Feb 23, 2026Updated last month
- [CVPR 2025] EchoWorld: Learning Motion-Aware World Models for Echocardiography Probe Guidance☆41Apr 18, 2025Updated 11 months ago
- Python package for extractive NLP using the OpenAI API☆17Aug 28, 2024Updated last year
- Pintos Operating Systems Project 3 (CIS 520).☆10May 9, 2017Updated 8 years ago
- ☆17Nov 14, 2022Updated 3 years ago
- 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.
- Repository of Vision Transformer with Deformable Attention (CVPR2022) and DAT++: Spatially Dynamic Vision Transformerwith Deformable Atte…☆26Sep 7, 2023Updated 2 years ago
- Code release for RobOT (ICSE'21)☆15Dec 5, 2022Updated 3 years ago
- ☆26Nov 2, 2025Updated 4 months ago
- Learning Certified Individually Fair Representations☆24Nov 7, 2020Updated 5 years ago
- ☆10Oct 31, 2023Updated 2 years ago
- This is the tool released in the ASE'23 paper "Generative Type Inference for Python".☆28Sep 12, 2023Updated 2 years ago
- ☆29Mar 18, 2024Updated 2 years ago