Projects in Awesome Lists tagged with model-learning
A curated list of projects in awesome lists tagged with model-learning .
https://github.com/sherwinshen/pac_learn_rtas
🔧 A prototype tool on learning real-time automata based on pac.
active-learning model-learning rta timed-automata
Last synced: 15 Apr 2025
https://github.com/sherwinshen/tas-learning-site
🏆 时间自动机模型学习工具站点（Timed Automata）
active-learning automata-learning model-learning timed-automata
Last synced: 15 Apr 2025
https://github.com/milahu/z3gi
Grammatical inference using the Z3 SMT solver
automata-learning dfa-learning grammar-induction-algorithms grammatical-inference model-learning
Last synced: 14 Apr 2025
https://github.com/sherwinshen/pac_learn_dotas
🔨 A prototype tool for learning DOTAs based on PAC.
automata model-learning pac timed-automata
Last synced: 06 Mar 2025
https://github.com/sherwinshen/mut_learn_dotas
🔨 A prototype tool for learning DOTAs based on mutation testing.
active-learning automata model-learning mutation-testing timed-automata
Last synced: 06 Mar 2025
https://github.com/sherwinshen/exact_learn_dotas
🔨 A prototype tool for learning DOTAs exactly.
automata model-learning timed-automata
Last synced: 06 Mar 2025
https://github.com/muavia1/psuedocode-to-code-generation-using-transformers-architecture-using-pytorch
PsuedoCode2Code is a transformer-based deep learning model that translates human-readable pseudocode into programming code. This project aims to assist developers, students, and educators by providing a structured way to convert psuedo code to c++ code.
code-generation gradio model-learning model-training python pytorch transformer
Last synced: 09 Mar 2025
