Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory
Finding the low-hanging fruit in tech companies
seangoedecke.comยท9h
My Current AI Dev Workflow
steipete.meยท1d
The AI Data Scientist
arxiv.orgยท5h
TOMATO: Assessing Visual Temporal Reasoning Capabilities in Multimodal Foundation Models
arxiv.orgยท5h
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
arxiv.orgยท5h
Graph-R1: Incentivizing the Zero-Shot Graph Learning Capability in LLMs via Explicit Reasoning
arxiv.orgยท5h
Loading...Loading more...