ResearchTasksAdvanced Property ReasoningAdvanced Property ReasoningFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedPolyBench (test)PolyLM (Qwen-2.5-14B)0.39RgL19Feb 26, 2026