Martin-Löf Types, Intensional Equality, Proof Objects, Program Extraction
How to run an LLM on your laptop
technologyreview.com·15h
Simply Plural Web App
app.apparyllis.com·11h
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·1d
Loading...Loading more...