Valerio Tenace

Identifiers

• name variant Valerio Tenace 0.60 · backfill

Papers (2)

1. AIvril: AI-Driven RTL Generation With Verification In-The-Loop cs.AI · 2024 · author #4
2. Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization cs.LG · 2020 · author #37

Mentions

• 2409.11411 #4 · arxiv_oai · confidence 0.70 Valerio Tenace
• 2012.02530 #37 · arxiv_oai · confidence 0.70 Valerio Tenace

Frequent Coauthors

• Pierre-Emmanuel Gaillardon 2 shared papers
• Aditya Lohana 1 shared papers
• Akash Kumar 1 shared papers
• Alan Mishchenko 1 shared papers
• Augusto Berndt 1 shared papers
• Azadeh Davoodi 1 shared papers
• Brunno A. de Abreu 1 shared papers
• Cristina Meinhardt 1 shared papers
• David Z. Pan 1 shared papers
• Guilherme B. Manske 1 shared papers
• Hanyu Wang 1 shared papers
• Hoa-Ren Wang 1 shared papers
• Humza Sami 1 shared papers
• Isac de Souza Campos 1 shared papers
• Jiaqi Gu 1 shared papers
• Jie-Hong R. Jiang 1 shared papers
• Jonata T. Carvalho 1 shared papers
• Jordan Dotzel 1 shared papers
• Leomar S. da Rosa Junior 1 shared papers
• Marilton S. de Aguiar 1 shared papers