Dan Rosen

Identifiers

• name variant Dan Rosen 0.60 · backfill

Papers (2)

1. Emergent Strategic Reasoning Risks in AI: A Taxonomy-Driven Evaluation Framework cs.AI · 2026 · author #4
2. Hipster: Integrating Theory Exploration in a Proof Assistant cs.LO · 2014 · author #2

Mentions

• 1405.3426 #2 · backfill · confidence 0.70 Dan Rosen

Frequent Coauthors

• Anna Rumshisky 1 shared papers
• Aram Galstyan 1 shared papers
• Charith Peris 1 shared papers
• Kai-Wei Chang 1 shared papers
• Koen Claessen 1 shared papers
• Lisa Bauer 1 shared papers
• Moa Johansson 1 shared papers
• Nicholas Smallbone 1 shared papers
• Rahul Gupta 1 shared papers
• Tharindu Kumarage 1 shared papers
• Yao Ma 1 shared papers
• Yashasvi Raghavendra Guduri 1 shared papers