GitHub topics: model-learning
SPL-BGU/numeric-sam
Implementation of the Numeric SAM algorithm
Language: PDDL - Size: 6.24 MB - Last synced at: 4 days ago - Pushed at: 27 days ago - Stars: 5 - Forks: 0
DES-Lab/AALpy
An Automata Learning Library Written in Python
Language: Python - Size: 25.6 MB - Last synced at: about 21 hours ago - Pushed at: about 1 month ago - Stars: 181 - Forks: 27
assist-project/dtls-fuzzer
Protocol state machine learner and fuzzer for DTLS servers and clients
Language: C - Size: 50.1 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 37 - Forks: 9
SPL-BGU/conditional-sam
Repository for the code representing the Conditional SAM algorithm published in ICAPS 2024
Language: Python - Size: 75.2 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
milahu/z3gi
Grammatical inference using the Z3 SMT solver
Language: Python - Size: 701 KB - Last synced at: 29 days ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0
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.
Language: Jupyter Notebook - Size: 0 Bytes - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
cpml-au/AlpineGP
Symbolic regression of physical models via Genetic Programming.
Language: Python - Size: 11.7 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 4
haozhg/odmd
AI4Science: Python/Matlab implementation of online and window dynamic mode decomposition (Online DMD and Window DMD)
Language: Python - Size: 938 KB - Last synced at: 30 days ago - Pushed at: over 2 years ago - Stars: 42 - Forks: 20
sherwinshen/pac_learn_RTAs
🔧 A prototype tool on learning real-time automata based on pac.
Language: Python - Size: 202 KB - Last synced at: 28 days ago - Pushed at: almost 3 years ago - Stars: 7 - Forks: 0
sherwinshen/pac_learn_DOTAs
🔨 A prototype tool for learning DOTAs based on PAC.
Language: Python - Size: 84 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
haozhg/oml
AI4Science: Efficient data-driven Online Model Learning (OML) / system identification and control
Language: Python - Size: 1.22 MB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 30 - Forks: 5
sherwinshen/TAs-learning-site
🏆 时间自动机模型学习工具站点（Timed Automata）
Language: Python - Size: 981 KB - Last synced at: 28 days ago - Pushed at: almost 3 years ago - Stars: 6 - Forks: 0
sherwinshen/mut_learn_DOTAs
🔨 A prototype tool for learning DOTAs based on mutation testing.
Language: Python - Size: 342 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
sherwinshen/exact_learn_DOTAs
🔨 A prototype tool for learning DOTAs exactly.
Language: Python - Size: 45.9 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
sahandkhoshdel99/Reinforcement-Learning-
Language: Jupyter Notebook - Size: 209 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
Mesbah-Lab-UCB/Performance-Oriented-DNN-MPC
Performance-oriented model learning for control via multi-objective Bayesian optimization
Language: Jupyter Notebook - Size: 8.25 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
TathagataChakraborti/survey-visualizer
Visualization of survey data.
Language: JavaScript - Size: 6.12 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 8
kausiksivakumar/TOM
Official implementation of L4DC 2023 paper Transition Occupancy Matching -Learning Policy-Aware Models for Model-Based Reinforcement Learning via Transition Occupancy Matching
Language: Python - Size: 4.36 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 0
sisl/mechamodlearn
Structured framework for learning mechanical systems in PyTorch
Language: Python - Size: 36.1 KB - Last synced at: 9 months ago - Pushed at: about 6 years ago - Stars: 23 - Forks: 5
TimoBolkart/RobustMultilinearModel
The provided program robustly learns a multilinear face model from databases with missing data, corrupt data, wrong semantic correspondence, and inaccurate vertex correspondence.
Language: C++ - Size: 3.1 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0
TimoBolkart/MultilinearMDL
The provided program jointly optimizes a multilinear face model and the registration of the face scans used for model training.
Language: C++ - Size: 2.29 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 2
shbz80/model_learning
Code for the paper Data-efficient model learning and prediction for contact-rich manipulation tasks, RA-L, 2020
Language: Python - Size: 1.78 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
shbz80/model_learning_v2
Code for the paper Data-efficient model learning and prediction for contact-rich manipulation tasks, RA-L, 2020
Language: Jupyter Notebook - Size: 881 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
haozhg/odmd-matlab
Matlab implementation of online and window dynamic mode decomposition algorithms
Language: MATLAB - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 0
alspitz/issgpr
Incremental Sparse Spectrum Gaussian Process Regression
Language: C++ - Size: 5.86 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0
Elblot/ASSESS
ASSESS is a passive model learning method for IoT device, that infers a system of LTSs (Labelled Transition Systems) from execution traces. Each LTS of the system will represent a different component of the device.
Language: Java - Size: 10 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 1
