Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory
Some recent project milestones
markjgsmith.com·1d
Agri-Query: A Case Study on RAG vs. Long-Context LLMs for Cross-Lingual Technical Question Answering
arxiv.org·14h
LLM Assertiveness can be Mechanistically Decomposed into Emotional and Logical Components
arxiv.org·14h
Towards Synthesizing Normative Data for Cognitive Assessments Using Generative Multimodal Large Language Models
arxiv.org·14h
Advancing Weakly-Supervised Change Detection in Satellite Images via Adversarial Class Prompting
arxiv.org·14h
Loading...Loading more...