apalache
by apalache-mc
APALACHE: symbolic model checker for TLA+ and Quint
AI summary
Model Checker
An SMT-based symbolic model checker for TLA+ and Quint
- stars
- 443
- forks
- 40
- watching
- 9
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Model checker
A flexible and extensible SMT-based model checker that verifies the correctness of systems
Chart model trainer
Develops a large-scale dataset and benchmark for training multimodal chart understanding models using large language models.
Model explainer
Provides methods to interpret and explain the behavior of machine learning models
Model generator
Automates model generation based on dispatcher parameters in the Phalcon framework.
Vector updater
A tool to update word vectors to align with linguistic constraints
Model Trainer
Automated notification system for machine learning model training
Hallucination corrector
A method to correct hallucinations in multimodal large language models without requiring retraining
Machine reading model
An implementation of Google's QANet for machine reading comprehension using TensorFlow.
Model Evaluator
A benchmarking framework for evaluating Large Multimodal Models by providing rigorous metrics and an efficient evaluation pipeline.
Model evaluator
A tool to automate the evaluation of large language models in Google Colab using various benchmarks and custom parameters.
Explainer
An R package and workshop materials for explaining machine learning models using explainable AI techniques
Model optimizer
Automates model building and deployment process by optimizing hyperparameters and compressing models for edge computing.
Multilingual Model
Develops and publishes large multilingual language models with advanced mixing-of-experts architecture.
Model evaluator
Evaluates and compares the performance of multimodal large language models on various tasks
AutoML optimizer
Automated machine learning with tree search optimization
Featured in 1 awesome list
Each link jumps to the spot where the list mentions apalache.
