Artigo em periódico

Counterexample Guided Neural Network Quantization Refinement

A. Matos; Eddie Batista de Lima Filho; Iury Bessa; A. Manino; H. Song; Lucas C. Cordeiro

2024 • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Resumo

This work introduces a counterexample-guided loop for refining quantized neural networks. Verification counterexamples drive selective precision increases, balancing model compactness with formal correctness.

Autoria

Autores (2)

Iury Valente de Bessa

Co-líder atual do e-Controls

Lucas Carvalho Cordeiro

Docente da linha de pesquisa

Pesquisa

Linha de pesquisa

Eletrônica de Potência e Microrredes

projeto relacionado

Projeto Relacionado

AICodeRepair: Towards Self-Healing AI Code with Large Language Models and Formal Verification

Projeto de pesquisa do portfólio PPGEE 2021–2024 sobre autorreparo de código de IA com LLMs e verificação formal.

Em Andamento

palavras-chave

Palavras-chave

counterexampleredes neuraisquantizaçãorefinamentoverificação

notícias relacionadas

Notícias Relacionadas (1)

Seminário e-Controls apresenta reparos automáticos em códigos de inteligência artificial

10/07/2024

Volume

Páginas

1121–1134

Editora

IEEE

Status

Published

links

Links e arquivos

DOI

10.1109/TCAD.2023.3335313

Link Externo

https://doi.org/10.1109/TCAD.2023.3335313

Artigo em periódico

Machine Learning-Based Intrusion Detection for Industrial Control SystemsIury Valente de Bessa, Eddie Batista de Lima Filho, Lucas Carvalho Cordeiro, Renan Landau Paiva de Medeiros2025 • IEEE Transactions on Dependable and Secure Computing8citações

Fault-tolerant dynamic output feedback control of LPV systems via fault hidingMárcia L. C. Peixoto; Paulo M. Oliveira; Iury V. Bessa; Pedro H. S. Coutinho; Paulo S. P. Pessim; Vicenç Puig; Reinaldo M. Palhares2025 • Automatica

Fault Hiding of Nonlinear Parameter Varying SystemsIury V. Bessa; Márcia L. C. Peixoto; Pedro H. S. Coutinho; Vicenç Puig; Reinaldo M. Palhares2025 • IEEE Control Systems Letters

A Novel LMI-Based Design of Rational Control Laws for a Class of Nonlinear Systems Modeled as Differential Algebraic EquationsA. Portela; Iury Bessa; C. Marquez; M. Bernal2025 • IEEE Control Systems Letters

Ver todas as publicações