ICARUS /labs
Neurosymbolic agent automation|#1 on OSWorld-Verified90.2%|

Enterprise workflow agents that fly higher for less.

A continuous learning framework that compiles your workflow into verifiable components, self-optimization that delivers frontier performance and reliability at a fraction of the price – see it fly

Received. On our way.
Or email hello@icarus-ai.co
Built by Stanford and UIUC CS PhDs, former researchers at Google and Meta

Icarus solves tasks with frontier performance and reliability, then makes itself faster and cheaper.

CONTINUOUS OPTIMIZATION

Icarus compiles your workflow into reusable parts.

The first run is reasoned end to end. Icarus finds where the work divides, names each piece, and keeps it. Every verified run continuously optimizes those parts, so new work assembles from a system that gets faster and more capable across roles, tools, and industries.

RUN 0148 actions RUN 025 primitives RUN 031 workflow
PERFORMANCE AND COST

Frontier quality at a fraction of the price.

Icarus is first on OSWorld-Verified, ahead of every frontier model and harness. It then distils proven workflows into code, direct API calls, and small specialised models, so the same verified result stops paying for expensive reasoning twice.

OSWORLD-VERIFIED90.2%#1 verified score COST REDUCTION95%+in enterprise workflows
QUALITY AND EFFICIENCYAug 2026
SCORE · OSWORLD-VERIFIED369 real desktop tasks
OSWORLD-VERIFIED90.2%#1 score
Qwen3.8 Max open86.1%
Claude Mythos 5 closed85.0%
Claude Fable 5 closed85.0%

#1 OVERALL+4.1 pts over next best

WORKFLOW COST · QUARTERLY COMMISSION CLOSEValidated on real long-horizon enterprise tasks
SAME RESULT, BY VERIFIED RUN
Run 01 reasoned19m 23s$5.29
Run 02 3 parts reused6m 27s$0.80
Run 03 5 parts reused4m 08s$0.07
RESULT PARITY · 100%5 / 5 CHECKS EACH RUN
OSWORLD-VERIFIED#1 SCORE
90.2%#1 SCORE
Qwen3.8 Max 86.1%Claude Mythos 5 85.0%Claude Fable 5 85.0%
ENTERPRISE WORKFLOWS95%+ COST REDUCTION
RUN 0119m 23s$5.29
RUN 026m 27s$0.80
RUN 034m 08s$0.07

Self-specializes to your company and role.

Pre-built primitives for common roles and industries make Icarus useful from day one. Through continual learning, it automatically specializes to your company’s applications, data, policies and procedures, making each workflow faster, cheaper and more capable.

Icarus runningi-7f3a
Q3 COMMISSION STATEMENTS

Quarterly commission close

‹›↻ 🔒acme.lightning.force.com/lightning/o/Opportunity/listwd5.myworkday.com/acme/compensation-reviewapp.snowflake.com/acme/prod_analytics/workspaces ⋮
Search Salesforce ☆+?⚙●AO
SalesHomeAccountsContactsLeadsOpportunities ▾ForecastsReports✎
OpportunitiesRecently Closed ▾
NewImportAdd to CampaignExport
18 items · Sorted by Close Date · Filtered by Closed Won · Updated a few seconds ago
Search this list...⚙▦↻✎▩▽
Opportunity Name ↓Account NameAmountClose DateStageOpportunity Owner
Northstar expansionNorthstar Labs$240,000.009/28/2026Closed WonAmina Okafor▾
Atlas renewalAtlas Group$180,000.009/27/2026Closed WonMarcus Chen▾
Beacon new logoBeacon Energy$155,000.009/26/2026Closed WonRiya Devi▾
Cascade expansionCascade AI$120,000.009/25/2026Closed WonAmina Okafor▾
Meridian renewalMeridian Health$98,000.009/24/2026Closed WonRiya Devi▾
Juniper enterpriseJuniper Systems$84,500.009/23/2026Closed WonMarcus Chen▾
Vertex platformVertex Robotics$76,200.009/22/2026Closed WonRiya Devi▾
Harbor expansionHarbor Logistics$71,500.009/21/2026Closed WonAmina Okafor▾
Kestrel renewalKestrel Media$64,000.009/20/2026Closed WonLeah Torres▾
Solstice new logoSolstice Foods$58,750.009/19/2026Closed WonMarcus Chen▾
Fairmont expansionFairmont Bank$52,300.009/18/2026Closed WonRiya Devi▾
Cobalt enterpriseCobalt Mining$47,900.009/17/2026Closed WonDaniel Nwosu▾
Linden renewalLinden Health$41,600.009/16/2026Closed WonPriya Raman▾
Alder new logoAlder Retail$38,200.009/15/2026Closed WonAmina Okafor▾
MENU W Search Workday 3MC
Propose Awards:Q3 2026 Commission Review
Direct Reports Budget and SpendIn Progress
92%CommissionUSD
$184,320of $200,000
100%AcceleratorsUSD
$42,600of $42,600
97%Statements12of 12 ready
Employees Affected by Parallel Events2
6 EventsSummaryCommissionAcceleratorStatementPerformance
EmployeeCurrent Performance RatingWarningsSkillsTotal Base PayCommission AmountProposed Award
AOAmina OkaforEnterprise Account Executive
San Francisco4 - Exceeds Expectations!Cloud Architecture
Change Management
Customer SuccessUSD 308,400.0042,600.0042,600.00
MCMarcus ChenEnterprise Account Executive
New York3 - Meets ExpectationsEnterprise Security
Data PlatformsUSD 246,000.0031,240.0031,240.00
LTLeah TorresStrategic Account Executive
Austin4 - Exceeds ExpectationsData Platforms
RenewalsUSD 281,900.0038,150.0038,150.00
DNDaniel NwosuEnterprise Account Executive
Chicago3 - Meets ExpectationsCloud Architecture
MigrationsUSD 254,600.0029,700.0029,700.00
PRPriya RamanSenior Account Executive
Boston5 - Far Exceeds Expectations!Customer Success
Change Management
AnalyticsUSD 297,200.0044,880.0044,880.00
JBJonas BergEnterprise Account Executive
Denver3 - Meets ExpectationsEnterprise SecurityUSD 238,400.0026,410.0026,410.00
MKMira KaplanEnterprise Account Executive
Seattle4 - Exceeds ExpectationsCloud Architecture
RenewalsUSD 269,500.0035,020.0035,020.00
AOAdaeze ObiStrategic Account Executive
Atlanta3 - Meets ExpectationsCustomer SuccessUSD 243,800.0027,960.0027,960.00
TSTomas SilvaSenior Account Executive
Miami4 - Exceeds Expectations!Data Platforms
Migrations
AnalyticsUSD 288,100.0041,330.0041,330.00
HLHannah LundEnterprise Account Executive
Minneapolis3 - Meets ExpectationsEnterprise Security
RenewalsUSD 251,700.0028,540.0028,540.00
12 identities matchedComplete
Approved rates applied$184,320
Payroll draft stagedReady
Statements delivered5/5 checks
SubmitSave for Later
HomeSQL commission_reconcile.sql+⌘
ACCOUNTADMINCOMPUTE_WH (X-Small)PROD_ANALYTICSREVENUE
  1. -- Reconcile Q3 commission batch to payroll ledger
  2. SELECT batch_id, SUM(commission_amount) AS batch_total,
  3.        ledger_amount, ABS(batch_total - ledger_amount) AS variance
  4. FROM revenue.commission_events
  5. WHERE quarter = '2026-Q3'
  6. GROUP BY batch_id, ledger_amount;
Results (just now)×
TableChart7 rows1.2s
BATCH_IDBATCH_TOTALLEDGER_AMOUNTVARIANCESTATUS
Q3-COMM-03184,320.00184,320.000.00MATCHED
Q3-COMM-02171,880.00171,880.000.00MATCHED
Q3-COMM-01166,240.00166,240.000.00MATCHED
Q2-COMM-04158,910.00158,910.000.00MATCHED
Q2-COMM-03152,470.00152,470.000.00MATCHED
Q2-COMM-02149,300.00149,300.000.00MATCHED
Q2-COMM-01141,650.00141,650.000.00MATCHED
Query History
just now1.2sselect batch_id, sum(commission_amount)…01be9a75-0604
ALL WORKFLOWS

Run history

THIS WEEK28 runsacross 6 workflows
READY FOR REVIEW3finance 2 · operations 1
APPROVALS HELD2writes blocked
WorkflowStartedResultEvidence
Q3 commission statementsFinance + revenue operationsToday, 09:00Completed + verified6 sources
Invoice exception reportAccounts payableToday, 09:18Completed7 sources
Usage variance summaryProduct operationsToday, 08:55Completed3 sources
Access recertificationIT operationsYesterday, 16:201 approval held5 sources
AUTOMATION

Schedules + events

Quarterly commission statementsActive

Salesforce → Workday → Snowflake → Workday

Trigger
Quarter close at 09:00
Review
Control failures only
Last run
Completed + verified
Invoice exception reportActive

Gmail → NetSuite → Code → Slack

Trigger
Invoice received
Review
Exceptions only
Last run
23 min ago
Access recertificationDraft

Okta → Workday → Slack → Okta

Trigger
First day of quarter
Review
Every change
Status
Not scheduled
LEARNING

Quarterly commission statements

8.7×faster by run 03
WORKFLOW RUNTIMERUN 03 · 2m 56s · 72% API + SQL + code
EXECUTION MIXRUN 01 → RUN 03
01
02
03
Frontier modelSmall modelQwen3.8-27BYOLO11 UI detectorAPI, SQL + code
BUILT AND REUSED5 primitives
export_closed_won_csvmatch_rep_to_payroll_idcompute_commission_from_planreconcile_batch_to_ledgerstage_payroll_and_deliver
✓

3 of 3 runs verified5/5 checks passed each run

MEMORY

What this workspace knows

IDENTITYRep aliases → Workday workers12 durable mappings · refreshed today
POLICYFY26 commission plan4 tiers · 3 accelerators · finance approved
CONTROLPayroll staging requires reconciliationLedger must match before Workday submit
FORMATCommission statement templateFinance-owned · version 8
SYSTEM

Machine

ControllerConnected · us-west-2

8f31d2a

WorkstationDesktop lease active

2c944eb

Event busFollowing current task

live

Each run costs a fraction of the first.

Icarus distills repeated work into reusable code, direct API calls and small specialized models, so a proven path stops paying for expensive reasoning twice.

EFFICIENCY GAIN
8.7×
by run 03
COST / RUN
$0.47
from $4.10
Quarterly commissions / Learning curveRUN 03 · verified
RUNTIME AND COST / RUN · BY VERIFIED RUNRESULT PARITY 100% · 5/5 checks
EXECUTION MIX · RUN 03 · 72% API, SQL + codeREUSABLE PATH · 5 of 5 reused
Frontier modelSmall modelQwen3.8-27BYOLO11 UI detectorAPI, SQL + code
export_closed_won→match_plan→compute_commission→reconcile_ledger→stage_payroll
VERIFICATION

Nothing enters the library unverified.

From the run trace and the workflow’s stated intent, Icarus learns what a correct result looks like and which approvals apply. It checks those conditions while the work runs and stops before any write it cannot clear.

CONDITIONS MET3 / 4run 08 HELD1before write
Quarterly renewal review / Run 08unsafe action held
REQUIRED CONDITIONSlearned from 12 runs and Policy v3.2
✓
Every in-scope renewal is included4 Salesforce records matched to 4 brief entries
met
✓
Usage uses the same 90-day periodQuery and brief both reference Jun 1–Aug 29
met
✓
Support cases remain linked to sourceCase IDs CS-1842 and CS-1911 preserved
met
!
Discounts above 15% require approvalBeacon Energy requests 18%; held for R. Devi
held
FORMAL 2 · REVIEWED 2CHECKED DURING EXECUTION, NOT AFTER
QUARTERLY RENEWAL REVIEW · RUN 08UNSAFE ACTION HELD
REQUIRED CONDITIONSCHECKED DURING EXECUTION
✓Every in-scope renewal is included
✓Usage uses the same 90-day period
✓Support cases remain linked to source
!Discounts above 15% require approval18% discount blocked before write

Backed by award winning research.

BEST PAPER · H.M.AI4Math · ICML 2026

SEVerA: Verified Synthesis of Self-Evolving Agents

Verified contracts constrain model calls while agents synthesize and improve reusable execution steps.

Read paper →
COMPUTER USE2026

Daedalus plays real-time Tetris

The piece falls whether or not the agent has finished thinking, which is why no other computer-use agent can play it.

View project →
1ST PLACEAI4Math · ICML 2026

Won the AI4Math Lean theorem-proving competition

Lean checks every proof mechanically, so the placing is verified rather than judged.

View leaderboard →
CODE RETRIEVALICLR 2025

CoRNStack: Better contrastive data for code retrieval and reranking.

CodeRankEmbed and nomic-embed-code are state-of-the-art code embedding models downloaded millions of times on Hugging Face.

Read paper →

Built by top researchers in formal methods and machine learning.

Calvin Xu
Calvin Xu
Co-Founder · CEO
PhD CS @ UIUC. ML × Formal Methods. Ex-MIT Lincoln Lab, Intern @ Meta/TikTok.
Web ↗ LinkedIn ↗
Debangshu Banerjee
Debangshu Banerjee
Co-Founder
PhD CS @ UIUC. ML × Formal Methods. Ex-Google, Intern @ Amazon/Google.
Web ↗ LinkedIn ↗
Tarun Suresh
Tarun Suresh
Co-Founder
PhD CS @ Stanford. ML × Formal Methods. Ex-Intern @ Nomic AI/Bloomberg.
Web ↗ LinkedIn ↗
Gagandeep Singh
Gagandeep Singh
Advisor
Asst. Prof. UIUC. Sponsored by NSF, Amazon, Google, Anthropic, Qualcomm and Bloomberg.
Web ↗ LinkedIn ↗
§ Join

Tell us what your team still runs by hand.

We’re working with a small number of design partners on recurring workflows that cross applications, data and approvals.

Received. On our way.
Or email hello@icarus-ai.co directly.