VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation. - Anjiang Wei; Huanmi Tan; Tarun Suresh; Daniel Mendoza; Thiago S. F. X. Teixeira; Ke Wang; Caroline Trippel; Alex Aiken (CoRR, 2025)

Improving Assembly Code Performance with Large Language Models via Reinforcement Learning. - Anjiang Wei; Tarun Suresh; Huanmi Tan; Yinglun Xu; Gagandeep Singh 001; Ke Wang; Alex Aiken (CoRR, 2025)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas. - Anjiang Wei; Yuheng Wu; Yingjia Wan; Tarun Suresh; Huanmi Tan; Zhanke Zhou; Sanmi Koyejo; Ke Wang; Alex Aiken (CoRR, 2025)