Search papers, labs, and topics across Lattice.
3 papers published across 1 lab.
LLMs can now automatically slim down and future-proof mathematical proofs, achieving 70% compression and 60% faster compilation by strategically rewriting them.
LLMs can't engineer: even the best models fail to produce structurally sound CAD designs without iterative refinement and FEA-informed feedback.
LLMs can now be rigorously tested on their ability to generate correct chip design rule checking (DRC) scripts, thanks to a new benchmark that scores scripts based on execution, not just code similarity.
