Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory
Some recent project milestones
markjgsmith.com·2d
Towards Synthesizing Normative Data for Cognitive Assessments Using Generative Multimodal Large Language Models
arxiv.org·17h
Advancing Weakly-Supervised Change Detection in Satellite Images via Adversarial Class Prompting
arxiv.org·17h
Loading...Loading more...