Scholar

Huanmi Tan

Google Scholar ID: r2X0lncAAAAJ

Carnegie Mellon University

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

10

H-index

3

i10-index

0

Publications

3

Co-authors

0

Contact

No contact links provided.

Publications

3 items

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas

2025

Cited

0

Improving Assembly Code Performance with Large Language Models via Reinforcement Learning

2025

Cited

0

VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)