xx---...............--xxxxxx---...................----xxxx++xxxxx--.................................------...........................-xx+++++++++++xx---xxxxx+++xxxxxxxxx----..............--xxxxxx----..................--xxxxxxxxxx---...................................--xxx----------..................--xx+++++++0++xx-----xxxxxxxxxxxxxxxx-----------........---------.......------.......-xxxxxxxxxx--..........................---.......--xxxxxxxx-----..................--xxx++++++++++xx------xxxxxxxxxxxxxxxx----------......................---------......-xxxxxxxxx-......................................--xxxxxxxx----...................--xxxxxxxxx+++xxx----------------xxxxxxxxxxxx---.-------...............--------.......-xxxxxxx-......--................................--xxxxxx----....................--------xxxxx++xxxx----------------xxxxxxxxxx-----xxxxxx------------....................--xx--.....--xx---..............................--xxxx----......................---------xxx+++xxxx----------------xxxxxxxxx-----xx++xxxxxxxxxxxxx---...................----......--xxxx------------...................---xx----.......................---------xxx+++xxxx--------------.---xxxxxx----xxxxx++xxxxx+++xxxxx-----.................--.......--xxxxx-----------...................---xx----.......................---------xxx+++xxxx--------------..---xxxxx----xxxxxxxxx+++++xxxxxxx------...............--........-xxxxx-----------...................--xxx----......................---------xxxx+++xxxx-------------...-----x-----xxxxxxxxxx+++++xxxxxxx------...............--........-xxxxx-----------...................--xxx----.......................--------xxxxxxxxxxx-------------....----------xxxxxxxxxx+++++xxxxxxx------...............--.......--xxxx-----------....................--xxx----.........................-------xxxxxxxxxx--------------...----------xxxxxxxxxxxx++++xxxxxx-----.........................-xxxxx-----------....................--------................................----xxxxxxxxxxxxxxxxxx-----.---------xxxxxxxxxxxxxxx++++xxxxx---.........................-xx+xxx-----------......................----.......................---............------xxxxxxxxxxxxxxxx----------xxxxxxxxxxx--xxxxxx+xxxxx---........................-xxxxxx-----------................................................-x++x----............----xxxxxxxxxxxxxxx---------xxxxxxxx-------xxxxxxxxx---........................--xxxx------------.........---....................................-x+0+xxxx--------.--....---xxxxxxxx---+xxx--------xxxxxx-----------xxxxxxx---......---..............-----------..-----...........-....................................--xxxxxxxxxxx-------x--....------------++xx--------xxxxxx-----------xxxxxxx----....-----..............--------....-----......------....................................--xxx-xxxxxxxxxxx---xx-....------------+xxx-------xxxxxx------------xxxxxxxx-------------.......................-------.....--------....................................--x--xx+xxxxxxxx---xx-....---xxx-----x+xxx-------xxxxx------------xxxxxxxxxx------------.....................---------......-------......-............................--xxx-xxxxxx----------...---xxxxxxxxxxx+xxx------xxxxxx------------xxxxxxxxxx-------xxx--....................-----------.....------....................................-x+++xxxxx------.......---xxx+++++++++++xxx------xxxxxx------------xxxxxxxxxx--------x---...................------------.....-----.....................................-x+++----------......--xxx+++++0000++++++xxx----xxxxxxx-----..------xxxxxxxx-------------............----------.............---------...................................-x-.-----xxxx--...--xxx++++++++++++++++++xxx---xxxxxx----.-----------xxx----.......----..........---xx----.................-----------.................--xxxx-...............-xxxxx---...--xx++++xxxxxxxxxxxx0++xxx----xxxxx-----xxxx----.------.................-------xxxxx--.................----xxxxxxxx--.............--xxxxxx-...-------.....-xxxx--.......--xxxxxxxxxxxxxxxxx++xxx---xxxxxxx---xxxxxx----...........-----.....--xxxx----xxx--...........---------xxxxxxxxxxxxx--x++x--.......----....---xxxx---...-xxx--..........------xxxxxxxxxxxxxxxxxxxxxx++xx---xxxx-----..........--xxxxxx-....-xxxx------..........------------xxxxxxxxxxxxx+xx-+0+x-...............---xxxxx---..--x--..............----xxxxxxxxxxxxxxxxxxxxxxxxx--.-----xx-------..---xxxxxxxxx--...--x--..............------------xxxxxxxxxxxxxxxxxx-x+x-................--xxxxxx--...----................---xxxxxxxxxxxx++xxx---------.....--xxxxxxxxxxxxxxxxxxxxxxx--...----.............--------xxxxxxxxxxxxxxx-----xxxx-xxx-....---........---xxxxxx--...----................-----xxxxxxxxxxxxx----...--......--xxxx+++xxxxxxxxxxxxxxxx---....................-------xxxxxxxxxxxxxxxx-----xxxx-xxx-....---........---xxxxxx--...--x--...............-------xxxxxxxxxx--.............--xxx++++xxxxxxxxxxxxxxxx---.....................-------xxxxxxxxxxxxxxxxx---xxxxx-xxx-................--xxxxxx--...-xxx--............-----------xxxxxxx---.............--xx++++xxxxxxxxxxxxxxxxx---......................-------------xxxxxxxxxxxxxxxxxxx+++x-................--xxxx---..--xxxx-............------------xxxxxx---.............--xxx+++++xxxxxxxxxxxxxxxxx--....--...............-------------xxxxxxxxxxxxxxx+xx-x+0+x-................-------...-xx+xx--.............-.---------xxxxxx---............--xxx++++++xxxxxx++++++++xxx--...----.............------------xxxxxxxxxxxxxxxxxxxx-x+0+xx--..............-----...-xx++xx-.................---------xxxxxxx------......-xxxxxxxxxxxxxxxxxxx++++++++xx--..-----..........------------xxxxxxxxxxxxxxxxxxxxxxx-x+++xx--..------............-xx++xx-........................----xxxxxxxxx----..--x-xx+xxxxxxxxx---xxxx+++++++++xx-...-----.......---xxx-------xxxxxxxxxx-----xxxxxxxxxx-xxxx------------..........-xx++xx-...................-----------xxxxxxxxxx--.-xxxxx-xxxxxxxx+++xxxxxxxx++++++++xx-....---......--xxxxxxx---------------------xxxxxxxxxxx---------------.........-xx++xx-..................---xxxxxx-------xxxxxxx---xx++xx-xxxxxxxx+++x++++xxxxx+++++xxx-.....-......--xxxxxxxx------------xxx-------xxxxxxxxxxx--------------........--xx++x-..................--xxxxxxxxx-------xxxxxx---xx++xxx-xxxxxxxxxxxxxx+xxxxxx+++xxxx-.....-......--xxxxxxxx------------xx--------xxxxxxxxxxx-------------.........--xx+xx-.................---xxxxxxxxx-------xxxxxx----xxxxxx--xxxxxxxxxxxxx+xxxxxx++xxxx--.....-......--xxxxxxxx----xxxx--------------xxxxxxxxxxx-------------..........-xx+xx-..................---xxxxxxx---------xxxxx----xxxxxxx--xxxxxxxxxxxx+xxxxxx++xxxx--....---.....--xxxxxxxx----xxxxx------------xxxxxxxxxxx---------------.........-x+++x--...................--xxxxx---.------xxxxx----xxxxxxx--xxxxxxxxxxxx+xxxxxx+++xxx--....---.....--xxxxxxxx-----xxx-----x-------xxxxxxxxxxxx---------------.......--x+0+xx-...........---.......------....-----xxxxx---xxxxxxx--xxxxxxxxxxxxxxxxxxxx+++xxx--............--xxxxxxxx-----------xxxxx-----xxxxxxxxxxxxxxxxxxxxxxxxxx--......--x++xx--........--xxxxx--................---xxxx----xxxxxx--xxxxxxxxxxxxxxxxxxxxxx++xxxx-..........---xxx++++xxxx-----xxxxxxxxxxx----xxxxxxxxxxxxxxxxxx+++++xxxx--------xx---.--.......-xx+++++xxx--.............---------xxxxx----xxxxxxxxxxxxxxx+++++xxxxxxx---........--xxx+++++++++xxxxxxxxxx+++++xxxxxx--xxxxxxxxxxxxxxxxxxxxxxx++xxxxx---------xxx----...--xx+++++++xxxxxxxx--......---.--xxxx--.---xxxxxxxxxxxxxx++++++++xxxxx----.....---xxx++++00000++++++++++x++++++xxxxxxxx------xxxxxxxxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxx----..--xxxx+++xxxx++++xx-.......--xxx--....---xxxxxxxxxxxxxx+++000+++xx+x-.....---xxx+x+++++++000000+++++xxxxxxxxxx+++++xxxxx----xxxxxxxxxxxxxxxxxxxxxxxxxx-xxx+++++xxxxx---------xxxxxxx+++++xx........-----.......---xxxxx----xxxx++++++++xxxx--.....---xxxxxxxxxx++++0000++++xx--xxxxxxx++++x+++xxxx---xxxxxxxxxxxxxxxxxxxxxxx--xxx+++++++xxxxx----------xxxxx+++++x......................-------------xxxx++++xxxxxx--......----xxxxxxxxx+++++++++xxxxx--xxxxxx+++x+++++xxx----xx------xxxxxxxxxxxxx--xxx+++++++xxxxx------.-----xxxx++++x-.................................---xxxxxxxx-xxxx--.......--x+++xxxxxxx++++++xxxxxxx-xx-xxx++x++++++xxxx------------xxxxxxxxxxxx--xxx+++++++xxxx------.------xxxx++++x-...................................---xxxxx-xx++xx-.......--x+++xxxxxxx++++++xxxxxxx--xxxxx++x++++++xxx----xxxx---xxxxxxxxxxxxxx--xx++++++xxxxx----..---xxx---xxx+++xx--..................................---xxxx--xx++x--.......--x+++xxxxxxx+++++++xxxxx----xxx+++++++++xxx---xxxxxxxxxxxxxxxxxxxxxxx--xx++++xxxxx----..---xxx-------xxxx----..................................---xxxxx-xx+xx--......--xxx+xxxxxx+++++++++xxx----xxxxx++++xxxxxx---xxxxxxxxxxxxxxxxxxxxxxx---xxx++xxxx-----...--------......-----.x--................................--xxxxxxxx-xxxx--....---xxxxxxxxxx++++0++++xxxxxxxxxxxxxx++++xxx--xxxxxxxxxxxxxxxxxxxxx--------xxxxxxx-xx---......---...............xx-......................----..-----xxx++++++xxxx--..--xxxx++++xxxx+++++++++xxxxxxxxx----xxxxxxxxx--xxxxxxxxxxxxxxxxxxxx-------.--xxxxxxxxxxx---.......................x-..................------xx-----xxxxxx+++00++xx+xx-xxxx++++++++++++++xx++++++++xxx----xxxxxxxxxx--xxxxxxxxx-----xxxxx-----xx-----xxxxxxxxxxx----...........................-----.......---xxxxxxxxxxxxxx++xxxxx++++++xxxxx++++0000++++xxxxx++++++++++xxx---xxxx++++xxx----xxxxx-----------------xx--.-----xxxxxxxxx------......................--xxxxx-.------xxxxxxxx++++xxxxxxxxxxxxxxxxxxx+++++0000+++++xxxx++++++++++xxxxxxxxxxxxx+++++xxxx---------------------------..----xxxxxxxxxx-------...................--xx++xx--xxxxxxxxx++xxx++++++xxxxx---xxxx-xxxx+++0000++++++x++++++++++++xxxxxxxxxxxxxx+x+++++xxxx---------------------------..----xxxxxxxxxxx--------.................xx+++xxx-xxxxxxxxx+xxxxx++++++xxxxx-xxxxxx---xx++0000+++++xxx+++++++++++xxxxxxxxxxxxxxx+x++++++xxx---------------------------..----xxxxxxxxxxx--------.................++++xx-xxx+++++xxxxxxxxxxxx++xxxxx-xxxxxxx--xx++0000+++++xxxx+++++++++++xxxxxxxxxxxxxxxxx+++++xxxx---------------------------..----xxxxxxxxxxx-------..................++xxx-xxxx++++++++xxxxxxxxxxxxxxxx-xxxxxxx-xxx++0000+++++xxxx+++++++++++xxxxxxxxxxxxxxxx+++++xxxx-------------------------x--..----xxxxxxxxxx-------...................++xxxxxxxx+++++++xxxxxxxxxxxxxxxxx-xxxxxxx--xx++00000+++++xxx+++++++++++xxxxxxxxxxxxxxxxx++++xxxxx------------------------x--..---xxxxxxxxx--------...................-x+xxxxxxx++++++xxxxxxxxxxxxxxxxxx--xxxxxxxx--xx++00000++++xx+++++++++++++xxxxxxxxxxxxx+++x++++xxxxx---------xxx-------------....--xxxxxx--------.....................--xxxxx-xxx++++xx++++xxxxxxxxxxxxxx---xxxxxxx--xxx++0000+++xx+++++++++++++xxxxxxxxxxxxx+++++x+++++xxxxxxxxxxxxxxxxxx----.----....--xxxxx------................------...-x-xxx-xxx+++xxx++++xxxxxxxxxxxxxxx-----xxxxxx-xxxx+++++++x+++++++xx+++++xxxxxxxxxxxx+++000++xx+++++xxxxxxxxxxxxxxxx----........--xxxx--xxxxx-.............-------------------xxx+xxxxxxxxxxxxxxxxxxxxxx-------xxxxxxxxxxxx+++++x++++++xxxxxxxxxxxxxxxxxxx++++0000+++xxx+++++++xxxxxxx---------........------xx+++xx--...........---xxxxxxxxxxxx..---xxxxxxxxxxxxxxxxxxxxxxxx--------xxxxxxxx--xxxx++xx++++++xxxxxxxxxxxxxx+++xx+++00000+++xxxx+++++++xxxx-----------.........-----x+++++x-----.......----xxxxxxxxxxxxx...--xxxxxxxxxxxxxxxxxxx---------.--xxxxxxxxxx--xxxxxx++++++xxxxxxxxxxxxx+++++x++00000++++xxx-xx+++++xxxx----------.............-.-x++++xx------.....-----xxxxxxxxxxxxx...--xxxxxxxxxxxxxxxxxx------------xxx++xxxxxx-xxxxxx+++++++xxxxxxxxxxxx++++++x++0000++++xxxx-xxx+++xxxx-----------...............-x++++xx-----.......----xxxxxxxxxxxxx..---xxx+xxx+xxxxxxxxx-------------xx+++xxxxx-xxxxxx+++++++xxxxxxxxxxxxx++++++x++0000+++xxxx--xxx++xxxxx-----------............----x+++++x-----.........---xxxxxxxxxx-x.---xxx+++xx++xxxxxxxx------------xxx+++xxxxxxxxxxxx+++++++xxxxxxxxxxxxxx+++++x++0000++++xxx-xxx++++xxxxx-----------..........-----xx+++++xx--............-------------.---xx++++x+++xxxxxxx-------------xx++++xxxxx-xxxxxx+++++++xxxxxxxxxxxxxx+++++x++00000++++xxxxx+++++++xxxxx-----------......---xxx--xx+++++xx--..............----.......--xxx+++xx++xxxxxxxx-------------xxx++++xxxxx-xxxxx+++++++xxxxxxxxxxxxxxx+++xx+++++++000+++xxxx+++++++++xxxxxxxxxxxxx----.--xxxxx--.--xx+++xx---------.................--xxxxxxx++xxxxxxxx----------....--xx+++xxxxx----xxxx+++xxxxx-----xxx-xxxxxxxxxxxxx++++0000+++++++++++++++++++++++++xxxxxx--xxx--......--xxxxx-------------.............--xxxxxxxxx----------------.......--xxxxxxxxxxxxxx-xxxxxxxxxxxxxxxx--------xxxx----xxx+++0++xx++++++++++xxx++++++++++++xxxxx----x----....--------------xxx--..--.........---xxxx------------------------....-------xxx++xxx-xxxxxxxxxxxxxxxxxx--xxx++xx---.--xxx+++xxxxxxxx++++++++++++++x+++++++xx-xxxxxxx---.........-------xxxxx-------.......---------xxxxxxx--------xxxxx----....---xxxx++++xxxxxxxxxxxxxxxxxxxxxx++0++xx---...---xxxx------xxxxxx+++++++++++x++++xxxxx+++xxx----..............--xxxxx-------...........----xxxxxxxxxxxxxxxxxxxxxxx-------xxx++x+++xxxx-----------xxxxxx++00++xx---..----xxxxxx------xxxxxxxxx+++++++++++xxxx++++xxxx----.............--xxxxx--------...........-xxxxxxxxxxxxxxxxxx++++xxxxxx----xxx++xxxxxxxxxx----------xxxxxx++++xx---...---xxxxxxxx------xxxxxxxxxxxxx++++++xxxx++++xxxx----.............--xx++xx---------........-xx+++++xxxxxxxxxxxxx+++++xxxxx---xxxxxxxxxxxxxxxxxxxxxxx---xxxxx+++xxx--------xxxxxxxxx------xxxxxxxxxxxxxx+++++xxxx++++xxx----..............-xx+++x-------.--------..-xx++00+++xx-xxxxxxxxxxx+++xxxx---xxxxxxxxxxxxxxxxxxxxxxx---xxxxx++++xx--------xxxxxxxx------xxxxxxx++++++xxxx+++xxxxx++xxxx----.............--x++++x------..-----------xx++000++xx-xxxxxxxxxxx+++xxxx---xxxxxxxxxxxxxxxxxxxxxx----xxxxx++++xxx--------xxxxxx------xxxxxxx+++++++++x++++xxxxxxxxxx----.............--xx++++x------..----------xx++0000++xxxxxxxxxxxxx+++xxxxx---xxxxxxxxxxxxxx----------xxxxxx++0+++x---....---xxxx------xxxxx++x+++++++++++++xxxxxxxxxx---.......--......--xx++++xx-----..-------.--x++0000++xxxxxxxxx++++xxxxxxxx----xxx++++xxxxx-----------xxxxx+++00+xx--.......--xxxxxxxxxxxx+++++++x++++++++++xxx-xxxxxx---................--xx++0++x-------x----...-x++++++xxxxxxxxxx++++xxxxxxx--------xxxxxxxxx---x--------xxxx+++++++xx-.........--xxxxxxxxxx+++++++++++x++++++xxxx-xxxxx----...................-xx++0++x---------....--xxxxxxxxxx+++xxxxxxxxxxx--------...---xxxxx---xxxxxxxxxxxx++++0+++xx--...........-xxxxxxxx++++0000000++++x+++xxxxxxxxxx---......................--xx+++xx---x--.....---xxxxxxxx+++xxxxxxxxxx-----...........---------xx++++++++++++00+++xx--............--xxxxxxx++++000000000+++xxxxxxxxxxxxx--.........................-xx+++x---xx.....---xxx+++++++xxxxxxx--------.............--------xx++++++++++++000++xx--..............-xxxxxxxx++++00000000+++++xxxxxxxxxxx--..........................-xxxxx---xx.....--xxxx+++++xxxxxx----------...............------xxx++++++++++++000++xx--..............--xxxxxxxx++++0000000+++++xxxx++xxxxx--..........................-xx+xx---xx....----xxxx+++xxxxxxx---------.............-.-------xxx++++++++++++000+++xx-..............--xxxxxxxx++++0000000++++xxxxxx+xxxxx--..........................-x+++xx----...-----xxxxx+xxxxxxx-----------..............--------xx++++++++++++0000++xx-.............--xxxxxxxxx++++0000000++++xxxxxxxxxxx---.........................-x++0++x----..------xxxxxxxxxxxxx-----------..............--------xx+++++++++++++000++xx-.............--xxxxxxxx++++0000000++++xxxxxxxxxxx---.........................-xx++0++x-......----xxxxxx+xxxxxxxx---------................------xxx++++++++++++000++xx--.............--xxxx++++++++0++++++++++xxxxxxx-----..........................---xxxxxx--......---xxxxxxxxxxxxxxx--------...............--.-----xx++++++++++++0000++xx-...............--xxx+++++++++++++++++++xxxxx----...........................----xxxxxxxx---..-----xxxxxxxxxxxxxxx------..................-------xx+++++++++++++++++xx---................--xxx+++++++xxxxxxxxxxxxxx---....-.......----------------------xxxx++xxx--------xxxxxxxxxxxxxx-----.....................--xxxxx++++++xxxxxxxxxxxxx-----.................---xxxxxxxx--------------....-xx-....--xxxxxxx-----------------xxxxxxxxx-----xxxxxxxxxxx--------................-......-xxxx++++++xx-------------xxx--...................---------...............--xxxx-..--xxxx++xxx-------------------xxxxxxx---xxxxxxxxxx---------...............-----.....-xxx+++++xx-------------xxxxx--......................--................---xx++xx--.-xxx++++xxx------------..------xxxxxxx--xxxxxxx---------..............----xxxx-.....-xx++++xxx------------xxxxxxx-.........---.........................-----xxx+++x-----xx+++++xxx------------...-----xxxxxxx--xxxx-------................-----xxxxxx-.....-xxx++xxx--xxxxxxxxxxxxxxxxxx-........----........................------xxx+++x-----xxx++++xxx-------------..-----xxxxxxxx---------...................---xxxxxxx-......-xxxxxxx-xxxxxxxxxxxxxxxxxxxx-........---.........................-------xxx++xx--.-xxx++++xxxx------------------xxxxxxxxxx------.....................--xxxxxxxx-......-xxxxxxx-xxxxxxxxxxxxxxxxxxxx--........--................................--xxxx-...-xxxxx++xxxx---------xxx-----xxxx++xxxxx

proof-parallel

2021

proof-parallel

Fine-tuning Helsinki NLP's Arabic→English OPUS-MT model on a curated parallel corpus of classical mathematical proofs.

This feature is under construction, please excuse!