activity
20202026
most citedDetection of COVID-19 informative tweets using RoBERTa

2 citations · 3 across the 5 of their papers we have counts for

collaborators
Showing 2026Show all

2 papers · 1 filter

cs.AI2026

Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement

Jui-Hui Chung, Ziyang Cai, Zihao Li +14

We introduce Goedel-Architect, an agentic framework for formal theorem proving in Lean 4 centered on blueprint generation and refinement. A blueprint is a dependency graph of defin…

cs.LG2026

AI Alignment via Incentives and Correction

Rohit Agarwal, Joshua Lin, Mark Braverman +1

We study AI alignment through the lens of law-and-economics models of deterrence and enforcement. In these models, misconduct is not treated as an external failure, but as a strate…