1

Conferencia

A Congruence-based Approach to Active Automata Learning from Neural Language Models

Año: 2023
Institución: Agencia Nacional de Investigación e Innovación
2

Conferencia

On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks

Año: 2020
Institución: Agencia Nacional de Investigación e Innovación
3

Conferencia

Property Checking with Interpretable Error Characterization for Recurrent Neural Networks

Año: 2020
Institución: Agencia Nacional de Investigación e Innovación
4

Conferencia

Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach

Año: 2023
Institución: Agencia Nacional de Investigación e Innovación
5

Conferencia

Results of Neural-Checker Toolbox in Taysir 2023 Competition

Año: 2023
Institución: Agencia Nacional de Investigación e Innovación

Resultados agrupados

Quitar Filtros
Tipo: Conferencia Temas: Ciencias Naturales y Exactas Temas: Artificial intelligence
Año de publicación