Ayana Monroe

Identifiers

• name variant Ayana Monroe 0.60 · backfill

Papers (1)

1. Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling cs.HC · 2025 · author #2

Mentions

• 2506.08294 #2 · arxiv_oai · confidence 0.70 Ayana Monroe

Frequent Coauthors

• Nikolaj Bj{\o}rner 1 shared papers
• Peli de Halleux 1 shared papers
• Ruanqianqian Huang 1 shared papers
• Sorin Lerner 1 shared papers