ResearchDatasetsavl_treeavl_treeFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsClass Invariant Synthesisavl_tree4Total Invariants Synthesized1C-to-Rust translationavl_tree (AT)—Primary metric0