2023
DOI: 10.1145/3577204
|View full text |Cite
|
Sign up to set email alerts
|

A Deep Reinforcement Learning Framework with Formal Verification

Abstract: Artificial Intelligence (AI) and data are reshaping organizations and businesses. Human Resources (HR) management and talent development make no exception, as they tend to involve more automation and growing quantities of data. Because this brings implications on workforce, career transparency and equal opportunities, overseeing what fuels AI and analytical models, their quality standards, integrity and correctness becomes an imperative for those aspiring to such systems. Based on an ontology transformation to… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
2
0

Year Published

2023
2023
2024
2024

Publication Types

Select...
3
2

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(2 citation statements)
references
References 12 publications
0
2
0
Order By: Relevance
“…In order to solve the problems often encountered in network structure design, such as lack of generalization ability and easy interference phenomenon, the growth process of the brain and the functional and structural characteristics of the biological nervous system are simulated first, a system and genetic algorithm are used to establish genetic search and artificial growth models, and then the network structure design is characterized by large search space and long training time. Inspired from previous studies [21,22,23,24,25,26,27] that combines machine learning with formal methods, we propose a new algorithm that first decomposes a complex problem into multiple simple problems, and then groups the subgroups corresponding to each subproblem. The processing units of the model are divided into three levels: primary processing unit, auxiliary processing unit and secondary processing unit.…”
mentioning
confidence: 99%
“…In order to solve the problems often encountered in network structure design, such as lack of generalization ability and easy interference phenomenon, the growth process of the brain and the functional and structural characteristics of the biological nervous system are simulated first, a system and genetic algorithm are used to establish genetic search and artificial growth models, and then the network structure design is characterized by large search space and long training time. Inspired from previous studies [21,22,23,24,25,26,27] that combines machine learning with formal methods, we propose a new algorithm that first decomposes a complex problem into multiple simple problems, and then groups the subgroups corresponding to each subproblem. The processing units of the model are divided into three levels: primary processing unit, auxiliary processing unit and secondary processing unit.…”
mentioning
confidence: 99%
“…In order to solve the problems often encountered in network structure design, such as lack of generalization ability and easy interference phenomenon, the growth process of the brain and the functional and structural characteristics of the biological nervous system are simulated first, a system and genetic algorithm are used to establish genetic search and artificial growth models, and then the network structure design is characterized by large search space and long training time. Inspired from previous studies [21,22,23,24,25,26,27] that combines machine learning with formal methods, we propose a new algorithm that first decomposes a complex problem into multiple simple problems, and then groups the subgroups corresponding to each subproblem. The processing units of the model are divided into three levels: primary processing unit, auxiliary processing unit and secondary processing unit.…”
mentioning
confidence: 99%