One An

Identifiers

• name variant One An 0.60 · backfill

Papers (1)

1. Theory-Scale Auto-Formalization of Logics for Computer Science cs.LG · 2026 · author #3

Mentions

• 2606.26525 #3 · arxiv_oai · confidence 0.70 One An

Frequent Coauthors

• Frederick Pu 1 shared papers
• Jiani Huang 1 shared papers
• Li Zhang 1 shared papers
• Osbert Bastani 1 shared papers
• Xujie Si 1 shared papers
• Yuming Feng 1 shared papers
• Ziyang Li 1 shared papers