Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

FormalRx

Benchmarks

Task NameDataset NameSOTA ResultTrend
VerdictFormalRx (test)
Accuracy83.2
13
CorrectionFormalRx (test)
ExMatch4,551
11
LocalizationFormalRx (test)
ExMatch4,563
11
CategorizationFormalRx (test)
Accuracy64.4
11
Showing 4 of 4 rows