Lattice
Papers
Digest
Topics
Labs
Collections
FAQ
System theme
System theme
Lattice AI
AI
Track papers across labs, topics, and trends.
Search papers…
⌘K
Papers
Digest
Topics
Labs
Saved
Search
Search papers, labs, and topics across Lattice.
Back
Mircea Stan
Affiliation:
Papers on Lattice
1
Total citations
0
Topics
1
Publication activity
papers/week, last 8 weeks
Research focus
Eval Frameworks & Benchmarks (1)
Frequent co-authors
Liangtao Dai (1)
Liangtao Dai (1)
Yimin Gao (1)
Melika Morsali (1)
Melika Morsali (1)
Mircea R. Stan (1)
Papers (1)
Sep 22, 2026
Affiliation:
3w ago
SLED-IFV: Solver-Validated LLM-Guided Decomposition for Scalable Hardware Information-Flow Verification
Liangtao Dai
,
Liangtao Dai
,
Yimin Gao
+4
Eval Frameworks & Benchmarks
Show more
