Formally
About Formally
The company operates in the AI-powered legal technology space, delivering advanced solutions for enterprise clients. It serves enterprise clients, including top-10 law firms. The company has a CTO and an engineering team, underscoring its technical focus and development capabilities. As part of a technical migration, it displaced a 30-year-old legacy system at a top-10 law firm, highlighting its ability to modernize complex legal infrastructure.
Company at a glance
Location
Culture & values
The company operates in a fast-paced, AI-forward environment.
There is a strong emphasis on shipping features daily, indicating a high-velocity, results-driven culture.
Engineering leadership emphasizes mentoring junior engineers and owning initiatives from conception to deployment.
Close collaboration with the CTO and engineering team suggests a team-centric, hands-on work style.
There is an emphasis on balancing speed of execution with infrastructure decisions to improve platform scalability.
The role involves reviewing infrastructure metrics and solving scaling challenges, indicating a data-driven and reliability-focused culture.
A focus on building automation workflows and ML infrastructure integration signals a culture that values automation.
The environment emphasizes reliability and aims for zero downtime during migrations.
Companies similar to Formally
Avallon creates AI agents that make claims operations teams an order of magnitude more efficient. The company is composed of engineers and operators with deep industry experience whose backgrounds span top institutions like Cornell, MIT, and HSG and whose work includes published research in NLP. Avallon has scaled technology in complex, traditional industries and built products trusted by Fortune 500 companies. The company grew revenue 10x in three months during Y Combinator and is backed by top investors including YC, Frontline Ventures, 1984, and Booom VC as it scales rapidly.
The company aims to make building affordable by leveraging AI to analyze blueprints. It focuses on building computer vision object detection models and coordinating these models, with an emphasis on ML and algorithm development. The company states it prioritizes the intelligence side (ML and algorithms) over the application side. Backed by investors who have funded PlanGrid, Dropbox, and Airbnb, it has strong backing. It is part of Y Combinator's Winter 2025 batch (YCW25).
The company builds AI conversations that feel like a real person, with real-time, native integration in FaceTime. Its mission is to create a great friend for everyone on Earth by digitizing connection, and it aims to enable AI-driven, real-time conversations within native apps such as iMessage and FaceTime. Backed by BoxGroup, the company is led by a founder who is a Thiel Fellow, YC alum, and Stanford dropout who recently sold his last company. It operates as an engineering-first organization, fully in-person in San Francisco, where it is headquartered.