ENTITY Tanner Duve

Tanner Duve

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

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

0

0 over 90d

TIER MIX · 90D

TOPICS

other 1

SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL

COMMENTARY · CL_202178 · Aug 15 · 14:00

Interview series launches on AI-assisted math formalization

The author of this post is launching an interview series focused on individuals working in formal methods and mathematical formalization, particularly within the Lean programming language. The first episode features Tan…