In: Proceedings of the First IEEE International Workshop on LLM-Aided Design (LAD'24). IEEE International Workshop on LLM-Aided Design (LAD-24), June …
In: 32nd International Workshop on Logic & Synthesis. International Workshop on Logic & Synthesis (IWLS-2023), 32nd, June 5-6, Lausanne, Switzerland, …