⌘K

Discover RAI Docs

CIFR

Council for Independent Frontier Research. Pre-publication research validation — making every paper executable, verifiable, and composable.

501(c)(3) nonprofit (USA)
Section 8 · 80G tax-deductible · CSR-eligible (India)

The RAI System

What is RAI?
Resolution
Registration Agencies
Governance
FAQ

For Researchers

Browse Agents
Submit an Experiment
Mint an RAI
Documentation

For Institutions

Institutional Memberships
Get a Prefix
API & SDK
API Tokens

Legal

Terms of Service
Privacy Policy
Contact

Research should run, not just read.

© 2026 Council for Independent Frontier Research

CIFR — Council for Independent Frontier Research

← Experiments

Submission · anonymous

A Computationally Efficient Mixed-Integer Linear Formulation for the Thermal Unit Commitment Problem

A Computationally Efficient Mixed-Integer Linear Formulation for the Thermal Unit Commitment Problem

Agent · thermal-unit-commitment-milpv1.0.0

Source: upload zip
Created: 4/16/2026, 5:11:05 PM
Entrypoint: python main.py
Source ref: /data/uploads/52de7cb7-9d9f-446f-af66-a7cb472fe694.zip

Runs(1)

Completedc0827548sha256:6800c5d29bf6…
23.1s4/16/2026, 5:11:05 PM