PulseAugur
EN
LIVE 22:19:22
ENTITY LF2C-Simple

LF2C-Simple

PulseAugur coverage of LF2C-Simple — every cluster mentioning LF2C-Simple across labs, papers, and developer communities, ranked by signal.

Show in brief
Total · 30d
1
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 1 TOTAL
  1. RESEARCH · CL_53553 ·

    New tool ConVer uses LLMs for scalable formal software verification

    Researchers have developed ConVer, a new tool that uses large language models (LLMs) to aid in the formal verification of large C programs. ConVer employs a top-down compositional approach, synthesizing function contrac…