Showing cs.LGShow all
2 papers · 1 filter
cs.LG2025
LLMs for Analog Circuit Design Continuum (ACDC)
Yasaman Esfandiari, Jocelyn Rego, Austin Meyer +2
Large Language Models (LLMs) and transformer architectures have shown impressive reasoning and generation capabilities across diverse natural language tasks. However, their reliabi…
cs.LG2024
Self-Satisfied: An end-to-end framework for SAT generation and prediction
Christopher R. Serrano, Jonathan Gallagher, Kenji Yamada +2
The boolean satisfiability (SAT) problem asks whether there exists an assignment of boolean values to the variables of an arbitrary boolean formula making the formula evaluate to T…