Introducing F4 Champions, a new accelerator for founders at the earliest stage.F4 Champions for early-stage foundersEnrollment closesAugust 2Learn more
F4 FundFund
TeamPortfolioRaiseChampionsEssays
Sign in
Back to firm page

Portfolio

Halcyon Futures

A closer look at the companies associated with this firm. Verified team members can update the portfolio after signing in.

Portfolio

Halcyon Futures portfolio

This is the portfolio currently shown on the public firm page.

19 activeBack to firm page
TransluceListed
transluce.orgenterprise_software

Transluce is a non-profit research lab building the public tech stack for scalable oversight of AI, focusing on creating tools and platforms for understanding AI behaviors and ens…

HadrianDetails pending
hadrianmfg.com

Details are not available yet. The company remains listed.

GoodfireListed
goodfire.aienterprise_software

Goodfire is a research company using interpretability to understand, learn from, and design AI systems. Our mission is to build the next generation of safe and powerful AI—not by…

DepthFirstListed
depthfirst.comsecurity_cyber

DepthFirst is an AI-native security platform that analyzes code, business logic, and infrastructure to identify real vulnerabilities, reduce false positives, and provide actionabl…

Andon LabsListed
andonlabs.comenterprise_software

Andon Labs is focused on building Safe Autonomous Organizations (SAOs) that operate without human intervention, leveraging frontier AI technologies to manage real-world tasks such…

SoftmaxListed
softmax.comgaming

Softmax is an independent research lab focused on developing a universe of multiplayer games where humans and their coding agents compete, cooperate, and interact. They aim to cre…

KradleListed
kradle.aienterprise_software

Kradle is building the standard for evaluating frontier AI models through interactive simulations, aiming to ensure the development of open and beneficial AGI.

Lucid ComputingListed
lucidcomputing.aienterprise_software

Lucid Computing provides verifiable AI infrastructure that ensures privacy and security through cryptographic proofs and confidential computing. Their platform enables organizatio…

Gray SwanListed
grayswan.aisecurity_cyber

Gray Swan is the adversarial evaluation standard that leading frontier labs rely on for their flagship models before the public sees them. They provide automated adversarial testi…

Theorem LabsListed
theoremlabs.comenterprise_software

Theorem Labs is a programming languages and AI lab focused on building AI capable of program verification and advanced software engineering. The company conducts research and deve…

SeismicListed
myseismic.comrobotics_automation

Seismic™ Powered Clothing is a fusion of apparel and robotics, designed to reduce muscle strain and fatigue by providing your core with extra power and stability.

Workshop LabsListed
No domain yetenterprise_software

Workshop Labs is an AI research lab with a mission to make people irreplaceable. Our research is focused on distributed user alignment, aimed at building billions of models -- one…

SmetListed
smet.aisecurity_cyber

SMET provides advanced security solutions for critical infrastructure, integrating multi-domain sensing and proactive threat neutralization to ensure operational continuity and pr…

Red Queen BioListed
redqueen.biobiotech_life_sciences

Red Queen Bio is an AI biosecurity company focused on scaling biological defenses in response to evolving biological risks associated with advancing AI capabilities. The company a…

FathomListed
fathomhealth.comhealthcare_digital

Fathom provides medical coding automation powered by AI, enabling healthcare organizations to code millions of charts per day with high accuracy and reduced costs.

Confident SecurityListed
confident.securitysecurity_cyber

Confident Security provides a verifiably-private Inference API for AI products, ensuring compliance with regulations like GDPR and HIPAA while maintaining high standards of privac…

Haizel LabsListed
haizelabs.comenterprise_software

Haize Labs develops expert-level AI agents for critical tasks, utilizing proprietary technology for high reliability.

ArchiaListed
archia.ioenterprise_software

Archia provides a secure AI agents infrastructure that allows users to build and deploy trustworthy AI agents quickly and efficiently, with a focus on security and data privacy.

AIUCListed
aiuc.comenterprise_software

AIUC is an AI agent standards and insurance company that provides certification and insurance for AI agents to facilitate enterprise adoption. Their AIUC-1 standard addresses data…