ENTITY Anjiang Wei

Anjiang Wei

PulseAugur coverage of Anjiang Wei — every cluster mentioning Anjiang Wei across labs, papers, and developer communities, ranked by signal.

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

1

1 over 90d

TIER MIX · 90D

TOPICS

SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL

RESEARCH · CL_193489 · Aug 11 · 04:00

LLMs show promise in program verification research · 2 sources tracked

Two new research papers explore the use of Large Language Models (LLMs) in program verification. The first paper investigates the robustness of LLMs' internal representations for judging code correctness, finding that s…