webAI introduceert TwIL-LM: een familie van formeel-logische modellen voor lokale autoformalizering
webAI heeft TwIL-LM uitgebracht, een familie van twee formeel-logische modellen met respectievelijk 1,7 miljard en 3 miljard parameters, ontworpen om lokaal te draaien. De modellen specialiseren zich in autoformalizering, het vertalen van Engels naar eerste-ordelogica. Ze worden uitgebracht onder een niet-commerciële licentie.
webAI
MarkTechPost11.08 · 10:01