Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
Radicle Collaborative Objects
radicle.xyz·3h
AI helps reconstruct damaged Latin inscriptions from the Roman Empire
newscientist.com·7h
Filling the Gap: Is Commonsense Knowledge Generation useful for Natural Language Inference?
arxiv.org·1d
Loading...Loading more...