laudv / veritasView external linksLinks
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
- [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
- ExportAll.jl: Exports all symbols of a module. Use at your own risk☆12Feb 18, 2020Updated 5 years ago
- Official code of "The Automated but Risky Game: Modeling Agent-to-Agent Negotiations and Transactions in Consumer Markets"☆23Sep 20, 2025Updated 4 months 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
- ⚖️ Code for the paper "Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning".☆11Dec 8, 2022Updated 3 years ago
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated last month
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- code and data associated with CoMPosT: Characterizing and Evaluating Caricature in LLM Simulations☆11Oct 13, 2023Updated 2 years ago
- Code release for "A New Benchmark: On the Utility of Synthetic Data with Blender for Bare Supervised Learning and Downstream Domain Adapt…☆13Mar 15, 2024Updated last year
- The source codes for Region Comparison Network for Interpretable Few-shot Image Classification☆10Sep 17, 2020Updated 5 years ago
- This repository includes all the code and data used for developing the expected league points above replacement for soccer as described i…☆14Jan 22, 2019Updated 7 years ago
- Extract code into standalone executable scripts from a Quarto Document (sort of like `knitr::purl()` but for all outputs)☆29Jan 24, 2026Updated 3 weeks ago
- Code for Max-Margin Contrastive Learning - AAAI 2022☆17Apr 25, 2022Updated 3 years ago
- A Data Science pipeline for Algorithmic Trading: A comparative study in applications to Finance and cryptoeconomics☆14Jul 1, 2022Updated 3 years ago
- Source code for KDD 2020 paper "Algorithmic Decision Making with Conditional Fairness".☆16Jun 24, 2025Updated 7 months ago
- ☆16Jan 11, 2026Updated last month
- Official code for "TWINS: A Fine-Tuning Framework for Improved Transferability of Adversarial Robustness and Generalization", CVPR 2023☆13Apr 26, 2023Updated 2 years ago
- Chess simulations☆16Dec 23, 2024Updated last year
- Accuracy and fairness trade-offs: A stochastic multi-objective approach☆13Jun 3, 2021Updated 4 years ago
- Self-training LLaVA for medical☆16Nov 3, 2024Updated last year
- Code for ICLR 2023 Harnessing Out-Of-Distribution Examples via Augmenting Content and Style☆13Jul 3, 2023Updated 2 years ago
- ☆15Jun 16, 2022Updated 3 years ago
- Code for the CCE algorithm proposed in "Towards Compositionality in Concept Learning" at ICML 2024.☆17Jun 2, 2024Updated last year
- Official implementation of "Multi-scale Feature Learning Dynamics: Insights for Double Descent".☆17Jun 10, 2022Updated 3 years ago
- Class Prior Estimation in Active Positive and Unlabeled Learning☆16Mar 24, 2021Updated 4 years ago
- Official repo for AAAI 2023 paper "Stable Learning via Sparse Variable Independence".☆13Jun 6, 2024Updated last year
- ☆15Oct 9, 2019Updated 6 years ago
- ☆14Aug 5, 2020Updated 5 years ago
- ☆14Jan 11, 2024Updated 2 years ago
- interesting & promising & widely adopted tricks for SOTA performance in machine learning community.☆15Apr 13, 2021Updated 4 years ago
- 借鉴古代游牧民族匈奴骑在马上得天下，学术份子的赔率计数|机数建模与试探体育彩券商的昏庸、无能、腐败与破绽☆16Aug 16, 2024Updated last year
- code for ICML 2021 paper in which we explore the relationship between adversarial transferability and knowledge transferability.☆17Dec 8, 2022Updated 3 years ago
- ☆16Dec 24, 2021Updated 4 years ago
- ☆20Mar 6, 2025Updated 11 months ago
- MEGC2022☆21Jun 29, 2022Updated 3 years ago
- Datasets used for NeuralProphet tutorials☆21Jul 7, 2023Updated 2 years ago