Max Tan

Identifiers

• name variant Max Tan 0.60 · backfill

Papers (1)

1. Automating Formal Verification with Reinforcement Learning and Recursive Inference cs.LG · 2026 · author #1

Mentions

• 2605.30914 #1 · arxiv_oai · confidence 0.70 Max Tan