ResearchTasksFormal Conformity EvaluationFormal Conformity EvaluationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedSongci 20 Cipai and 6 themesERNIE 4.5 Turbo0.824Formal Conformity Score90Feb 26, 2026