Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory
Some recent project milestones
markjgsmith.comΒ·1d
My Current AI Dev Workflow
steipete.meΒ·1d
Analysis and Detection of RIS-based Spoofing in Integrated Sensing and Communication (ISAC)
arxiv.orgΒ·11h
LLM Assertiveness can be Mechanistically Decomposed into Emotional and Logical Components
arxiv.orgΒ·11h
Agri-Query: A Case Study on RAG vs. Long-Context LLMs for Cross-Lingual Technical Question Answering
arxiv.orgΒ·11h
Loading...Loading more...