Versatile Verification of Tree Ensembles
☆20Jun 11, 2024Updated last year
Alternatives and similar repositories for veritas
Users that are interested in veritas are comparing it to the libraries listed below
Sorting:
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Nov 12, 2022Updated 3 years ago
- Relational data mining in python☆32Nov 16, 2022Updated 3 years ago
- [NeurIPS 2019] H. Chen*, H. Zhang*, S. Si, Y. Li, D. Boning and C.-J. Hsieh, Robustness Verification of Tree-based Models (*equal contrib…☆27Jun 15, 2019Updated 6 years ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆31Sep 11, 2023Updated 2 years ago
- ☆10Sep 29, 2023Updated 2 years ago
- Web App for Online Games Selling Site using Java with JSP & Servlets. Also used HTML5, CSS3, Bootstrap and MySQL.☆13Oct 11, 2018Updated 7 years ago
- ExportAll.jl: Exports all symbols of a module. Use at your own risk☆12Feb 18, 2020Updated 6 years ago
- An implementation of faster-rcnn for people detection in python☆10Apr 30, 2019Updated 6 years ago
- Example of evaluation metrics used in the SynthRAD2023 challenge☆11Jul 14, 2023Updated 2 years ago
- ⚖️ Code for the paper "Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning".☆11Dec 8, 2022Updated 3 years ago
- Active Learning Helps Pretrained Models Learn the Intended Task (https://arxiv.org/abs/2204.08491) by Alex Tamkin, Dat Nguyen, Salil Desh…☆11Nov 22, 2022Updated 3 years ago
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- mdBook preprocessor for indexing☆18Feb 20, 2026Updated 2 weeks ago
- The source codes for Region Comparison Network for Interpretable Few-shot Image Classification☆10Sep 17, 2020Updated 5 years ago
- Python code for interactive parallel coordinates visualization on jupyter notebook.☆12Sep 8, 2019Updated 6 years ago
- code and data associated with CoMPosT: Characterizing and Evaluating Caricature in LLM Simulations☆11Oct 13, 2023Updated 2 years ago
- ☆14Apr 19, 2020Updated 5 years ago
- ☆14Feb 12, 2023Updated 3 years ago
- Boolean matrix factorization and noisy completion by message passing☆11May 25, 2016Updated 9 years ago
- ☆15Apr 16, 2021Updated 4 years ago
- Establishing Quantified Uncertainty in Neural Networks☆15Jan 14, 2026Updated last month
- The source codes for paper "Relative Position and Map Networks in Few-shot Learning for Image Classification"☆14Jul 12, 2020Updated 5 years ago
- Artifact evaluation for "E2Usd: Efficient-yet-effective Unsupervised State Detection for Multivariate Time Series" accepted by WWW'24☆13Jul 29, 2024Updated last year
- ☆16Feb 17, 2026Updated 2 weeks ago
- XPDisplay for XPlane☆14Jan 1, 2017Updated 9 years ago
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 years ago
- Official code for "TWINS: A Fine-Tuning Framework for Improved Transferability of Adversarial Robustness and Generalization", CVPR 2023☆13Apr 26, 2023Updated 2 years ago
- Code for Max-Margin Contrastive Learning - AAAI 2022☆17Apr 25, 2022Updated 3 years ago
- ☆11Mar 6, 2022Updated 4 years ago
- Code for the CCE algorithm proposed in "Towards Compositionality in Concept Learning" at ICML 2024.☆17Jun 2, 2024Updated last year
- Code for ICLR 2023 Harnessing Out-Of-Distribution Examples via Augmenting Content and Style☆13Jul 3, 2023Updated 2 years ago
- Reasoning over weighted algebraic and logical constraints☆26Feb 25, 2026Updated last week
- Code for CVPR 2023 Robust Generalization against Photon-Limited Corruptions via Worst-Case Sharpness Minimization☆13Mar 27, 2023Updated 2 years ago
- A curated list of Gradient Boosting resources for Data Scientists☆16Jan 18, 2019Updated 7 years ago
- Mixed Sum-Product Networks: A Deep Architecture for Hybrid Domains☆16May 12, 2018Updated 7 years ago
- Code for the paper: "TSViz: Demystification of Deep Learning Models for Time-Series Analysis"☆13May 15, 2019Updated 6 years ago
- ☆15Oct 9, 2019Updated 6 years ago
- ☆14Jan 11, 2024Updated 2 years ago
- ☆19Feb 8, 2024Updated 2 years ago