Login / Signup
Assert-O: Context-based Assertion Optimization using LLMs.
Samit Shahnawaz Miftah
Amisha Srivastava
Hyunmin Kim
Kanad Basu
Published in:
ACM Great Lakes Symposium on VLSI (2024)
Keyphrases
</>
optimization algorithm
global optimization
optimization process
databases
optimization problems
search engine
constrained optimization
discrete optimization
computer vision
objective function
optimal solution
data structure
special case
metaheuristic