Newsletter FIT
Dashboard Search Watchlist Alerts Billing
SEARCH // ⌘K
Sign in Get started

Billing Watchlist

Guest // Entity

Alfred Lin

Interview / featured guest appearances

Search corpus

Overview

Publications

1

Articles

1

Mentions

1

Last 30 days

1

First seen

Sep 2, 2026

Most recent

Sep 2, 2026

Activity

  • 1 mention in the last 30 days

Recent appearances

Agentic AI Weekly | Berkeley RDI | September 2, 2026

Agentic AI Weekly · Sep 2, 2026 · features_guest

Publications featuring this guest

Agentic AI Weekly

1 linked

Related entities

Topics

Lean 4 · 1 AI evaluation · 1 AI coding agents · 1 formal verification · 1 Software Engineering · 1 automated theorem proving · 1 proof synthesis · 1 repository-level benchmarks · 1

People

Alfred Lin · 1 Andrew Ng · 1 Dawn Song · 1

Guests

Andrew Ng · 1

Companies

DeepLearning.AI · 1 Sequoia Capital · 1

Other

Dafny · 1 Coq · 1 Verus · 1 Python · 1 Codex · 1 Vero · 1 Lean 4 · 1 GPT-5.5 · 1
SEARCH // ESC

Type to search