PulseAugur
EN
LIVE 01:07:36
ENTITY Roman Malov

Roman Malov

PulseAugur coverage of Roman Malov — every cluster mentioning Roman Malov 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
SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL
  1. TOOL · CL_114951 ·

    AI assists mathematical research with formal verification

    A researcher is exploring the use of AI, specifically Claude Opus 4.8 and GPT 5.5 Extra High, for mathematical research, focusing on formal verification with Lean. This methodology aims to model human scientific progres…