Scholar
Mark Santolucito
Google Scholar ID: cGC93mIAAAAJ
Barnard College, Columbia University
Program Synthesis
Reactive Synthesis
Formal Methods
Computer Music
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
410
H-index
11
i10-index
13
Publications
20
Co-authors
10
list available
Publications
8 items
Learning GR(1) Specifications from Traces
2026
Cited
0
Lattice Deduction Transformers
2026
Cited
0
BlindMarket: Enabling Verifiable, Confidential, and Traceable IP Core Distribution in Zero-Trust Settings
2026
Cited
0
Warm Starting State-Space Models with Automata Learning
2026
Cited
0
Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications
2026
Cited
0
Mechanics of Learned Reasoning 1: TempoBench, A Benchmark for Interpretable Deconstruction of Reasoning System Performance
2025
Cited
0
Embedding Alignment in Code Generation for Audio
2025
Cited
0
Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis
2025
Cited
0
Co-authors
4 total
Ruzica Piskac
Professor
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
Ennan Zhai
Alibaba Group
Jialu Zhang
Assistant Professor at University of Waterloo
