Samuel Coward

E-graphs simplificam os processos de verificação para circuitos de caminho de dados, aumentando a eficiência e a precisão.

SEER automatiza o design de hardware de forma eficiente a partir de programas de software de alto nível.

A Craftax oferece um ambiente desafiador pra testar algoritmos de RL de maneira eficiente.

O ROVER simplifica o design RTL automatizando processos de otimização complexos.

Usando grandes modelos de linguagem pra simplificar o feedback em aprendizado por reforço.

Um novo método otimiza tabelas de busca usando condições de 'não me importo'.