☆11Sep 1, 2020Updated 5 years ago
Alternatives and similar repositories for VerticalCAS
Users that are interested in VerticalCAS are comparing it to the libraries listed below
Sorting:
- ☆22Dec 6, 2021Updated 4 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Venus is a state-of-the-art sound and complete verification toolkit for Relu-based feed-forward neural networks. It can be used to check…☆15Aug 31, 2022Updated 3 years ago
- ☆16Jan 4, 2021Updated 5 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Jul 13, 2023Updated 2 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆26May 25, 2024Updated last year
- ☆11Nov 20, 2023Updated 2 years ago
- Estimate probability of failure using reframed Bayesian optimization☆10Aug 14, 2025Updated 6 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆40Apr 11, 2023Updated 2 years ago
- Neural Network Enumeration Tool☆34Jan 8, 2026Updated last month
- Aircraft shapes for use with the TikZ LaTeX package.☆33Apr 2, 2019Updated 6 years ago
- Robust Optimization of Structured Trajectories☆11Jul 6, 2023Updated 2 years ago
- Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-c…☆40Mar 24, 2025Updated 11 months ago
- ☆12Jun 18, 2024Updated last year
- ☆14Jan 11, 2021Updated 5 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- A book about functional programming in Lean☆45Feb 6, 2024Updated 2 years ago
- VNN Neural Network Verification Competition 2021☆36Jul 17, 2021Updated 4 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Information fusion for real-time national air transportation system prognostics under uncertainty.☆13May 18, 2022Updated 3 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated last year
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- A Rust crate enabling generalized Interval representations and operations☆12Nov 3, 2024Updated last year
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆11Oct 3, 2020Updated 5 years ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- R implementation of Contextual Importance and Utility for Explainable AI☆10Nov 5, 2025Updated 3 months ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated 3 weeks ago
- Manage legacy code with comments.☆17Feb 22, 2026Updated last week
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- Yet Another SDP Solver☆10Dec 19, 2015Updated 10 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- Proof artifact co-training for Lean☆45Dec 29, 2022Updated 3 years ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- Tools for generating, cleaning, snapping, and processing aircraft ground movement data☆11Apr 9, 2022Updated 3 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 2 years ago
- ☆17Nov 23, 2021Updated 4 years ago