Results of Neural-Checker Toolbox in Taysir 2023 Competition code repository :: SILO. Sistema nacional de repositorios digitales. Uruguay

Conjunto de datos

Results of Neural-Checker Toolbox in Taysir 2023 Competition code repository

Mayr, Franz - Yovine, Sergio - Carrasco, Matías - Garat, Alejo - Iturbide, Martín - da Silva, Juan - Vilensky, Federico

Resumen:

Repository for the experiments performed for the paper: "Results of Neural-Checker Toolbox in Taysir 2023 Competition" ICGI 2023

Detalles Bibliográficos
Fecha de publicación:	2024
Temas:	Computer and Information Science Inteligencia artificial Inferencia regular Red neuronal artificial
Institución:	Agencia Nacional de Investigación e Innovación
Repositorio:	REDATA
Enlace(s):	https://doi.org/10.60895/redata/JY5DUS
Nivel de acceso:	Acceso abierto

Resultados similares

A Congruence-based Approach to Active Automata Learning from Neural Language Models code repository
Autor(es):: Mayr, Franz
Fecha de publicación:: (2024)

Results of Neural-Checker Toolbox in Taysir 2023 Competition
Autor(es):: Mayr, Franz
Fecha de publicación:: (2023)

Analysis, Evaluation and Improvement of Active Regular Inference Algorithms for Neural Sequence Acceptors
Autor(es):: da Silva, Juan Pedro
Fecha de publicación:: (2024)

Analyzing constrained LLM through PDFA-learning experiments repository
Autor(es):: Carrasco, Matías
Fecha de publicación:: (2024)

Transformer Checker
Autor(es):: Molinolo, Matías
Fecha de publicación:: (2024)

Active Learning of Regular Languages as an Approach to Neural Language Models Verification
Autor(es):: Mayr, Franz
Fecha de publicación:: (2024)

Detection system for humanoid robots in semi-structured environments based on stereoscopic vision
Autor(es):: Herrera, Oscar
Fecha de publicación:: (2021)

Detection system for humanoid robots in semi-structured environments based on stereoscopic vision
Autor(es):: Herrera, Oscar
Fecha de publicación:: (2021)

Regular Inference over Recurrent Neural Networks as a Method for Black Box Explainability
Autor(es):: Mayr Ojeda, Franz
Fecha de publicación:: (2019)

Aproximaciones neurocomputacionales al análisis de la coherencia temática en el lenguaje
Autor(es):: Cabana Fajardo, Álvaro J.
Fecha de publicación:: (2014)

Property Checking with Interpretable Error Characterization for Recurrent Neural Networks
Autor(es):: Mayr, Franz
Fecha de publicación:: (2020)

On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks
Autor(es):: Mayr, Franz
Fecha de publicación:: (2020)

La sobreexpresión del inmunoreceptor CD300f tiene un rol neuroprotector frente a una lesión cerebral excitotóxica
Autor(es):: Alí Ruiz, Daniela
Fecha de publicación:: (2012)

Aplicación de herramientas de aprendizaje de máquinas y redes complejas al análisis de las imágenes de reposo en imagenología funcional del cerebro
Autor(es):: Fuente, Laura Alethia de la
Fecha de publicación:: (2012)

Caracterización de los mecanismos de pre-activación en la percepción visual del movimiento
Autor(es):: Mezzetta Pizzanelli, Viviana Leticia
Fecha de publicación:: (2012)

Evaluación del inmunoreceptor CD300f como diana terapéutica en regeneración nerviosa periférica
Autor(es):: Solari, Patricia
Fecha de publicación:: (2012)

Caracterización del inmunoreceptor CD300F en un modelo de dolor crónico
Autor(es):: Villamil Pedetti, Emilia
Fecha de publicación:: (2014)

Representación de la estructura del lenguaje escrito mediante grafos y espacios semánticos
Autor(es):: Cabana Fajardo, Álvaro J.
Fecha de publicación:: (2009)

Expresión de genes vinculados con la hipoxia y el daño oxidativo tras asfixia perinatal, y en respuesta a un tratamiento neuroprotector con quercetina
Autor(es):: Cardozo, Viviana
Fecha de publicación:: (2014)

NEURAL INTERFACE SYSTEMS AND THE STUDY OF NEUROSCIENCE: A SYSTEMATIC REVIEW ON ITS APPLICATION IN PARALYZED PEOPLE
Autor(es):: Lucero M., Boris
Fecha de publicación:: (2014)

A Congruence-based Approach to Active Automata Learning from Neural Language Models
Autor(es):: Mayr, Franz
Fecha de publicación:: (2023)

Puesta a punto de modelos de dolor crónico y estudio del efecto del modulador metabólico y mitocondrial dicloroacetato
Autor(es):: Lagos Rodríguez, Valentina
Fecha de publicación:: (2015)

Flavonas naturales y protección neuronal :relación entre la estructura molecular y mecanismos implicados en la sobrevida neuronal ante el daño oxidativo
Autor(es):: Echeverry, Carolina
Fecha de publicación:: (2015)

A Hybrid Thermodynamic–Machine Learning Approach for Flash Point Prediction of Binary Organic Mixtures
Autor(es):: Khan, Nadia
Fecha de publicación:: (2026)

La enseñanza de la inferencia estadística informal en la formación de profesores. Una revisión sistemática
Autor(es):: De Olivera, Federico
Fecha de publicación:: (2025)

Recovering historical climate records using artificial neural networks in GPU
Autor(es):: Balarini, Juan Pablo
Fecha de publicación:: (2014)

TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
Autor(es):: Alonso, Pepe
Fecha de publicación:: (2026)

Artificial intelligence in the 2023 plan for education training in Uruguay
Autor(es):: Pérez Rodríguez, Beatriz
Fecha de publicación:: (2025)

Enganches de fase, cascadas de duplicación de períodos, caos y cuasiperiodicidad, en un modelo de dos marcapasos nauronales acoplados mediante estímulos excitatorios : reseteo de fase instantáneo y tasa de retorno al ciclo límite infinita
Autor(es):: Cáceres Bauer, Roberto Daniel
Fecha de publicación:: (2009)

NeuroFPGA : Implementing artificial neural networks on programmable logic devices
Autor(es):: Ferrer, Daniel
Fecha de publicación:: (2004)

Impact of transfer learning on convolutional neural networks for odontogenic tumor diagnosis.
Autor(es):: Giraldo-Roldán, Daniela
Fecha de publicación:: (2026)

Graph inference and graph matching problems : tehory and algorithms
Autor(es):: Fiori, Marcelo
Fecha de publicación:: (2015)

Besov regularity for the Dirichlet integral fractional Laplacian in Lipschitz domains.
Autor(es):: Borthagaray, Juan Pablo
Fecha de publicación:: (2022)

Inseminación artificial a tiempo fijo. [Ficha Técnica].
Autor(es):: INIA (INSTITUTO NACIONAL DE INVESTIGACIÓN AGROPECUARIA)
Fecha de publicación:: (2018)

Hibernación artificial
Autor(es):: Murguía de Roso, Elida
Fecha de publicación:: (1955)

Distinct small non-coding RNA landscape in the axons and released extracellular vesicles of developing primary cortical neurons and the axoplasm of adult nerves
Autor(es):: Mesquita-Ribeiro, R.
Fecha de publicación:: (2021)

Aplicación de la inteligencia artificial en el campo de la salud: revisión bibliográfica
Autor(es):: Andrade Canán, Belén
Fecha de publicación:: (2019)

Análisis del proceso inferencial clínico a través del encuentro psicoanalítico
Autor(es):: Martins Rivas, Leticia
Fecha de publicación:: (2014)

Artificial intelligence in agriculture: A view from a sustainable development perspective
Autor(es):: Boscán Boscán, Angy Carolina
Fecha de publicación:: (2025)

Evolución y crisis en un modelo de equilibrio general
Autor(es):: Accinelli Gamba, Elvio
Fecha de publicación:: (2012)