IEEE

GenEDA: Towards Generative Netlist Functional Reasoning via Cross-Modal Circuit Encoder-Decoder Alignment

The success of foundation AI has motivated the research of circuit foundation models, which are customized to assist the integrated circuit (IC) design process. However, existing pre-trained circuit ...

OpenAI built an AI coding agent and uses it to improve the agent itself

With the popularity of AI coding tools rising among some software developers, their adoption has begun to touch every aspect ...
GitHub

GCP-VQVAE: A Geometry-Complete Language for Protein 3D Structure

Converting protein tertiary structure into discrete tokens via vector-quantized variational autoencoders (VQ-VAEs) creates a language of 3D geometry and provides a natural interface between sequence ...
IEEE

Parallel Dynamic Partitioning for Datapath Combinational Equivalence Checking

Abstract: Combinational Equivalence Checking (CEC) is a crucial technique in electronic design automation for verifying the functional equivalence of combinational circuits. Recently, combinational ...
GitHub

E2D2: Encoder-Decoder Diffusion Language Models for Efficient Training and Inference

This repository contains code and scripts for reproducing experimental results from our work. We will try to use GitHub issues to track bugs, features, and todos. To contribute to the repo, please ...