Participated · Equity · Aug 2026

Lanyon AI develops a neurosymbolic scientific AI that produces implementations and formal proofs simultaneously, claiming outputs that are provably correct by construction. The system uses a large language model to propose formal specifications, then employs reliable symbolic methods to expand those specifications into code and corresponding proofs; if a specification cannot be proven, the code is not generated. The company reports its agent operates at a fraction of the token and compute cost of frontier models while enabling complex physical simulations, theorem proving, and algorithm discovery. Lanyon is initially targeting high-precision, mission-critical domains such as aerospace engineering, space propulsion, and nuclear energy. The founding team includes applied mathematicians and physicists formerly of Princeton and the Princeton Plasma Physics Laboratory, bringing decades of combined expertise. The company emerged from stealth alongside a $10.6 million funding round to advance its technology.

Participated · Series C · Jul 2026

Antares develops small modular reactors capable of producing roughly 100 kilowatts to 1 megawatt of electricity and designs its reactors to use TRISO fuel, which encapsulates uranium in carbon and ceramic shells. Its Mark-0 demonstration reactor reached criticality on June 4 at the Idaho National Laboratory. Antares is a finalist in the Pentagon’s Advanced Nuclear Power for Installations program and is pursuing deployments on Air Force bases in Colorado and Montana. The company plans to bring its first electricity-producing reactor online next year and targets military deployments in 2028. Financially, Antares has raised a total of $604 million to date, including a $96 million Series B in December and the $470 million Series C. The broader advanced nuclear sector faces challenges such as an immature U.S. supply chain and near-term cost competitiveness concerns; Lazard estimates new SMRs could cost about $214 per megawatt-hour, and Antares has not disclosed pricing.

Led · Series B · May 2026

Lunar Outpost builds and deploys scalable rover systems and autonomous coordination software for operations in GPS-denied and extreme space environments. The company has developed multiple generations of its Mobile Autonomous Prospecting Platform (MAPP) and is advancing next-generation lunar terrain vehicles tied to NASA’s LTVS program. It is also developing the STRATFI-supported MARS platform to enable resilient multi-vehicle autonomy across lunar, orbital, and terrestrial applications. The company reports flight heritage for several rover classes and plans to lead eight missions launching to the Moon before 2030. Financially, Lunar Outpost recently raised an oversubscribed $30 million Series B to accelerate production, expand manufacturing capacity, and deploy mission-ready systems for Artemis and national security customers.

Participated · Series B · Apr 2026

Turion Space develops integrated spacecraft, sensors, and software—including DROID maneuverable satellites and the Starfire operating system—to provide orbital intelligence and operations from LEO to GEO. The company is the first NOAA-licensed commercial provider of resolved non-Earth imaging in the U.S. and reports its initial two missions have delivered over 40,000 images. Turion has been awarded 28 U.S. government contracts and says it has a multi-billion-dollar pipeline across customers including NASA, the U.S. Space Force, the Space Development Agency, and the NRO. It employs roughly 200 people at its Irvine, California headquarters. Turion plans to scale manufacturing throughput from 8 to 40 spacecraft per year, expand continuous observation and non-Earth imaging capabilities, and scale Starfire for larger, automated multi-satellite operations. The company announced a $75+ million Series B to fund those growth initiatives and fleet proliferation.

Participated · Series A · Apr 2026

Founded in 2024 and based in Colorado Springs, Citra Space was started by former U.S. Space Force and Air Force officers with operational experience in space domain awareness and orbital operations. The company develops space object identification (SOI) and characterization capabilities that merge multiple independent space- and ground-based data sources to create persistent fingerprints and behavioral profiles of on-orbit objects. Citra aims to provide operators a consistent and defensible basis for identifying and characterizing object activity, addressing both identification and characterization gaps. Its customers include both government and commercial space operators. Citra recently closed a $15 million Series A to advance development and deployment of its technology. The company plans to use the proceeds to accelerate delivery of working products for its partners.