Pierre V. Dantas

According to our database, Pierre V. Dantas authored at least 7 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification.

Pierre V. Dantas, Lucas C. Cordeiro, Waldir S. S. Júnior

CoRR, May, 2026

2025

The 4/δ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee.

Pierre V. Dantas, Lucas C. Cordeiro, Youcheng Sun, Waldir S. S. Júnior

CoRR, December, 2025

A review of state-of-the-art techniques for large language model compression.

Pierre V. Dantas, Lucas C. Cordeiro, Waldir S. S. Júnior

Complex Intell. Syst., 2025

2024

A comprehensive review of model compression techniques in machine learning.

Pierre V. Dantas, Waldir Sabino da Silva Jr., Lucas Carvalho Cordeiro, Celso Barbosa Carvalho

Appl. Intell., November, 2024

2022

Graph Signal Processing and Applications: A Survey.

William C. da Rosa, Pierre V. Dantas, Waldir S. S. Júnior, Celso B. Carvalho

Proceedings of the IEEE International Conference on Consumer Electronics, 2022

2020

Energy Disaggregation Using Principal Component Analysis Representation.

Pierre V. Dantas, Waldir Sabino da Silva Júnior, Celso B. Carvalho

Proceedings of the Machine Learning and Artificial Intelligence, 2020

Turning Digital Signal Processing into Graph Signal Processing: Overview and Applications.

Pierre V. Dantas, Celso B. Carvalho, Waldir S. S. Júnior

Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2020