Peli de Halleux

Identifiers

• name variant Peli de Halleux 0.60 · backfill

Papers (1)

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

Mentions

• 2506.08294 #3 · arxiv_oai · confidence 0.70 Peli de Halleux

Frequent Coauthors

• Ayana Monroe 1 shared papers
• Nikolaj Bj{\o}rner 1 shared papers
• Ruanqianqian Huang 1 shared papers
• Sorin Lerner 1 shared papers