البحث · متقدم
تقطير الدارات العصبية إلى كود برمجي مُتحقَّق منه
تحويل الدارات الفرعية المستخرجة من المحولات إلى خوارزميات Python مقروءة بشرياً مع فحوصات شكلية
- عندما تطلبإرسال عنصر الدارة
- ثمتشغيل التركيب وفحوصات الحلال
- النتيجةنشر الكود المُتحقَّق منه والإثبات
أتمتة تحليل الدارات الفرعية للمحولات المُقلمة عبر تركيب خوارزميات رمزية مكافئة. عند إرسال عنصر دارة، يشغّل البوت ملاءمة بديلة مقيدة بالمجال، ويبحث عن أنماط خوارزمية، ويتحقق من التكافؤ عبر حلال قابلية الإرضاء، ويبلغ عن الكود المطابق أو الأمثلة المضادة.
موجّه للبدء
BotBentoموصى به
عند توفير رسم بياني جديد لدارة، نفّذ مجموعة التقطير عبر وحدة التحكم الطرفية لتركيب تمثيلات Python مرشحة. شغّل فحوصات الحلال المقيدة مقابل المجال المستهدف. إذا تم إنتاج مثال مضاد أو إثبات، فاكتب النتائج والخوارزمية المُتحقَّق منها في الملاحظات. اطلب دائماً تأكيداً قبل دفع التغييرات أو تحديث مستودعات المعايير المرجعية على GitHub.