The Impact of Non-Autoregressive AI on Critical Systems

Non-autoregressive AI models represent a fundamental opportunity for the future adoption of AI in critical systems. Autoregressive models generate outputs sequentially, step by step, while non-autoregressive models evaluate entire solutions at once, optimizing globally across constraints.

The result is advanced mathematical reasoning, which, when combined with a LEAN4 proving lens, allows formal verification at unprecedented speed and accuracy. This approach applies directly to crypto, automating formal verification of smart contracts and blockchain protocols that previously required months of manual auditing.

The same methodology scales to other critical areas, including high-frequency trading, semiconductor design, and aerospace systems. This deeply technical work is led by engineers with rigorous backgrounds including quantum physics, reinforcement learning, ICPC competitive coding, and mathematics.

Experiencing this firsthand as a New York-based go-to-market lead at Logical Intelligence in Fall 2025 shaped my understanding of how these architectures are defining the next frontier of AI.

The race isn't between humans and AI. It's between AI that can only predict and AI that can prove. The difference might be everything.

Harvard Business School

Research Associate under Professor Rosabeth Moss Kanter, 2023–2025. Co-authored 20+ published case studies on sustainable building, infrastructure, and climate innovation.

EcoFi

+

$100K → $6M revenue in 18 months

"We went from doing $100, $200,000 a year to doing $2 million, $5 million, $6 million over the course of basically 12 to 18 months."
Richard Lamondin, CEO of EcoFi

EcoFi built national scale doing something no one else could: providing highly localized sustainable retrofits across real estate portfolios at national volume. Small upgrades mattered enormously — new showerheads running at 1.5 gallons per minute instead of 2.5, compounded across thousands of units. The executive team scrutinized climate policy to optimize deal economics while surviving inflation, shifting incentives, and changing tariffs.

RetrofitsReal EstateClimate Policy

Kanter, Rosabeth Moss, and Jacob A. Small. "Ecofi's Traveling Plumbers: Blue Collar Skills for Green Impact." Harvard Business School Case 326-079, November 2025. (Revised November 2025.) Link ↗

Climate Pledge Arena

+

$1.15B · 100% renewable · 92% waste diverted

"I don't want to be the only carbon-neutral arena in the world. If we're the only one, we've failed."
Tim Leiweke, CEO, Oak View Group

The world's first net-zero carbon sports and entertainment venue didn't happen by accident. It required bridging public agencies, private capital, and a $1.15 billion price tag — nearly double the original estimate. The Arena sources 100% of its electricity from renewables, diverts 92% of waste from landfills, and includes free public transit with every ticket. A landmark designation alone unlocked $50–$70 million in federal tax credits. The harder question wasn't how to build it — it was whether anyone else would follow, given the extraordinary resources the project demanded.

Net ZeroSports & EntertainmentInfrastructure

Kanter, Rosabeth Moss, and Jacob A. Small. "Seattle's Climate Pledge Arena: Ticket to a Greener Future." Harvard Business School Case 325-110, March 2025. (Revised February 2026.) Link ↗

Highland Electric Fleets

+

$38 / charge vs. $180–$240 diesel · LA28 sponsor

"These are school buses, and there can be no problems. There are kids on that thing!"
Sean Leach, CTO of Highland Electric Fleets

Scaling an electric school bus company meant solving two problems simultaneously: national procurement and hyper-local execution. Every district relationship, state incentive, and charging schedule had to be built from scratch. The economics hold up: a full charge costs $38, versus $180–$240 for diesel. Highland nationalized in four years and became the official bus sponsor of the LA28 Olympic Games. Every project detail, state and municipal tax advantage, school district relationship, and bus driver mattered.

Electric VehiclesEducationProcurement

Kanter, Rosabeth M., and Jacob A. Small. "'The Wheels on the Bus' Go Electric: Highland Electric Fleets and Partners." Harvard Business School Case 324-107, March 2024. (Revised April 2024.) Link ↗

Can Cities Beat the Heat

+

14 U.S. cities · comparative climate action analysis

Cities that actively coordinate innovation across utilities, companies, and communities are often best positioned to respond to climate risk. Policies like California's Zero-Emission Vehicle mandate have accelerated electric mobility in places like San Jose, while Detroit's 27.5-mile Joe Louis Greenway expands multimodal transit for bikes, scooters, and pedestrians. In Boston, Greentown Labs connects startups with research from MIT to scale new climate technologies. The takeaway: when cities align policy, infrastructure, and local innovation, climate solutions move faster.

Urban PolicyClimate Action14 Cities

Kanter, Rosabeth Moss, and Jacob A. Small. "Can Cities Beat the Heat? (A): A Comparative Analysis of Climate Actions and Change Enablers in 14 U.S. Cities." Harvard Business School Case 324-080, February 2024. Link ↗

Miccosukee & the Everglades

+

3M+ people rely on the restored water system

"We were very clear on what we wanted, and we were unambiguous on how important it was to us. We put on suits. We went to serious locations. This is a government-to-government meeting, and we are asking the government to do a thing."
Curtis Osceola, Chief of Staff, Miccosukee Tribe

The Miccosukee Tribe of Florida became unlikely public leaders in restoring the Florida Everglades, protecting both their historic lands and a water system that more than 3 million people rely on for drinking water. Through the Western Everglades Restoration Project, the tribe pushed to restore freshwater flow and improve water quality across Big Cypress National Preserve. Tribal leaders worked directly with Florida state officials, Broward and Miami-Dade counties, and environmental NGOs to build political support. The project became a model of how Indigenous leadership can drive large-scale environmental restoration.

Indigenous LeadershipEnvironmental RestorationCoalition Building

Kanter, Rosabeth Moss, and Jacob A. Small. "The Miccosukee Tribe and the Battle to Save the Everglades (B): The Art of Coalition Building." Harvard Business School Teaching Note 325-139, June 2025. Link ↗

Vineyard Wind

+

$4B · 800 MW · ~400,000 homes powered

"Don't tell me, the CEO of Vineyard Wind, which has hit so many roadblocks, that it can't be done. We've seen it all."
Klaus Moeller, CEO of Vineyard Wind

Building America's first large-scale offshore wind farm required years of permitting negotiations, community opposition, and importing much of the supply chain from Europe. The $4 billion Vineyard Wind project, completed in March 2026, marked a turning point for U.S. offshore energy development. Its 62 turbines generate 800 megawatts of power — enough clean electricity for roughly 400,000 homes in Massachusetts. The project illustrated the difficulty of launching a new heavy industry in the United States, overcoming constituent opposition, permitting hurdles, supply chain setbacks, and project disasters, including a turbine falling into the ocean.

Offshore WindEnergyPermitting

Kanter, Rosabeth Moss, and Jacob A. Small. "Vineyard Wind Starts Spinning (A): Overcoming Onshore Challenges to Offshore Wind." Harvard Business School Case 324-113, March 2024. (Revised September 2024.) Link ↗

Blue Frontier

+

HVAC = 3% global emissions · 85% more efficient

"We were extremely frugal, and we focused on building a strong enough storyline that we could raise external capital at a valuation consistent with our expectations."
Daniel Betts, CEO of Blue Frontier

HVAC accounts for 3% of global emissions — a quiet number with enormous consequences as temperatures rise and demand for cooling surges. Blue Frontier, a Florida-based startup, engineered a rooftop AC unit 85% more efficient than standard models, developed in partnership with the National Renewable Energy Laboratory. The system doubles as an energy storage device. Early contracts came from the Department of Defense, the General Services Administration, Waffle House, and major Florida theme parks. This startup is an example of how climate hardware companies must balance technical innovation with compelling capital strategies.

HVACClimate HardwareStartups

Kanter, Rosabeth Moss, and Jacob A. Small. "Blue Frontier: Disrupting Air Conditioning." Harvard Business School Case 325-088, January 2025. (Revised April 2025.) Link ↗

GE Appliances

+

Net Zero Neighborhoods · heat-pump water heaters · smart grid

"We have free, good, clean energy. Why can't we use it all?"
Kevin Nolan, CEO, GE Appliances

Early in his tenure as CEO of Louisville-based GE Appliances, Kevin Nolan set out to make the products of the legacy American manufacturer more sustainable. Under his leadership, the company brought new products to market including a heat-pump-integrated water heater and a 2-in-1 washer-dryer, both designed to reduce household electricity and water consumption. Nolan also emerged as a national advocate for electrification, signing GE Appliances onto Net Zero Neighborhood initiatives in Illinois and working with major utilities on the expansion of smart meters and grid-responsive homes.

ElectrificationConsumer ProductsGrid

Kanter, Rosabeth Moss, and Jacob A. Small. "GE Appliances 2025: Energizing Change." Harvard Business School Case 325-089, January 2025. Link ↗

Climate Action in Miami

+

Rising seas · Citadel · living seawalls · tech hub blueprint

Miami faces some of the most acute climate risk in the country — rising seas, stronger storms, and the chronic flooding threat that comes with both. In response, city officials, major employers like Citadel, universities, and startups aligned around a climate-focused technology hub designed to attract investment and accelerate solutions. Startups like Kind Designs brought living seawalls to Miami's ports. The city's climate initiatives became a blueprint for how cities may pool resources to work together on social impact.

Climate RiskUrban ResilienceTech Hubs

Kanter, Rosabeth Moss, and Jacob A. Small. "Miami's Climate Tech Potential (B): The 2024 Tech Hub Proposal." Harvard Business School Supplement 324-135, May 2024. Link ↗

Carbon Capture

+

36,000 t CO₂ /yr removed · ~$1,000 / ton · DOE DAC Hubs

At Mammoth in Iceland, the world's largest direct air capture facility, machines remove 36,000 metric tons of CO₂ each year — roughly the equivalent of taking 8,600 cars off the road. The technology remains expensive, with capture costs still near $1,000 per ton, but companies like Climeworks are pushing forward with new projects in Oklahoma, Louisiana, and California through the U.S. Department of Energy's DAC Hubs initiative. Early carbon removal purchases from Amazon and Microsoft have helped finance the first wave of deployment.

Direct Air CaptureCarbon RemovalDOE

Green Buildings

+

75% less energy · 75% less water · 85%+ renewable electricity

Seattle's Living Building Pilot Program set a different kind of bar: participating buildings must use 75% less energy and 75% less water than comparable structures, while retaining at least half of all stormwater on-site. Seattle City Light, drawing over 85% of its power from renewables, anchors projects like the Watershed Building and the 3Zero3 Highrise. The city's culture of sustainable development shows what happens when utilities, designers, and developers align around the same ambition and see the construction process through.

Green BuildingsLiving BuildingsSeattle

Theses in Progress

One Way I'd Revitalize New York

What if a sleek crowdrising app mapped every available urban works project across the five boroughs — each with a rendering of what it becomes, what it costs, and how close it is to funded? Users vote or donate. City approval triggers the funds. The crew ships.

StreetEasy changed how New Yorkers find housing. Citizen changed how they understand safety. Worldchangers could change how they build it.

Civic TechUrban Infrastructure

One Way I'd Revitalize Buffalo

Buffalo has a low cost of living, a rising tech workforce, and proof of startup momentum in ACV Auctions and 43North. What it lacks is repeatable venture infrastructure — a founder-led studio that pairs validated ideas with local operator talent, deploys MVPs with pre-seed capital, and builds companies that stay, hire, and scale in place.

I wrote the platform thesis. I think it works. I think it works in Rochester, Pittsburgh, and Syracuse too.

Venture StudioEconomic Development

"Cities are the most underrated technology platform on earth."

"The next great record label will be run by someone who thinks like a VC."

"Formal verification is going to change security the way containers changed software."

Making Things

Reta

A music app I've been designing.

retamusic.app
Singer / Songwriter & Guitar Player

22 years of guitar. Writing songs in New York.

Curriculum Vitae

Estimator
Petretti & Associates · New York, NY

Commercial interior construction management, Manhattan. Corporate tenant build-outs, medical spa fit-outs, CSI division estimating.

Jan 2026 – Present
Research Associate
Harvard Business School · Cambridge, MA

Under Professor Rosabeth Moss Kanter. Co-authored 20+ published case studies on sustainable building, HVAC, climate tech, and infrastructure.

2023 – 2025
GTM Lead
Logical Intelligence · New York, NY · Greylock-backed

Go-to-market strategy for non-autoregressive AI applied to formal verification of smart contracts and critical systems.

Fall 2025
Impact Investments Analyst
Oxford Centre for Innovation · Oxford, UK
2022
Equities Product Controllers
Goldman Sachs · New York, NY
2021
B.A. International and Comparative Studies
University of Michigan · Ann Arbor, MI

Minor: Energy Science & Policy. Study Abroad: Barcelona, Spain, Spring 2022.

2019 – 2023

Full CV available upon request — jacobasmall@gmail.com