apalache
Model Checker
An SMT-based symbolic model checker for TLA+ and Quint
APALACHE: symbolic model checker for TLA+ and Quint
443 stars
9 watching
40 forks
Language: Scala
last commit: 2 months ago
Linked from 1 awesome list
apalachemodel-checkingquintsmttlatlaplusverification
cosmos/awesome-cosmosRelated projects:
| Repository | Description | Stars |
|---|---|---|
 stanford-centaur/pono | A flexible and extensible SMT-based model checker that verifies the correctness of systems | 82 |
 fuxiaoliu/mmc | Develops a large-scale dataset and benchmark for training multimodal chart understanding models using large language models. | 87 |
 giuseppec/iml | Provides methods to interpret and explain the behavior of machine learning models | 494 |
 sidroberts/phalcon-boundmodels | Automates model generation based on dispatcher parameters in the Phalcon framework. | 4 |
 nmrksic/counter-fitting | A tool to update word vectors to align with linguistic constraints | 145 |
 aporia-ai/mlnotify | Automated notification system for machine learning model training | 343 |
 bradyfu/woodpecker | A method to correct hallucinations in multimodal large language models without requiring retraining | 617 |
 localminimum/qanet | An implementation of Google's QANet for machine reading comprehension using TensorFlow. | 983 |
 chenllliang/mmevalpro | A benchmarking framework for evaluating Large Multimodal Models by providing rigorous metrics and an efficient evaluation pipeline. | 22 |
 mlabonne/llm-autoeval | A tool to automate the evaluation of large language models in Google Colab using various benchmarks and custom parameters. | 566 |
 pbiecek/xaiaterum2020 | An R package and workshop materials for explaining machine learning models using explainable AI techniques | 52 |
 lge-arc-advancedai/auptimizer | Automates model building and deployment process by optimizing hyperparameters and compressing models for edge computing. | 200 |
 xverse-ai/xverse-moe-a36b | Develops and publishes large multilingual language models with advanced mixing-of-experts architecture. | 37 |
 freedomintelligence/mllm-bench | Evaluates and compares the performance of multimodal large language models on various tasks | 56 |
 herilalaina/mosaic_ml | Automated machine learning with tree search optimization | 16 |