Projects

STEP-Bench

STEP-Bench (Symbolic Temporal Exploratory Puzzle Benchmark) is a series of interactive reasoning puzzles for studying causal reasoning, incorporating eye-tracking to monitor how participants solve temporal puzzle tasks.

• STEP-Bench game study

Manhattan Reasoning

Manhattan Reasoning is a platform for teaching AI systems to reason about hardware design, combining cloud-based FPGA access, sandbox environments, and open-source toolchains built on technologies like Yosys and nextpnr — bringing hardware reasoning to everyone.

• manhattanreasoning.com

TempoBench

TempoBench is a formal benchmark for evaluating counterfactual causal reasoning in large language models. While frontier LLMs can simulate systems forward with high accuracy, their performance drops sharply when asked to identify which inputs were necessary for a given output — a gap with important implications for debugging and root cause analysis.

• TempoBench: Reasoning Execution Without Causal Attribution Is Just Simulation (arXiv preprint)

MaxPyLang

MaxPyLang is a Python package for programmatically generating and editing MaxMSP patches — placing objects and building connections that would be tedious to create through the visual interface alone.

• MaxPyLang on GitHub

Archived Projects

• TSL API — TSL synthesis on a serverless cloud infrastructure, enabling easy experimentation without local installs.
• TSL Move Cube — A TSL playground focused on interactive animations.
• The Snake — A reactive controller for the Snake game synthesized with TSL.
• Block-based Editor for Temporal Logic Program Synthesis — Lowering the barrier to entry for writing TSL specifications.
• Interactive Reactive Synthesis for Music Synthesizers with TSL
• TSL-MT (TSL-Modulo Theories) — A synthesis engine now integrated into the mainline tsltools repo.

Events

Upcoming

Past

Publications

See also: Prof. Santolucito's full paper list.

Team

Faculty

Research Scientists

Current Students

Alumni

Contact

Interested in joining the group or collaborating? We'd love to hear from you — prospective students (see our Fall 2026 recruiting note on the About page), potential collaborators, and anyone curious about our work are welcome to reach out.