Widely known for his Synthetic Performer, Csound language, and work on the MPEG-4 audio standard, Vercoe positioned MIT as a hub for music technology through leadership roles with the Media Lab and Music and Theater Arts Section.
A new technique automatically guides an LLM toward outputs that adhere to the rules of whatever programming language or other format is being used.
The Exo 2 programming language enables reusable scheduling libraries external to compilers.
This new tool offers an easier way for people to analyze complex tabular data.
Associate Professor Jonathan Ragan-Kelley optimizes how computer graphics and images are processed for the hardware of today and tomorrow.
Three neurosymbolic methods help language models find better abstractions within natural language, then use those representations to execute complex tasks.
It’s more important than ever for artificial intelligence to estimate how accurately it is explaining data.
Developed at MIT, D2X is a new tool that makes it easy to debug any domain-specific programming language.
Codon compiles Python code to run more efficiently and effectively while allowing for customization and adaptation to various domains.
Researchers created Exo for writing high-performance code on hardware accelerators.
To put global climate modeling at the fingertips of local decision-makers, some scientists think it’s time to rethink the system from scratch.
With a tensor language prototype, “speed and correctness do not have to compete ... they can go together, hand-in-hand.”
Twist is an MIT-developed programming language that can describe and verify which pieces of data are entangled to prevent bugs in a quantum program.
Probabilistic programming language allows for fast, error-free answers to hard AI problems, including fairness.
Health Analytics Collective uses real-world evidence to modernize health and drug development decisions.