OR Reasoning Model
مدل استدلال تحقیق در عملیات — مدل ۷B تنظیمشده برای طبقهبندی مسئله، فرمولبندی ریاضی، تولید کد Pyomo، تعمیر و توضیح جواب solver.
این صفحه دموی POC است، نه سامانه تحویلی. خدمت متناظر: فهرست خدمات · هاب دموها.
دموی نمونه تعاملیبرای مدیر: نتیجه کسبوکار
LLM عمومی دامنه را اشتباه میگرفت، قیود ضمنی را جا میانداخت و کد infeasible میساخت.
زنجیره ۶ مرحلهای روی UnifiedOR-100K؛ نسخههای SFT و GRPO؛ کنسول استدلال.
- ۷B SFT + GRPO
- ۶ مرحله زنجیره
- UnifiedOR-100K
- توضیح قیود اتصال
«از زبان طبیعی تا توضیح جواب solver — با حلقه تعمیر کامپایلر.»
مستندات عمومی
چه میکند؟
OR Reasoning Model یکی از محصولات پورتفولیوی هوش مصنوعی آریا اِیآی است که برای تصمیمگیری عملیاتی سازمانهای ایرانی و بینالمللی طراحی شده. نسخه عمومی روی Hugging Face یک دموی نمونه است؛ نسخه تولید با یکپارچهسازی داده، SSO و audit trail استقرار مییابد.
مخاطب غیرفنی میتواند KPI قبل/بعد، کاربرد صنعت و مسیر پایلوت را ببیند؛ مخاطب فنی pipeline، متریک قابل بازتولید و لینک Space/Model/Dataset را دنبال میکند.
درخواست پایلوت از طریق فرم تماس سایت با ذکر علاقه به OR Reasoning Model ثبت میشود تا محدوده داده، قیود و معیار موفقیت مشخص گردد.
چه کسی از آن استفاده میکند؟
مدیران عملیات، CISO، برنامهریزان تولید، لجستیک، مالی و تیمهای مهندسی که باید تصمیم را هم برای هیئتمدیره و هم برای اجرای فنی توضیح دهند.
خروجی دمو «نمونه تعاملی» است؛ آپلود زنده فایل سازمانی روی Space عمومی توصیه نمیشود.
کاربرد در صنایع
تیمهای نرمافزار سازمانی
اتوماسیون مدلسازی ریاضی و تولید کد solver. اتوماسیون مدلسازی OR برای مشاوره و مراکز تعالی بهینهسازی.
مشاوره OR
از شرح مسئله به مدل قابل حل با بازخورد کامپایلر.
دیتاساینس صنعتی
benchmark، انتخاب solver و توضیح جواب.
DevOps / MLOps
زمانبندی GPU و بار ابری با قیود SLA.
تحقیق و دانشگاه
dataset بنیادین OR و مدل استدلال.
استارتاپ محصول
Copilot بهینهسازی بدون تیم OR کامل.
برای مهندس: Pipeline و معماری
NL → classify domain/type/solver → math formulation → constraints → Pyomo code → repair → explain
معماری مرجع: NL → classify domain/type/solver → math formulation → constraints → Pyomo code → repair → explain. اجزا روی CPU قابل اجرا هستند تا دمو و استقرار اولیه بدون GPU اجباری باشد.
خروجیها شامل امتیاز/برنامه، توضیحپذیری و ردپای تصمیم برای بازبینی انسانی است. آموزش و ارزیابی از corpus مستند پروژه پیروی میکند.
برای تولید: Docker، متغیر محیطی، و اتصال به سامانه موجود (ERP، SIEM، WMS، APS) طبق معماری هر repo انجام میشود.
پشته فنی
- Python
- OR-Tools / Pyomo / HiGHS
- NumPy
- SimPy
- Gradio
- Docker
متریکهای قابل بازتولید
| بنچمارک | جزئیات | نتیجه |
|---|---|---|
| Base | 7B coder/reasoner | yes |
| Train | SFT + GRPO | 2 checkpoints |
| Data | UnifiedOR-100K | yes |
| Steps | classify→explain | 6 |
سوالات پرتکرار
OR Reasoning Model چه مسئلهای را حل میکند؟
OR Reasoning Model برای «نسخه SFT مدل ۷B برای فرموله مسئله و تولید کد Pyomo» است. مدل ۷B تنظیمشده برای طبقهبندی مسئله، فرمولبندی ریاضی، تولید کد Pyomo، تعمیر و توضیح جواب solver. این صفحه دموی POC است نه سامانه تحویلی.
ورودی و خروجی OR Reasoning Model چیست؟
ورودی: متن مسئله. خروجی قابل نقلقول: پاسخ ساختاریافته و کد اولیه. متریک Hub بدون حجم نمونه سازمان SLA نیست.
آیا Space عمومی OR Reasoning Model جایگزین استقرار سازمانی است؟
خیر. Hugging Face برای ارزیابی است. شکست رایج: اتکا به SFT بدون RL بعدی. production یعنی on-prem یا VPC و کنترل دسترسی.
چطور پایلوت را شروع کنیم؟
فرم تماس خانه (سازمان، صنعت، شرح مسئله) را بفرستید. قیمت در صفحه دمو اعلام نمیشود.