svmranker:main
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
svmranker:main [2020/11/18 19:26] – [Background] ::1 | svmranker:main [2020/11/20 14:03] – merlin | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | **[[svmranker: | + | {{: |
====== SVMRanker====== | ====== SVMRanker====== | ||
SVMRanker, an open source tool implementing a general framework for proving termination of programs, | SVMRanker, an open source tool implementing a general framework for proving termination of programs, | ||
Line 5: | Line 5: | ||
both linear and polynomial updates, using SVM techniques to | both linear and polynomial updates, using SVM techniques to | ||
synthesize ranking functions. SVMRanker is built on top of the prototype used in [3] and it adds | synthesize ranking functions. SVMRanker is built on top of the prototype used in [3] and it adds | ||
- | support for learning **multiphase ranking functions**. | + | support for learning **multiphase ranking functions**. \\ |
+ | SVMRanker is now publicly available on GitHub at [[https:// | ||
---- | ---- | ||
===== Background ===== | ===== Background ===== |