Martin-Löf Types, Intensional Equality, Proof Objects, Program Extraction
Simply Plural Web App
app.apparyllis.com·4h
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·20h
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·20h
Loading...Loading more...