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
45
1
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
29
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
251
1,842
0
03 Feb 2017
Adversarial Machine Learning at Scale
Alexey Kurakin
Ian Goodfellow
Samy Bengio
AAML
312
3,115
0
04 Nov 2016
Safety Verification of Deep Neural Networks
Xiaowei Huang
Marta Kwiatkowska
Sen Wang
Min Wu
AAML
183
933
0
21 Oct 2016
1