Simon Frieder

Identifiers

• name variant Simon Frieder 0.60 · backfill

Papers (1)

1. Characterizing initial human-AI proof formalization workflows cs.AI · 2026 · author #2

Mentions

• 2606.04273 #2 · arxiv_oai · confidence 0.70 Simon Frieder

Frequent Coauthors

• Adrian Weller 1 shared papers
• Cameron E. Freer 1 shared papers
• Fabian Zaiser 1 shared papers
• Ilia Sucholutsky 1 shared papers
• Jacob Loader 1 shared papers
• Jeck Lim 1 shared papers
• Jonas Bayer 1 shared papers
• Jose Hernandez-Orallo 1 shared papers
• Joshua B. Tenenbaum 1 shared papers
• Katherine M. Collins 1 shared papers
• Lexin Zhou 1 shared papers
• Peiyang Song 1 shared papers
• Sam Looi 1 shared papers
• Shanda Li 1 shared papers
• Umang Bhatt 1 shared papers
• Valerie Chen 1 shared papers