ENTITY
SMT-LIB
SMT-LIB
PulseAugur coverage of SMT-LIB — every cluster mentioning SMT-LIB across labs, papers, and developer communities, ranked by signal.
Total · 30d
1
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
LLMs guide SMT solvers to solve complex logic problems
Researchers have developed LinguaArray, a novel framework that leverages Large Language Models (LLMs) to guide formal reasoning systems in solving complex problems, specifically in quantified array SMT (Satisfiability M…
-
Verified floating-point types for ARCH HDL generated by LLMs
Researchers have developed and verified floating-point data types for the ARCH hardware description language, designed for generation by language models. The system ensures consistency across synthesizable SystemVerilog…