Isbotlardan generatsiya qilingan bilim grafigi
Olingan manbalar hash-manzilali saqlanadi va ishonch darajasi baholanadi; keyin LLM aktor da’volar grafigini generatsiya qiladi. Hech narsa qo‘lda tahrirlanmaydi; generatsiya qilgan aktor, model, baholash va isbot hammasi tekshiriladigan qoladi.
Bir manbani bir marta olish — bitta kuzatuv. Isbot, ishonch darajasi, generatsiya qilgan aktor va proyeksiya natijasi kuzatuvga tegishli, har bir da’voga emas — shuning uchun birlik bu yerda kuzatuv.
Run holati
Yaqindagi kuzatuvlar
Holat tekshirilmoqda…
Bu yuzani JSON ko‘rinishida ko‘rish · Saqlangan isbotlarni ko‘rish