Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2206.00553
Cited By
FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks
1 June 2022
Kiarash Mohammadi
Aishwarya Sivaraman
G. Farnadi
Re-assign community
ArXiv
PDF
HTML
Papers citing
"FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks"
5 / 5 papers shown
Title
Probabilistic Verification of Neural Networks using Branch and Bound
David Boetius
Stefan Leue
Tobias Sutter
42
0
0
27 May 2024
AI-enabled exploration of Instagram profiles predicts soft skills and personality traits to empower hiring decisions
M. Harirchian
F. Amin
Saeed Rouhani
Aref Aligholipour
Vahid Amiri Lord
24
3
0
14 Dec 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
231
1,837
0
03 Feb 2017
Adversarial Machine Learning at Scale
Alexey Kurakin
Ian Goodfellow
Samy Bengio
AAML
261
3,110
0
04 Nov 2016
Safety Verification of Deep Neural Networks
Xiaowei Huang
M. Kwiatkowska
Sen Wang
Min Wu
AAML
180
932
0
21 Oct 2016
1