Lean 4
Kategoria:Academic researchHinnoittelu: Ilmainen
Kuvaus
Interaktiivinen lauseentodistaja ja funktionaalinen ohjelmointikieli, joka toimii muodollisen tekoälytutkimuksen ja automaattisen lauseentodistuksen (esim. AlphaProof, DeepSeek-Prover) keskeisenä infrastruktuurina.
Samankaltaiset työkalut
AMiner
Tekoälypohjainen akateemisen tutkimuksen ja teknologian tiedustelualusta, joka tarjoaa artikkeli-haun, patenttihaun, kirjallisuuden seurannan ja tutkijaprofiilit.
IlmainenVieraile →
alphaxiv
Avoin akateeminen keskusteluyhteisö, joka perustuu arXiv-alustaan ja antaa käyttäjille mahdollisuuden kommentoida rivi riviltä, kysyä kysymyksiä ja olla vuorovaikutuksessa reaaliajassa korvaamalla paperin linkkiverkkotunnuksen (arxiv.org → alphaxiv.org) suoraan paperin sivulla. Lisäksi se tarjoaa tekoälyominaisuuksia, kuten Ask AI ja tekoälyn tuottamat artikkeliblogit.
IlmainenVieraile →